0.31
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/233756-1168327833/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=49 nbDomainTypes=49 minDomainSize=366 maxDomainSize=460
0.43 => wckTime=0.116 cpuTime=0.09 mem=7M878
0.43
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
14.37 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=48693306 nbExtensionStructures=294
14.37 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
14.37 nbSharedBinaryRepresentations=95328 maxDegree=12 maxArity=2
14.37 => wckTime=14.047 cpuTime=13.88 mem=39M158
14.47
14.47 solver IterativeSystematicSolver being built...
14.64 => wckTime=14.325 cpuTime=14.03 mem=28M244
14.72
14.72 preprocessing
14.72 nbConstraintChecks=1089897 nbPropagations=697 nbRevisions=1054 nbUselessRevisions=363 nbSingletonTests=54
14.72 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
14.72 => wckTime=0.075 cpuTime=0.05 mem=28M244
14.91
14.91 search
14.91 run=0 nbConstraintChecks=3908003 nbPropagations=1804 nbRevisions=7348 nbUselessRevisions=3887
14.91 nbAssignments=166 nbFailedAssignments=139 nbBacktracks=10 nbVisitedNodes=316 nbRestartNogoods=0 mapSize=10
14.91 nbInferences=0 nbTooLargeKeys=0
14.91 => wckTime=0.263 cpuTime=0.22 mem=28M244
15.33
15.33 search
15.33 run=1 nbConstraintChecks=18977351 nbPropagations=8387 nbRevisions=37610 nbUselessRevisions=18636
15.33 nbAssignments=846 nbFailedAssignments=767 nbBacktracks=25 nbVisitedNodes=1611 nbRestartNogoods=14 mapSize=25
15.33 nbInferences=0 nbTooLargeKeys=0
15.33 => wckTime=0.68 cpuTime=0.63 mem=28M244
15.84
15.84 search
15.84 run=2 nbConstraintChecks=38668365 nbPropagations=21476 nbRevisions=85378 nbUselessRevisions=40097
15.84 nbAssignments=1606 nbFailedAssignments=1079 nbBacktracks=47 nbVisitedNodes=2287 nbRestartNogoods=65 mapSize=47
15.84 nbInferences=0 nbTooLargeKeys=0
15.84 => wckTime=1.194 cpuTime=1.13 mem=28M244
16.63
16.63 search
16.63 run=3 nbConstraintChecks=68434777 nbPropagations=44384 nbRevisions=184232 nbUselessRevisions=86471
16.63 nbAssignments=3010 nbFailedAssignments=2240 nbBacktracks=80 nbVisitedNodes=4693 nbRestartNogoods=107
16.63 mapSize=79 nbInferences=0 nbTooLargeKeys=0
16.63 => wckTime=1.979 cpuTime=1.9 mem=29M205
18.09
18.09 search
18.09 run=4 nbConstraintChecks=126212053 nbPropagations=93510 nbRevisions=346048 nbUselessRevisions=159962
18.09 nbAssignments=5375 nbFailedAssignments=2775 nbBacktracks=130 nbVisitedNodes=5866 nbRestartNogoods=226
18.09 mapSize=122 nbInferences=0 nbTooLargeKeys=0
18.09 => wckTime=3.441 cpuTime=3.33 mem=29M205
19.38
19.38 search
19.38 run=5 nbConstraintChecks=184919170 nbPropagations=157156 nbRevisions=563172 nbUselessRevisions=255830
19.38 nbAssignments=7468 nbFailedAssignments=4435 nbBacktracks=205 nbVisitedNodes=9344 nbRestartNogoods=264
19.38 mapSize=197 nbInferences=0 nbTooLargeKeys=0
19.38 => wckTime=4.737 cpuTime=4.62 mem=29M205
20.69
20.69 search
20.69 run=6 nbConstraintChecks=239685043 nbPropagations=238450 nbRevisions=846266 nbUselessRevisions=380553
20.69 nbAssignments=10498 nbFailedAssignments=6874 nbBacktracks=318 nbVisitedNodes=14445 nbRestartNogoods=403
20.69 mapSize=303 nbInferences=0 nbTooLargeKeys=0
20.69 => wckTime=6.042 cpuTime=5.92 mem=29M205
21.85
21.85 search
21.85 run=7 nbConstraintChecks=288755045 nbPropagations=336313 nbRevisions=1226916 nbUselessRevisions=558070
21.85 nbAssignments=13331 nbFailedAssignments=9451 nbBacktracks=489 nbVisitedNodes=19921 nbRestartNogoods=439
21.85 mapSize=451 nbInferences=3 nbTooLargeKeys=0
21.85 => wckTime=7.202 cpuTime=7.07 mem=30M166
25.10
25.10 search
25.10 run=8 nbConstraintChecks=428464943 nbPropagations=474283 nbRevisions=1758475 nbUselessRevisions=807438
25.10 nbAssignments=19428 nbFailedAssignments=13323 nbBacktracks=745 nbVisitedNodes=28170 nbRestartNogoods=611
25.10 mapSize=706 nbInferences=3 nbTooLargeKeys=0
25.10 => wckTime=10.45 cpuTime=10.3 mem=30M166
27.69
27.69 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=31M127)
27.86
27.86 search
27.86 run=9 nbConstraintChecks=544829989 nbPropagations=648262 nbRevisions=2451100 nbUselessRevisions=1125706
27.86 nbAssignments=26047 nbFailedAssignments=19538 nbBacktracks=1129 nbVisitedNodes=41337 nbRestartNogoods=651
27.86 => wckTime=13.211 cpuTime=13.05 mem=31M127
34.05
34.05 search
34.05 run=10 nbConstraintChecks=832106613 nbPropagations=895464 nbRevisions=3458082 nbUselessRevisions=1575760
34.05 nbAssignments=37874 nbFailedAssignments=30194 nbBacktracks=1705 nbVisitedNodes=63788 nbRestartNogoods=739
34.05 => wckTime=19.403 cpuTime=19.2 mem=31M127
46.68
46.68 search
46.68 run=11 nbConstraintChecks=1355689050 nbPropagations=1291633 nbRevisions=5504118 nbUselessRevisions=2607803
46.68 nbAssignments=65585 nbFailedAssignments=56284 nbBacktracks=2569 nbVisitedNodes=117601 nbRestartNogoods=890
46.68 => wckTime=32.031 cpuTime=31.77 mem=31M127
60.58
60.59 search
60.59 run=12 nbConstraintChecks=2065391498 nbPropagations=1882972 nbRevisions=8439974 nbUselessRevisions=4107712
60.59 nbAssignments=93462 nbFailedAssignments=81837 nbBacktracks=3866 nbVisitedNodes=171296 nbRestartNogoods=1016
60.59 => wckTime=45.939 cpuTime=45.61 mem=31M127
82.17
82.17 search
82.17 run=13 nbConstraintChecks=2915765641 nbPropagations=2797919 nbRevisions=13164118 nbUselessRevisions=6586568
82.17 nbAssignments=136950 nbFailedAssignments=122423 nbBacktracks=5812 nbVisitedNodes=255995 nbRestartNogoods=1137
82.17 => wckTime=67.527 cpuTime=67.11 mem=31M127
143.51
143.51 search
143.51 run=14 nbConstraintChecks=5201317102 nbPropagations=4537523 nbRevisions=22191489 nbUselessRevisions=11094665
143.51 nbAssignments=267549 nbFailedAssignments=249219 nbBacktracks=8732 nbVisitedNodes=515264 nbRestartNogoods=1276
143.51 => wckTime=128.862 cpuTime=128.18 mem=31M127
181.64
181.64 search
181.64 run=15 nbConstraintChecks=7036724582 nbPropagations=6831078 nbRevisions=34281841 nbUselessRevisions=17435789
181.64 nbAssignments=348505 nbFailedAssignments=325602 nbBacktracks=13110 nbVisitedNodes=676195 nbRestartNogoods=1382
181.64 => wckTime=166.994 cpuTime=166.13 mem=31M127
239.11
239.11 search
239.11 run=16 nbConstraintChecks=9191946037 nbPropagations=10008296 nbRevisions=50661396 nbUselessRevisions=25922468
239.11 nbAssignments=522823 nbFailedAssignments=493307 nbBacktracks=19678 nbVisitedNodes=1024599 nbRestartNogoods=1391
239.11 => wckTime=224.464 cpuTime=223.34 mem=31M127
324.56
324.56 search
324.56 run=17 nbConstraintChecks=13281806697 nbPropagations=14318182 nbRevisions=72388716 nbUselessRevisions=36885810
324.56 nbAssignments=701083 nbFailedAssignments=661649 nbBacktracks=29530 nbVisitedNodes=1379046 nbRestartNogoods=1539
324.56 => wckTime=309.916 cpuTime=308.49 mem=31M127
490.94
490.94 search
490.94 run=18 nbConstraintChecks=21879848886 nbPropagations=20676371 nbRevisions=104323844 nbUselessRevisions=52712436
490.94 nbAssignments=1060523 nbFailedAssignments=1005517 nbBacktracks=44308 nbVisitedNodes=2094878
490.94 nbRestartNogoods=1729
490.94 => wckTime=476.297 cpuTime=474.82 mem=31M127
713.16
713.16 search
713.16 run=19 nbConstraintChecks=31400513608 nbPropagations=29935435 nbRevisions=151916044 nbUselessRevisions=76798620
713.16 nbAssignments=1496729 nbFailedAssignments=1417539 nbBacktracks=66476 nbVisitedNodes=2958204
713.16 nbRestartNogoods=1881
713.16 => wckTime=698.509 cpuTime=696.94 mem=31M127
716.97
716.97 search
716.97 run=20 nbConstraintChecks=31541429839 nbPropagations=39251989 nbRevisions=199702910
716.97 nbUselessRevisions=100964441 nbAssignments=1506838 nbFailedAssignments=1425904 nbBacktracks=66991
716.97 nbVisitedNodes=2976010 nbRestartNogoods=2057
716.97 => wckTime=702.323 cpuTime=700.76 mem=31M127
716.97
716.97 global
716.97 nbConstraintChecks=31542519736 nbPropagations=39252686 nbRevisions=199703964 nbUselessRevisions=100964804
716.97 nbRestartNogoods=2057 solvingWckTime=702.324 solvingCpuTime=700.76 expiredTime=no totalExploration=no
716.97 nbFoundSolutions=1 globalCpuTime=714.84
716.97 => wckTime=716.653 cpuTime=714.79 mem=31M127
716.97
716.97 s SATISFIABLE
716.97 v 327 89 48 158 413 253 0 402 18 68 337 122 293 219 118 36 0 262 329 413 200 0 301 250 398 54 158 168 253 308 0 385 48 118 219 403 68 32 407 266 200 0 216 388 162 0 132 306 54
716.97 d NODES 1506838
716.97 d CHECKS 31542519736
716.97
716.97 totalWckTime=716.736 totalCpuTime=714.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-233756-1168327833 -o ROOT/results/node38/solver-233756-1168327833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233756-1168327833/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: 2.18 2.14 2.03 6/74 5351
/proc/meminfo: memFree=1139128/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=18540 CPUtime=0
/proc/5350/stat : 5350 (runsolver) R 5348 5350 4863 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 181183002 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266890439975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/5350/statm: 4635 279 244 17 0 2626 0
[startup+0.107658 s]
/proc/loadavg: 2.18 2.14 2.03 6/74 5351
/proc/meminfo: memFree=1139128/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=914988 CPUtime=0.09
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 3001 0 1 0 7 2 0 0 20 0 8 0 181183002 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515736 s]
/proc/loadavg: 2.18 2.14 2.03 6/74 5351
/proc/meminfo: memFree=1139128/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915328 CPUtime=0.5
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 6575 0 1 0 45 5 0 0 18 0 8 0 181183002 937295872 6314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228832 6314 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33689 s]
/proc/loadavg: 2.18 2.14 2.03 4/81 5358
/proc/meminfo: memFree=1119616/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=1.31
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 7329 0 1 0 125 6 0 0 25 0 8 0 181183002 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 7067 2167 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181183006 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181183007 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181183007 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.1
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 181183010 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 7067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98022 s]
/proc/loadavg: 2.18 2.14 2.03 4/81 5358
/proc/meminfo: memFree=1117184/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=2.95
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 8231 0 1 0 288 7 0 0 25 0 8 0 181183002 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 7969 2167 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181183006 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181183007 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181183007 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.1
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 181183010 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 7969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.27486 s]
/proc/loadavg: 2.16 2.13 2.03 3/81 5358
/proc/meminfo: memFree=1109000/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=6.23
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 10000 0 1 0 615 8 0 0 25 0 8 0 181183002 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 9738 2167 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181183006 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181183007 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181183007 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.11
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 332 0 0 0 11 0 0 0 16 0 8 0 181183010 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 9738 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7551 s]
/proc/loadavg: 2.15 2.13 2.03 3/81 5358
/proc/meminfo: memFree=1095304/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=12.68
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 13274 0 1 0 1257 11 0 0 25 0 8 0 181183002 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 13011 2168 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181183006 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181183007 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181183007 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.12
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 181183010 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 13011 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6216 s]
/proc/loadavg: 2.11 2.12 2.03 3/81 5358
/proc/meminfo: memFree=1076424/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=25.48
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18051 0 1 0 2534 14 0 0 25 0 8 0 181183002 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17783 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.26
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 181183010 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2416 s]
/proc/loadavg: 2.07 2.11 2.03 3/81 5358
/proc/meminfo: memFree=1075464/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=50.97
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18054 0 1 0 5083 14 0 0 25 0 8 0 181183002 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17786 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915460
[startup+102.474 s]
/proc/loadavg: 2.03 2.09 2.02 3/81 5358
/proc/meminfo: memFree=1073736/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=101.99
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18054 0 1 0 10184 15 0 0 25 0 8 0 181183002 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17786 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915460
[startup+162.56 s]
/proc/loadavg: 2.16 2.12 2.03 3/81 5358
/proc/meminfo: memFree=1071688/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=161.8
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18054 0 1 0 16165 15 0 0 25 0 8 0 181183002 937431040 17786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.43
Current children cumulated vsize (KiB) 915460
[startup+342.799 s]
/proc/loadavg: 2.00 2.06 2.02 3/81 5358
/proc/meminfo: memFree=1065736/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=341.4
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 34124 16 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.4
Current children cumulated vsize (KiB) 915460
[startup+402.88 s]
/proc/loadavg: 2.00 2.05 2.01 3/81 5358
/proc/meminfo: memFree=1063496/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=401.46
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 40130 16 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.46
Current children cumulated vsize (KiB) 915460
[startup+462.973 s]
/proc/loadavg: 2.09 2.06 2.01 3/81 5358
/proc/meminfo: memFree=1061576/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=461.52
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 46136 16 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.52
Current children cumulated vsize (KiB) 915460
[startup+523.064 s]
/proc/loadavg: 2.06 2.06 2.01 3/81 5358
/proc/meminfo: memFree=1059144/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=521.59
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 52143 16 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.59
Current children cumulated vsize (KiB) 915460
[startup+583.144 s]
/proc/loadavg: 2.02 2.05 2.01 3/81 5358
/proc/meminfo: memFree=1057032/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=581.65
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 58149 16 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.65
Current children cumulated vsize (KiB) 915460
[startup+643.224 s]
/proc/loadavg: 2.01 2.04 2.00 3/81 5358
/proc/meminfo: memFree=1055304/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=641.71
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 64154 17 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.71
Current children cumulated vsize (KiB) 915460
[startup+703.309 s]
/proc/loadavg: 2.04 2.04 2.00 3/81 5358
/proc/meminfo: memFree=1053512/2055920 swapFree=4192812/4192956
[pid=5350] ppid=5348 vsize=915460 CPUtime=701.78
/proc/5350/stat : 5350 (java) R 5348 5350 4863 0 -1 0 18055 0 1 0 70161 17 0 0 25 0 8 0 181183002 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5350/statm: 228865 17787 2542 14 0 215335 0
[pid=5350/tid=5352] ppid=5348 vsize=915460 CPUtime=0.09
/proc/5350/task/5352/stat : 5352 (java) S 5348 5350 4863 0 -1 64 3532 0 0 0 8 1 0 0 16 0 8 0 181183006 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5353] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5353/stat : 5353 (java) S 5348 5350 4863 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5354] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5354/stat : 5354 (java) S 5348 5350 4863 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181183007 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5355] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5355/stat : 5355 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5356] ppid=5348 vsize=915460 CPUtime=0.27
/proc/5350/task/5356/stat : 5356 (java) S 5348 5350 4863 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5357] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5357/stat : 5357 (java) S 5348 5350 4863 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5350/tid=5358] ppid=5348 vsize=915460 CPUtime=0
/proc/5350/task/5358/stat : 5358 (java) S 5348 5350 4863 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181183010 937431040 17787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 716.994
CPU time (s): 715.46
CPU user time (s): 715.274
CPU system time (s): 0.185971
CPU usage (%): 99.786
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 715.274
system time used= 0.185971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18063
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= 15761
involuntary context switches= 20213
runsolver used 0.913861 s user time and 2.24666 s system time
The end
Begin job on node38 on Tue Jan 9 07:30:34 UTC 2007
IDJOB= 233756
IDBENCH= 6631
FILE ID= node38/233756-1168327833
PBS_JOBID= 3503025
Free space on /tmp= 66439 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233756-1168327833/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-233756-1168327833 -o ROOT/results/node38/solver-233756-1168327833 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/233756-1168327833/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d6ca4b1b3f098f11e274d778f12143c0
RANDOM SEED= 366372474
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.267
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.267
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: 1139608 kB
Buffers: 6120 kB
Cached: 555356 kB
SwapCached: 0 kB
Active: 431188 kB
Inactive: 430804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1139608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 311560 kB
Slab: 39132 kB
Committed_AS: 4401496 kB
PageTables: 2440 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= 66439 MiB
End job on node38 on Tue Jan 9 07:42:31 UTC 2007