0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206762-1168074036/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.097 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.51
1.51 constraints being loaded...
2.23 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.23 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.23 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.23 => wckTime=1.93 cpuTime=1.57 mem=58M70
2.38
2.38 solver IterativeSystematicSolver being built...
2.53 => wckTime=2.233 cpuTime=1.71 mem=65M858
2.54
2.54 preprocessing
2.54 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.54 detectedInconsistency=no
2.54 => wckTime=0.0040 cpuTime=0.0 mem=65M858
2.65
2.65 search
2.65 run=0 nbConstraintChecks=32349 nbValidityChecks=53097 nbPropagations=271 nbRevisions=2805
2.65 nbUselessRevisions=2253 nbAssignments=26 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=40
2.65 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
2.65 => wckTime=0.117 cpuTime=0.08 mem=65M858
2.75
2.75 search
2.75 run=1 nbConstraintChecks=87592 nbValidityChecks=156684 nbPropagations=966 nbRevisions=10931
2.75 nbUselessRevisions=8833 nbAssignments=69 nbFailedAssignments=29 nbBacktracks=27 nbVisitedNodes=112
2.75 nbRestartNogoods=2 mapSize=18 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=0.219 cpuTime=0.18 mem=65M858
2.93
2.93 search
2.93 run=2 nbConstraintChecks=181036 nbValidityChecks=345364 nbPropagations=2529 nbRevisions=29897
2.93 nbUselessRevisions=23970 nbAssignments=140 nbFailedAssignments=69 nbBacktracks=49 nbVisitedNodes=239
2.93 nbRestartNogoods=8 mapSize=38 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=0.393 cpuTime=0.34 mem=65M858
3.09
3.09 search
3.09 run=3 nbConstraintChecks=280641 nbValidityChecks=534350 nbPropagations=4859 nbRevisions=57947
3.09 nbUselessRevisions=46338 nbAssignments=229 nbFailedAssignments=115 nbBacktracks=85 nbVisitedNodes=387
3.09 nbRestartNogoods=16 mapSize=58 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=0.551 cpuTime=0.49 mem=65M858
3.41
3.41 search
3.41 run=4 nbConstraintChecks=472172 nbValidityChecks=907773 nbPropagations=8961 nbRevisions=108378
3.41 nbUselessRevisions=86529 nbAssignments=362 nbFailedAssignments=190 nbBacktracks=136 nbVisitedNodes=632
3.41 nbRestartNogoods=24 mapSize=106 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=0.876 cpuTime=0.81 mem=65M858
3.87
3.87 search
3.87 run=5 nbConstraintChecks=759571 nbValidityChecks=1488117 nbPropagations=15886 nbRevisions=193292
3.87 nbUselessRevisions=153711 nbAssignments=602 nbFailedAssignments=345 nbBacktracks=211 nbVisitedNodes=1075
3.87 nbRestartNogoods=26 mapSize=172 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=1.334 cpuTime=1.26 mem=65M858
4.43
4.43 search
4.43 run=6 nbConstraintChecks=1120582 nbValidityChecks=2216063 nbPropagations=26133 nbRevisions=319607
4.43 nbUselessRevisions=253888 nbAssignments=895 nbFailedAssignments=517 nbBacktracks=324 nbVisitedNodes=1615
4.43 nbRestartNogoods=36 mapSize=276 nbInferences=0 nbTooLargeKeys=0
4.43 => wckTime=1.894 cpuTime=1.82 mem=65M858
5.37
5.37 search
5.37 run=7 nbConstraintChecks=1685402 nbValidityChecks=3396987 nbPropagations=42311 nbRevisions=518024
5.37 nbUselessRevisions=410414 nbAssignments=1364 nbFailedAssignments=808 nbBacktracks=494 nbVisitedNodes=2489
5.37 nbRestartNogoods=42 mapSize=437 nbInferences=0 nbTooLargeKeys=0
5.37 => wckTime=2.83 cpuTime=2.75 mem=65M858
6.69
6.69 search
6.69 run=8 nbConstraintChecks=2484964 nbValidityChecks=5005244 nbPropagations=65672 nbRevisions=801278
6.69 nbUselessRevisions=634158 nbAssignments=1904 nbFailedAssignments=1086 nbBacktracks=750 nbVisitedNodes=3456
6.69 nbRestartNogoods=48 mapSize=654 nbInferences=0 nbTooLargeKeys=0
6.69 => wckTime=4.156 cpuTime=4.05 mem=65M858
8.57
8.57 search
8.57 run=9 nbConstraintChecks=3632139 nbValidityChecks=7361589 nbPropagations=101355 nbRevisions=1235412
8.57 nbUselessRevisions=976930 nbAssignments=2867 nbFailedAssignments=1657 nbBacktracks=1134 nbVisitedNodes=5248
8.57 nbRestartNogoods=54 mapSize=989 nbInferences=0 nbTooLargeKeys=0
8.57 => wckTime=6.037 cpuTime=5.93 mem=66M850
8.68
8.68 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=66M850)
11.25
11.25 search
11.25 run=10 nbConstraintChecks=5350082 nbValidityChecks=10797420 nbPropagations=154322 nbRevisions=1874183
11.25 nbUselessRevisions=1480622 nbAssignments=4214 nbFailedAssignments=2419 nbBacktracks=1711 nbVisitedNodes=7743
11.25 nbRestartNogoods=63
11.25 => wckTime=8.718 cpuTime=8.61 mem=66M850
16.93
16.93 search
16.93 run=11 nbConstraintChecks=8937437 nbValidityChecks=18125745 nbPropagations=242957 nbRevisions=2956110
16.93 nbUselessRevisions=2329634 nbAssignments=6913 nbFailedAssignments=4245 nbBacktracks=2576 nbVisitedNodes=12913
16.93 nbRestartNogoods=75
16.93 => wckTime=14.392 cpuTime=14.28 mem=66M850
23.90
23.90 search
23.90 run=12 nbConstraintChecks=13391213 nbValidityChecks=27034270 nbPropagations=372412 nbRevisions=4536813
23.90 nbUselessRevisions=3572896 nbAssignments=10222 nbFailedAssignments=6247 nbBacktracks=3873 nbVisitedNodes=19140
23.90 nbRestartNogoods=80
23.90 => wckTime=21.366 cpuTime=21.25 mem=66M850
35.50
35.50 search
35.50 run=13 nbConstraintChecks=20734230 nbValidityChecks=41816997 nbPropagations=575129 nbRevisions=7021851
35.50 nbUselessRevisions=5522466 nbAssignments=15742 nbFailedAssignments=9813 nbBacktracks=5821 nbVisitedNodes=29617
35.50 nbRestartNogoods=96
35.50 => wckTime=32.962 cpuTime=32.79 mem=66M850
50.34
50.34 search
50.34 run=14 nbConstraintChecks=30309486 nbValidityChecks=60481655 nbPropagations=862700 nbRevisions=10553412
50.34 nbUselessRevisions=8300927 nbAssignments=22533 nbFailedAssignments=13676 nbBacktracks=8740 nbVisitedNodes=42183
50.34 nbRestartNogoods=101
50.34 => wckTime=47.802 cpuTime=47.61 mem=66M850
77.40
77.40 search
77.40 run=15 nbConstraintChecks=47279493 nbValidityChecks=95045218 nbPropagations=1320931 nbRevisions=16189105
77.40 nbUselessRevisions=12719509 nbAssignments=35201 nbFailedAssignments=21959 nbBacktracks=13119
77.40 nbVisitedNodes=66385 nbRestartNogoods=111
77.40 => wckTime=74.862 cpuTime=74.64 mem=66M850
112.59
112.60 search
112.60 run=16 nbConstraintChecks=70045316 nbValidityChecks=139838982 nbPropagations=1983855 nbRevisions=24352635
112.60 nbUselessRevisions=19138525 nbAssignments=51596 nbFailedAssignments=31776 nbBacktracks=19687
112.60 nbVisitedNodes=97143 nbRestartNogoods=124
112.60 => wckTime=110.059 cpuTime=109.81 mem=66M850
170.46
170.46 search
170.46 run=17 nbConstraintChecks=106413330 nbValidityChecks=213965290 nbPropagations=3020092 nbRevisions=37089585
170.46 nbUselessRevisions=29129063 nbAssignments=79695 nbFailedAssignments=50014 nbBacktracks=29539
170.46 nbVisitedNodes=150693 nbRestartNogoods=135
170.46 => wckTime=167.926 cpuTime=167.64 mem=66M850
237.88
237.88 search
237.88 run=18 nbConstraintChecks=149333762 nbValidityChecks=299231745 nbPropagations=4463862 nbRevisions=54743443
237.88 nbUselessRevisions=43012580 nbAssignments=112326 nbFailedAssignments=67858 nbBacktracks=44321
237.88 nbVisitedNodes=210083 nbRestartNogoods=160
237.88 => wckTime=235.349 cpuTime=235.04 mem=66M850
340.66
340.66 search
340.66 run=19 nbConstraintChecks=214560917 nbValidityChecks=428488644 nbPropagations=6532877 nbRevisions=80374307
340.66 nbUselessRevisions=63298976 nbAssignments=161279 nbFailedAssignments=94637 nbBacktracks=66489
340.66 nbVisitedNodes=299656 nbRestartNogoods=170
340.66 => wckTime=338.121 cpuTime=337.78 mem=66M850
498.06
498.06 search
498.06 run=20 nbConstraintChecks=314408602 nbValidityChecks=627872313 nbPropagations=9568091 nbRevisions=118193585
498.06 nbUselessRevisions=93340653 nbAssignments=237285 nbFailedAssignments=137386 nbBacktracks=99741
498.06 nbVisitedNodes=439352 nbRestartNogoods=184
498.06 => wckTime=495.52 cpuTime=495.12 mem=66M850
776.51
776.52 search
776.52 run=21 nbConstraintChecks=494865744 nbValidityChecks=981579980 nbPropagations=14155231 nbRevisions=175453363
776.52 nbUselessRevisions=138782327 nbAssignments=361513 nbFailedAssignments=211727 nbBacktracks=149620
776.52 nbVisitedNodes=672957 nbRestartNogoods=209
776.52 => wckTime=773.979 cpuTime=773.48 mem=66M850
1189.03
1189.03 search
1189.03 run=22 nbConstraintChecks=753905522 nbValidityChecks=1515715228 nbPropagations=21408961 nbRevisions=265272392
1189.03 nbUselessRevisions=209652361 nbAssignments=560290 nbFailedAssignments=335678 nbBacktracks=224438
1189.03 nbVisitedNodes=1049621 nbRestartNogoods=232
1189.03 => wckTime=1186.496 cpuTime=1185.85 mem=66M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-206762-1168074036 -o ROOT/results/node61/solver-206762-1168074036 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206762-1168074036/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: 0.94 0.99 0.99 4/65 5563
/proc/meminfo: memFree=1352784/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=168 CPUtime=0
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 155801539 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/5562/statm: 42 23 18 14 0 2 0
[startup+0.103972 s]
/proc/loadavg: 0.94 0.99 0.99 4/65 5563
/proc/meminfo: memFree=1352784/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=914988 CPUtime=0.08
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 3011 0 1 0 7 1 0 0 22 0 8 0 155801539 936947712 2757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020558 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5562/statm: 228747 2757 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512032 s]
/proc/loadavg: 0.94 0.99 0.99 4/65 5563
/proc/meminfo: memFree=1352784/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915328 CPUtime=0.48
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 7971 0 1 0 44 4 0 0 17 0 8 0 155801539 937295872 7710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228832 7711 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33218 s]
/proc/loadavg: 0.94 0.99 0.99 2/72 5570
/proc/meminfo: memFree=1285656/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915328 CPUtime=1.3
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 19100 0 1 0 121 9 0 0 17 0 8 0 155801539 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228832 18838 2149 14 0 215302 0
[pid=5562/tid=5564] ppid=5560 vsize=915328 CPUtime=0.05
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 2682 0 0 0 5 0 0 0 17 0 8 0 155801543 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915328 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915328 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915328 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915328 CPUtime=0.07
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 155801546 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915328 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915328 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97667 s]
/proc/loadavg: 0.94 0.99 0.99 2/72 5570
/proc/meminfo: memFree=1244888/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=2.94
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32563 0 1 0 278 16 0 0 16 0 8 0 155801539 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32297 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 15 0 8 0 155801543 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.18
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 381 0 0 0 17 1 0 0 16 0 8 0 155801546 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32297 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.26624 s]
/proc/loadavg: 0.94 0.99 0.99 2/72 5570
/proc/meminfo: memFree=1233176/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=6.21
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32580 0 1 0 605 16 0 0 16 0 8 0 155801539 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32310 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 17 0 8 0 155801543 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.21
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 397 0 0 0 20 1 0 0 15 0 8 0 155801546 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915440
[startup+12.7342 s]
/proc/loadavg: 0.95 0.99 0.99 2/72 5570
/proc/meminfo: memFree=1233112/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=12.68
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32589 0 1 0 1251 17 0 0 19 0 8 0 155801539 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32317 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 404 0 0 0 21 1 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32317 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) 915440
[startup+25.5794 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 5596
/proc/meminfo: memFree=1232096/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=25.5
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32589 0 1 0 2533 17 0 0 25 0 8 0 155801539 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32317 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 404 0 0 0 21 1 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915440
[startup+51.2679 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 5678
/proc/meminfo: memFree=1232152/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=51.13
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32589 0 1 0 5096 17 0 0 25 0 8 0 155801539 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32317 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 404 0 0 0 21 1 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915440
[startup+102.541 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5738
/proc/meminfo: memFree=1232088/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=102.36
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32589 0 1 0 10219 17 0 0 25 0 8 0 155801539 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32317 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 404 0 0 0 21 1 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915440
[startup+162.63 s]
/proc/loadavg: 0.99 0.99 0.99 2/72 5768
/proc/meminfo: memFree=1233240/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=162.41
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32590 0 1 0 16224 17 0 0 25 0 8 0 155801539 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.68
Current children cumulated vsize (KiB) 915440
[startup+1484.43 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 5770
/proc/meminfo: memFree=1233240/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1483.74
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 148356 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.74
Current children cumulated vsize (KiB) 915440
[startup+1544.52 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233240/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1543.81
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 154363 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.81
Current children cumulated vsize (KiB) 915440
[startup+1604.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233240/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1603.87
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 160369 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.87
Current children cumulated vsize (KiB) 915440
[startup+1664.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233240/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1663.92
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 166374 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806637 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.92
Current children cumulated vsize (KiB) 915440
[startup+1724.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233176/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1723.99
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 172381 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.99
Current children cumulated vsize (KiB) 915440
[startup+1784.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233176/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1784.06
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 178388 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.06
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5770
/proc/meminfo: memFree=1233176/2055920 swapFree=4192812/4192956
[pid=5562] ppid=5560 vsize=915440 CPUtime=1800.08
/proc/5562/stat : 5562 (java) R 5560 5562 4875 0 -1 0 32591 0 1 0 179990 18 0 0 25 0 8 0 155801539 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5562/statm: 228860 32318 2521 14 0 215330 0
[pid=5562/tid=5564] ppid=5560 vsize=915440 CPUtime=0.41
/proc/5562/task/5564/stat : 5564 (java) S 5560 5562 4875 0 -1 64 15584 0 0 0 36 5 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5565] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5565/stat : 5565 (java) S 5560 5562 4875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5566] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5566/stat : 5566 (java) S 5560 5562 4875 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155801543 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5567] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5567/stat : 5567 (java) S 5560 5562 4875 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5568] ppid=5560 vsize=915440 CPUtime=0.22
/proc/5562/task/5568/stat : 5568 (java) S 5560 5562 4875 0 -1 64 405 0 0 0 21 1 0 0 16 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5569] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5569/stat : 5569 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5562/tid=5570] ppid=5560 vsize=915440 CPUtime=0
/proc/5562/task/5570/stat : 5570 (java) S 5560 5562 4875 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155801546 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.92
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.202969
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.202969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32608
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= 37314
involuntary context switches= 3540
runsolver used 1.91971 s user time and 4.47332 s system time
The end
Begin job on node61 on Sat Jan 6 09:00:37 UTC 2007
IDJOB= 206762
IDBENCH= 4233
FILE ID= node61/206762-1168074036
PBS_JOBID= 3475919
Free space on /tmp= 66504 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206762-1168074036/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-206762-1168074036 -o ROOT/results/node61/solver-206762-1168074036 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206762-1168074036/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5fbdc367aff83d7ec4267032df1b5a4a
RANDOM SEED= 249115165
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.259
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.259
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: 1353072 kB
Buffers: 47468 kB
Cached: 556032 kB
SwapCached: 0 kB
Active: 88360 kB
Inactive: 530852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 25888 kB
Slab: 69708 kB
Committed_AS: 2962108 kB
PageTables: 1388 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= 66504 MiB
End job on node61 on Sat Jan 6 09:30:38 UTC 2007