0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/206840-1168074089/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.44 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
1.60
1.60 constraints being loaded...
2.35 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.35 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=20 maxArity=3
2.35 => wckTime=2.021 cpuTime=1.61 mem=59M86
2.52
2.52 solver IterativeSystematicSolver being built...
2.69 => wckTime=2.356 cpuTime=1.75 mem=66M389
2.69
2.69 preprocessing
2.69 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.69 detectedInconsistency=no
2.69 => wckTime=0.0040 cpuTime=0.01 mem=66M389
2.86
2.86 search
2.86 run=0 nbConstraintChecks=52320 nbValidityChecks=89928 nbPropagations=426 nbRevisions=4841
2.86 nbUselessRevisions=3938 nbAssignments=29 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=48
2.86 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=0.166 cpuTime=0.13 mem=66M389
2.97
2.97 search
2.97 run=1 nbConstraintChecks=105335 nbValidityChecks=198559 nbPropagations=1386 nbRevisions=16244
2.97 nbUselessRevisions=13172 nbAssignments=75 nbFailedAssignments=35 nbBacktracks=26 nbVisitedNodes=130
2.97 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.277 cpuTime=0.23 mem=66M389
3.12
3.12 search
3.12 run=2 nbConstraintChecks=186659 nbValidityChecks=359138 nbPropagations=3215 nbRevisions=38634
3.12 nbUselessRevisions=31106 nbAssignments=135 nbFailedAssignments=66 nbBacktracks=48 nbVisitedNodes=237
3.13 nbRestartNogoods=4 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=0.434 cpuTime=0.38 mem=66M389
3.30
3.30 search
3.30 run=3 nbConstraintChecks=287489 nbValidityChecks=551667 nbPropagations=5924 nbRevisions=71945
3.30 nbUselessRevisions=57551 nbAssignments=204 nbFailedAssignments=95 nbBacktracks=84 nbVisitedNodes=354
3.30 nbRestartNogoods=16 mapSize=73 nbInferences=0 nbTooLargeKeys=0
3.30 => wckTime=0.611 cpuTime=0.56 mem=66M389
3.61
3.61 search
3.61 run=4 nbConstraintChecks=465164 nbValidityChecks=900509 nbPropagations=10219 nbRevisions=126308
3.61 nbUselessRevisions=100883 nbAssignments=355 nbFailedAssignments=189 nbBacktracks=134 nbVisitedNodes=636
3.61 nbRestartNogoods=17 mapSize=119 nbInferences=0 nbTooLargeKeys=0
3.61 => wckTime=0.921 cpuTime=0.85 mem=66M389
4.19
4.19 search
4.19 run=5 nbConstraintChecks=813324 nbValidityChecks=1628887 nbPropagations=17931 nbRevisions=221871
4.19 nbUselessRevisions=176608 nbAssignments=672 nbFailedAssignments=424 nbBacktracks=209 nbVisitedNodes=1249
4.19 nbRestartNogoods=24 mapSize=194 nbInferences=0 nbTooLargeKeys=0
4.19 => wckTime=1.495 cpuTime=1.41 mem=66M389
4.82
4.82 search
4.82 run=6 nbConstraintChecks=1187882 nbValidityChecks=2371360 nbPropagations=29576 nbRevisions=365911
4.82 nbUselessRevisions=290953 nbAssignments=987 nbFailedAssignments=620 nbBacktracks=322 nbVisitedNodes=1844
4.82 nbRestartNogoods=38 mapSize=300 nbInferences=0 nbTooLargeKeys=0
4.82 => wckTime=2.13 cpuTime=2.05 mem=66M389
5.71
5.71 search
5.71 run=7 nbConstraintChecks=1723795 nbValidityChecks=3388401 nbPropagations=45360 nbRevisions=563833
5.71 nbUselessRevisions=448095 nbAssignments=1324 nbFailedAssignments=781 nbBacktracks=492 nbVisitedNodes=2431
5.71 nbRestartNogoods=52 mapSize=432 nbInferences=0 nbTooLargeKeys=0
5.71 => wckTime=3.022 cpuTime=2.93 mem=66M389
7.07
7.07 search
7.07 run=8 nbConstraintChecks=2523933 nbValidityChecks=4993519 nbPropagations=69550 nbRevisions=866692
7.07 nbUselessRevisions=688883 nbAssignments=1984 nbFailedAssignments=1178 nbBacktracks=748 nbVisitedNodes=3656
7.07 nbRestartNogoods=60 mapSize=665 nbInferences=0 nbTooLargeKeys=0
7.07 => wckTime=4.379 cpuTime=4.25 mem=66M389
9.70
9.70 search
9.70 run=9 nbConstraintChecks=4152157 nbValidityChecks=8031107 nbPropagations=105785 nbRevisions=1330837
9.70 nbUselessRevisions=1059958 nbAssignments=2988 nbFailedAssignments=1791 nbBacktracks=1132 nbVisitedNodes=5521
9.70 nbRestartNogoods=66 mapSize=992 nbInferences=0 nbTooLargeKeys=0
9.70 => wckTime=7.008 cpuTime=6.84 mem=67M381
9.83
9.83 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=67M381)
12.85
12.85 search
12.85 run=10 nbConstraintChecks=6118051 nbValidityChecks=11895698 nbPropagations=159091 nbRevisions=2005198
12.86 nbUselessRevisions=1597111 nbAssignments=4445 nbFailedAssignments=2664 nbBacktracks=1710 nbVisitedNodes=8202
12.86 nbRestartNogoods=72
12.86 => wckTime=10.165 cpuTime=9.96 mem=67M381
16.75
16.75 search
16.75 run=11 nbConstraintChecks=8509543 nbValidityChecks=16731360 nbPropagations=239149 nbRevisions=3003477
16.75 nbUselessRevisions=2392958 nbAssignments=6513 nbFailedAssignments=3861 nbBacktracks=2574 nbVisitedNodes=12025
16.75 nbRestartNogoods=77
16.75 => wckTime=14.058 cpuTime=13.82 mem=67M381
23.78
23.78 search
23.78 run=12 nbConstraintChecks=12833312 nbValidityChecks=24989747 nbPropagations=353458 nbRevisions=4461640
23.78 nbUselessRevisions=3558471 nbAssignments=9336 nbFailedAssignments=5381 nbBacktracks=3871 nbVisitedNodes=17133
23.78 nbRestartNogoods=89
23.78 => wckTime=21.087 cpuTime=20.77 mem=67M381
33.69
33.69 search
33.69 run=13 nbConstraintChecks=18909437 nbValidityChecks=37075230 nbPropagations=522596 nbRevisions=6600837
33.69 nbUselessRevisions=5262845 nbAssignments=13784 nbFailedAssignments=7876 nbBacktracks=5818 nbVisitedNodes=25220
33.69 nbRestartNogoods=97
33.69 => wckTime=31.001 cpuTime=30.59 mem=67M381
48.71
48.71 search
48.71 run=14 nbConstraintChecks=28136375 nbValidityChecks=55334845 nbPropagations=786857 nbRevisions=9919629
48.71 nbUselessRevisions=7905431 nbAssignments=20854 nbFailedAssignments=12018 nbBacktracks=8739 nbVisitedNodes=38454
48.71 nbRestartNogoods=108
48.71 => wckTime=46.016 cpuTime=45.44 mem=67M381
71.26
71.26 search
71.26 run=15 nbConstraintChecks=42060103 nbValidityChecks=81837984 nbPropagations=1161989 nbRevisions=14723235
71.26 nbUselessRevisions=11738328 nbAssignments=30022 nbFailedAssignments=16799 nbBacktracks=13117
71.26 nbVisitedNodes=54932 nbRestartNogoods=121
71.26 => wckTime=68.572 cpuTime=67.76 mem=67M381
103.90
103.90 search
103.90 run=16 nbConstraintChecks=62214260 nbValidityChecks=122624704 nbPropagations=1744410 nbRevisions=22050577
103.90 nbUselessRevisions=17562595 nbAssignments=46235 nbFailedAssignments=26438 nbBacktracks=19685
103.90 nbVisitedNodes=85212 nbRestartNogoods=140
103.90 => wckTime=101.21 cpuTime=100.09 mem=67M381
161.13
161.13 search
161.13 run=17 nbConstraintChecks=97007944 nbValidityChecks=190955344 nbPropagations=2661730 nbRevisions=33672603
161.13 nbUselessRevisions=26791107 nbAssignments=69515 nbFailedAssignments=39858 nbBacktracks=29538
161.13 nbVisitedNodes=128631 nbRestartNogoods=151
161.13 => wckTime=158.44 cpuTime=156.79 mem=67M381
237.29
237.29 search
237.30 run=18 nbConstraintChecks=143559147 nbValidityChecks=281412496 nbPropagations=3976688 nbRevisions=50465919
237.30 nbUselessRevisions=40126288 nbAssignments=100102 nbFailedAssignments=55663 nbBacktracks=44316
237.30 nbVisitedNodes=184024 nbRestartNogoods=167
237.30 => wckTime=234.605 cpuTime=232.27 mem=67M381
315.54
315.54 search
315.54 run=19 nbConstraintChecks=191174096 nbValidityChecks=380472734 nbPropagations=5813106 nbRevisions=73438809
315.54 nbUselessRevisions=58343707 nbAssignments=139663 nbFailedAssignments=79835 nbBacktracks=59677
315.54 nbVisitedNodes=258066 nbRestartNogoods=172
315.54 => wckTime=312.845 cpuTime=309.8 mem=67M381
315.54
315.54 global
315.54 nbConstraintChecks=191174096 nbValidityChecks=380472734 nbPropagations=5813134 nbRevisions=73438809
315.54 nbUselessRevisions=58343707 nbRestartNogoods=172 solvingWckTime=312.848 solvingCpuTime=309.8 expiredTime=no
315.54 totalExploration=no nbFoundSolutions=1 globalCpuTime=311.6
315.54 => wckTime=315.206 cpuTime=311.55 mem=67M381
315.54
315.54 s SATISFIABLE
315.54 v 14 25 16 4 13 6 26 23 27 11 16 22 6 2 8 11 12 15 21 20 22 7 23 1 15 16 7 22
315.54 d NODES 139663
315.54 d CHECKS 191174096
315.54
315.54 totalWckTime=315.29 totalCpuTime=311.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-206840-1168074089 -o ROOT/results/node56/solver-206840-1168074089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206840-1168074089/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.79 1.99 1.98 3/86 4472
/proc/meminfo: memFree=1535800/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=18540 CPUtime=0
/proc/4471/stat : 4471 (runsolver) R 4469 4471 3759 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155807074 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4471/statm: 4635 279 244 17 0 2626 0
[startup+0.103299 s]
/proc/loadavg: 1.79 1.99 1.98 3/86 4472
/proc/meminfo: memFree=1535800/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=913068 CPUtime=0.08
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 2888 0 1 0 6 2 0 0 20 0 8 0 155807074 934981632 2634 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228267 2634 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.512338 s]
/proc/loadavg: 1.79 1.99 1.98 3/86 4472
/proc/meminfo: memFree=1535800/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915328 CPUtime=0.48
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 7126 0 1 0 43 5 0 0 18 0 8 0 155807074 937295872 6865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10493565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228832 6865 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34142 s]
/proc/loadavg: 1.79 1.99 1.98 3/93 4487
/proc/meminfo: memFree=1468544/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915328 CPUtime=1.3
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 19099 0 1 0 119 11 0 0 25 0 8 0 155807074 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073585833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228832 18837 2149 14 0 215302 0
[pid=4471/tid=4473] ppid=4469 vsize=915328 CPUtime=0.05
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155807078 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915328 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915328 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915328 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915328 CPUtime=0.08
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155807082 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915328 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915328 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98558 s]
/proc/loadavg: 1.79 1.99 1.98 3/93 4487
/proc/meminfo: memFree=1427904/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=2.93
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32678 0 1 0 275 18 0 0 25 0 8 0 155807074 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32412 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.2
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 367 0 0 0 19 1 0 0 15 0 8 0 155807082 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915424
[startup+6.2669 s]
/proc/loadavg: 1.81 1.99 1.98 3/93 4489
/proc/meminfo: memFree=1415688/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=6.18
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32696 0 1 0 599 19 0 0 25 0 8 0 155807074 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766063 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32428 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.23
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 155807082 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32428 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915424
[startup+12.7645 s]
/proc/loadavg: 1.82 1.99 1.98 3/93 4509
/proc/meminfo: memFree=1415880/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=12.6
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32706 0 1 0 1241 19 0 0 25 0 8 0 155807074 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32436 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915424
[startup+25.6338 s]
/proc/loadavg: 1.86 1.99 1.98 3/93 4517
/proc/meminfo: memFree=1415888/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=25.34
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32706 0 1 0 2515 19 0 0 25 0 8 0 155807074 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32436 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915424
[startup+51.2743 s]
/proc/loadavg: 1.91 1.99 1.98 3/93 4539
/proc/meminfo: memFree=1416016/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=50.72
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32706 0 1 0 5053 19 0 0 25 0 8 0 155807074 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32436 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915424
[startup+102.53 s]
/proc/loadavg: 1.96 1.99 1.98 3/87 4569
/proc/meminfo: memFree=1417088/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=101.47
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32706 0 1 0 10128 19 0 0 25 0 8 0 155807074 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32436 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915424
[startup+162.633 s]
/proc/loadavg: 2.02 2.00 1.98 3/87 4569
/proc/meminfo: memFree=1417088/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=161.02
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32708 0 1 0 16083 19 0 0 25 0 8 0 155807074 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32437 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915424
[startup+222.635 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 4569
/proc/meminfo: memFree=1417088/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=220.48
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32708 0 1 0 22029 19 0 0 25 0 8 0 155807074 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32437 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915424
[startup+282.636 s]
/proc/loadavg: 2.00 2.00 1.98 3/87 4569
/proc/meminfo: memFree=1417152/2055920 swapFree=4184772/4192956
[pid=4471] ppid=4469 vsize=915424 CPUtime=279.94
/proc/4471/stat : 4471 (java) R 4469 4471 3759 0 -1 0 32708 0 1 0 27974 20 0 0 25 0 8 0 155807074 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4471/statm: 228856 32437 2521 14 0 215326 0
[pid=4471/tid=4473] ppid=4469 vsize=915424 CPUtime=0.46
/proc/4471/task/4473/stat : 4473 (java) S 4469 4471 3759 0 -1 64 15713 0 0 0 40 6 0 0 16 0 8 0 155807078 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4474] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4474/stat : 4474 (java) S 4469 4471 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4475] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4475/stat : 4475 (java) S 4469 4471 3759 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155807079 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4476] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4476/stat : 4476 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4477] ppid=4469 vsize=915424 CPUtime=0.25
/proc/4471/task/4477/stat : 4477 (java) S 4469 4471 3759 0 -1 64 396 0 0 0 24 1 0 0 16 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4478] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4478/stat : 4478 (java) S 4469 4471 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4471/tid=4479] ppid=4469 vsize=915424 CPUtime=0
/proc/4471/task/4479/stat : 4479 (java) S 4469 4471 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155807082 937394176 32437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (KiB) 915424
Child status: 0
Real time (s): 315.594
CPU time (s): 312.575
CPU user time (s): 312.351
CPU system time (s): 0.223965
CPU usage (%): 99.0437
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 312.352
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32714
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7542
involuntary context switches= 19183
runsolver used 0.32395 s user time and 1.08083 s system time
The end
Begin job on node56 on Sat Jan 6 09:01:29 UTC 2007
IDJOB= 206840
IDBENCH= 4239
FILE ID= node56/206840-1168074089
PBS_JOBID= 3475941
Free space on /tmp= 66508 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206840-1168074089/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-206840-1168074089 -o ROOT/results/node56/solver-206840-1168074089 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206840-1168074089/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c72c906afc03988afb504ac7547653bd
RANDOM SEED= 58469947
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1536280 kB
Buffers: 27492 kB
Cached: 287804 kB
SwapCached: 2060 kB
Active: 179936 kB
Inactive: 271204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1536280 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 15160 kB
Writeback: 0 kB
Mapped: 153268 kB
Slab: 53136 kB
Committed_AS: 3463728 kB
PageTables: 2388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66508 MiB
End job on node56 on Sat Jan 6 09:06:45 UTC 2007