0.65
0.66 Abscon 109 (November, 2006)
0.66
0.66 configuration
0.66 name=mac.xml
0.69
0.69 instance
0.69 name=/tmp/evaluation/196118-1168070443/unknown.xml
0.72
0.72 domains being loaded...
0.73
0.73 variables being loaded...
0.76 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.76 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.76
0.76 relations being loaded...
1.39
1.39 constraints being loaded...
1.65 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.65 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.65 => wckTime=0.987 cpuTime=0.87 mem=48M683
1.76
1.76 solver IterativeSystematicSolver being built...
1.92 => wckTime=1.254 cpuTime=1.0 mem=34M625
1.92
1.92 preprocessing
1.92 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.92 detectedInconsistency=no
1.92 => wckTime=0.0030 cpuTime=0.0 mem=34M625
2.05
2.05 search
2.05 run=0 nbConstraintChecks=50691 nbValidityChecks=86947 nbPropagations=467 nbRevisions=5023
2.05 nbUselessRevisions=4036 nbAssignments=38 nbFailedAssignments=19 nbBacktracks=14 nbVisitedNodes=66
2.05 nbRestartNogoods=0 mapSize=13 nbInferences=0 nbTooLargeKeys=0
2.05 => wckTime=0.135 cpuTime=0.1 mem=34M625
2.12
2.12 search
2.12 run=1 nbConstraintChecks=87528 nbValidityChecks=152494 nbPropagations=1262 nbRevisions=13859
2.12 nbUselessRevisions=11096 nbAssignments=70 nbFailedAssignments=32 nbBacktracks=29 nbVisitedNodes=118
2.12 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.198 cpuTime=0.16 mem=34M625
2.22
2.22 search
2.22 run=2 nbConstraintChecks=151067 nbValidityChecks=265517 nbPropagations=2596 nbRevisions=28731
2.22 nbUselessRevisions=22906 nbAssignments=125 nbFailedAssignments=59 nbBacktracks=51 nbVisitedNodes=208
2.22 nbRestartNogoods=4 mapSize=38 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.303 cpuTime=0.26 mem=34M625
2.40
2.40 search
2.40 run=3 nbConstraintChecks=274770 nbValidityChecks=491771 nbPropagations=4996 nbRevisions=56794
2.40 nbUselessRevisions=44970 nbAssignments=211 nbFailedAssignments=105 nbBacktracks=85 nbVisitedNodes=363
2.40 nbRestartNogoods=7 mapSize=66 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=0.48 cpuTime=0.43 mem=34M625
2.61
2.61 search
2.61 run=4 nbConstraintChecks=435192 nbValidityChecks=791672 nbPropagations=8954 nbRevisions=102123
2.61 nbUselessRevisions=80536 nbAssignments=346 nbFailedAssignments=185 nbBacktracks=135 nbVisitedNodes=609
2.61 nbRestartNogoods=14 mapSize=108 nbInferences=0 nbTooLargeKeys=0
2.61 => wckTime=0.694 cpuTime=0.64 mem=34M625
2.92
2.92 search
2.92 run=5 nbConstraintChecks=650609 nbValidityChecks=1179041 nbPropagations=14720 nbRevisions=168849
2.92 nbUselessRevisions=132572 nbAssignments=501 nbFailedAssignments=260 nbBacktracks=211 nbVisitedNodes=880
2.92 nbRestartNogoods=19 mapSize=167 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=1.001 cpuTime=0.94 mem=34M625
3.35
3.35 search
3.35 run=6 nbConstraintChecks=953151 nbValidityChecks=1751736 nbPropagations=23452 nbRevisions=269372
3.35 nbUselessRevisions=211003 nbAssignments=741 nbFailedAssignments=382 nbBacktracks=324 nbVisitedNodes=1306
3.35 nbRestartNogoods=24 mapSize=256 nbInferences=0 nbTooLargeKeys=0
3.35 => wckTime=1.429 cpuTime=1.37 mem=34M625
4.07
4.07 search
4.07 run=7 nbConstraintChecks=1484446 nbValidityChecks=2750142 nbPropagations=37720 nbRevisions=432747
4.07 nbUselessRevisions=338414 nbAssignments=1198 nbFailedAssignments=663 nbBacktracks=494 nbVisitedNodes=2163
4.07 nbRestartNogoods=35 mapSize=410 nbInferences=0 nbTooLargeKeys=0
4.07 => wckTime=2.157 cpuTime=2.09 mem=34M625
5.11
5.11 search
5.11 run=8 nbConstraintChecks=2215727 nbValidityChecks=4109827 nbPropagations=59078 nbRevisions=676576
5.11 nbUselessRevisions=528405 nbAssignments=1762 nbFailedAssignments=963 nbBacktracks=753 nbVisitedNodes=3177
5.12 nbRestartNogoods=39 mapSize=618 nbInferences=0 nbTooLargeKeys=0
5.12 => wckTime=3.198 cpuTime=3.11 mem=34M625
6.38
6.38 search
6.38 run=9 nbConstraintChecks=3162224 nbValidityChecks=5910186 nbPropagations=90364 nbRevisions=1034368
6.38 nbUselessRevisions=807789 nbAssignments=2605 nbFailedAssignments=1414 nbBacktracks=1139 nbVisitedNodes=4701
6.39 nbRestartNogoods=51 mapSize=935 nbInferences=0 nbTooLargeKeys=0
6.39 => wckTime=4.467 cpuTime=4.37 mem=34M625
6.76
6.76 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=35M612)
8.51
8.51 search
8.51 run=10 nbConstraintChecks=4818614 nbValidityChecks=8941591 nbPropagations=136534 nbRevisions=1564899
8.51 nbUselessRevisions=1221102 nbAssignments=3815 nbFailedAssignments=2043 nbBacktracks=1715 nbVisitedNodes=6881
8.51 nbRestartNogoods=60
8.51 => wckTime=6.591 cpuTime=6.49 mem=35M612
11.56
11.56 search
11.56 run=11 nbConstraintChecks=7231206 nbValidityChecks=13513354 nbPropagations=207154 nbRevisions=2373801
11.56 nbUselessRevisions=1853421 nbAssignments=5946 nbFailedAssignments=3305 nbBacktracks=2579 nbVisitedNodes=10830
11.56 nbRestartNogoods=69
11.56 => wckTime=9.647 cpuTime=9.54 mem=35M612
16.26
16.26 search
16.26 run=12 nbConstraintChecks=10892295 nbValidityChecks=20263794 nbPropagations=311889 nbRevisions=3578286
16.26 nbUselessRevisions=2793468 nbAssignments=8660 nbFailedAssignments=4716 nbBacktracks=3877 nbVisitedNodes=15719
16.26 nbRestartNogoods=80
16.26 => wckTime=14.341 cpuTime=14.23 mem=35M612
23.05
23.05 search
23.05 run=13 nbConstraintChecks=16086545 nbValidityChecks=29937043 nbPropagations=467792 nbRevisions=5366472
23.05 nbUselessRevisions=4187955 nbAssignments=12625 nbFailedAssignments=6728 nbBacktracks=5823 nbVisitedNodes=22818
23.05 nbRestartNogoods=94
23.05 => wckTime=21.136 cpuTime=21.01 mem=35M612
34.23
34.23 search
34.23 run=14 nbConstraintChecks=24895864 nbValidityChecks=46306675 nbPropagations=707906 nbRevisions=8099872
34.23 nbUselessRevisions=6308341 nbAssignments=19300 nbFailedAssignments=10478 nbBacktracks=8744 nbVisitedNodes=35115
34.23 nbRestartNogoods=110
34.23 => wckTime=32.313 cpuTime=32.18 mem=35M612
50.41
50.41 search
50.41 run=15 nbConstraintChecks=37316432 nbValidityChecks=70295521 nbPropagations=1073318 nbRevisions=12362082
50.41 nbUselessRevisions=9644828 nbAssignments=30016 nbFailedAssignments=16811 nbBacktracks=13123
50.41 nbVisitedNodes=55026 nbRestartNogoods=119
50.41 => wckTime=48.493 cpuTime=48.36 mem=35M612
71.73
71.73 search
71.73 run=16 nbConstraintChecks=53734928 nbValidityChecks=100516900 nbPropagations=1596025 nbRevisions=18419370
71.73 nbUselessRevisions=14379206 nbAssignments=42598 nbFailedAssignments=22821 nbBacktracks=19691
71.73 nbVisitedNodes=77222 nbRestartNogoods=131
71.73 => wckTime=69.814 cpuTime=69.65 mem=35M612
119.78
119.78 search
119.78 run=17 nbConstraintChecks=91052437 nbValidityChecks=171129898 nbPropagations=2440988 nbRevisions=28509369
119.78 nbUselessRevisions=22294904 nbAssignments=69233 nbFailedAssignments=39599 nbBacktracks=29543
119.78 nbVisitedNodes=127853 nbRestartNogoods=145
119.78 => wckTime=117.862 cpuTime=117.67 mem=35M612
171.24
171.24 search
171.24 run=18 nbConstraintChecks=131140390 nbValidityChecks=249213759 nbPropagations=3706144 nbRevisions=43508053
171.24 nbUselessRevisions=34060157 nbAssignments=104706 nbFailedAssignments=60287 nbBacktracks=44322
171.24 nbVisitedNodes=193642 nbRestartNogoods=158
171.24 => wckTime=169.319 cpuTime=169.1 mem=35M612
248.23
248.23 search
248.23 run=19 nbConstraintChecks=191717896 nbValidityChecks=362929593 nbPropagations=5577539 nbRevisions=65168835
248.23 nbUselessRevisions=51005278 nbAssignments=155366 nbFailedAssignments=88773 nbBacktracks=66492
248.23 nbVisitedNodes=286393 nbRestartNogoods=177
248.23 => wckTime=246.315 cpuTime=246.05 mem=35M612
358.62
358.62 search
358.62 run=20 nbConstraintChecks=277346930 nbValidityChecks=522165891 nbPropagations=8279854 nbRevisions=96275170
358.62 nbUselessRevisions=75282688 nbAssignments=220927 nbFailedAssignments=121076 nbBacktracks=99744
358.62 nbVisitedNodes=403489 nbRestartNogoods=197
358.62 => wckTime=356.701 cpuTime=356.37 mem=35M612
521.18
521.18 search
521.18 run=21 nbConstraintChecks=403942783 nbValidityChecks=763004788 nbPropagations=12307615 nbRevisions=141959936
521.18 nbUselessRevisions=111031292 nbAssignments=334588 nbFailedAssignments=184851 nbBacktracks=149625
521.18 nbVisitedNodes=610765 nbRestartNogoods=222
521.18 => wckTime=519.266 cpuTime=518.84 mem=35M612
774.94
774.94 search
774.94 run=22 nbConstraintChecks=600831030 nbValidityChecks=1132495333 nbPropagations=18260831 nbRevisions=209712708
774.94 nbUselessRevisions=163911472 nbAssignments=488292 nbFailedAssignments=263731 nbBacktracks=224445
774.94 nbVisitedNodes=887459 nbRestartNogoods=245
774.94 => wckTime=773.022 cpuTime=772.46 mem=35M612
1164.49
1164.49 search
1164.49 run=23 nbConstraintChecks=905908753 nbValidityChecks=1709268602 nbPropagations=27205305 nbRevisions=311600718
1164.49 nbUselessRevisions=243457337 nbAssignments=735451 nbFailedAssignments=398657 nbBacktracks=336673
1164.49 nbVisitedNodes=1338229 nbRestartNogoods=257
1164.49 => wckTime=1162.569 cpuTime=1161.78 mem=35M612
1778.81
1778.81 search
1778.81 run=24 nbConstraintChecks=1387266977 nbValidityChecks=2622723064 nbPropagations=40818898 nbRevisions=467725320
1778.81 nbUselessRevisions=365206516 nbAssignments=1121496 nbFailedAssignments=616355 nbBacktracks=505016
1778.81 nbVisitedNodes=2047833 nbRestartNogoods=286
1778.81 => wckTime=1776.897 cpuTime=1775.83 mem=35M612
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-196118-1168070443 -o ROOT/results/node48/solver-196118-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196118-1168070443/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.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=18540 CPUtime=0
/proc/30001/stat : 30001 (runsolver) R 29999 30001 29362 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155443041 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30001/statm: 4635 279 244 17 0 2626 0
[startup+0.10488 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=9908 CPUtime=0
/proc/30001/stat : 30001 (java) D 29999 30001 29362 0 -1 0 681 0 15 0 0 0 0 0 18 0 1 0 155443041 10145792 453 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 3531556 0 2147483391 0 7368 18446744072099781622 0 0 17 0 0 0
/proc/30001/statm: 2477 453 369 14 0 1142 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9908
[startup+0.512921 s]
/proc/loadavg: 0.92 0.98 0.99 4/65 30002
/proc/meminfo: memFree=1699960/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915120 CPUtime=0.19
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 3738 0 71 0 15 4 0 0 17 0 8 0 155443041 937082880 3554 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153795320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228780 3554 1747 14 0 215275 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 915120
[startup+1.334 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1636992/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915328 CPUtime=0.98
/proc/30001/stat : 30001 (java) S 29999 30001 29362 0 -1 0 17520 0 81 0 86 12 0 0 17 0 8 0 155443041 937295872 17339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228832 17343 2146 14 0 215302 0
[pid=30001/tid=30003] ppid=29999 vsize=915328 CPUtime=0.01
/proc/30001/task/30003/stat : 30003 (java) R 29999 30001 29362 0 -1 64 1198 0 0 0 1 0 0 0 16 0 8 0 155443062 937295872 17346 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 155443062 937295872 17349 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155443062 937295872 17352 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937295872 17355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915328 CPUtime=0.06
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 307 0 0 0 6 0 0 0 16 0 8 0 155443072 937295872 17358 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937295872 17361 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915328 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937295872 17364 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 915328
[startup+2.98615 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595392/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=2.62
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23380 0 82 0 247 15 0 0 17 0 8 0 155443041 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073774976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30001/statm: 228854 23196 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.16
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 372 0 0 0 16 0 0 0 15 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23196 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 915416
[startup+6.28144 s]
/proc/loadavg: 0.93 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595264/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=5.9
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23399 0 82 0 575 15 0 0 18 0 8 0 155443041 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073779641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23210 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 17 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.2
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 915416
[startup+12.759 s]
/proc/loadavg: 0.94 0.98 0.99 2/72 30009
/proc/meminfo: memFree=1595272/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=12.37
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23405 0 82 0 1222 15 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 915416
[startup+25.5992 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 30075
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=25.2
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23405 0 82 0 2503 17 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915416
[startup+51.2016 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 30133
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=50.78
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 5057 21 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915416
[startup+102.502 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 30183
/proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=102.06
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 10177 29 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 915416
[startup+162.53 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 30207
/proc/meminfo: memFree=1595080/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=162.03
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 16173 30 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073759211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.58
Current children cumulated vsize (KiB) 915416
[startup+1482.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30209
/proc/meminfo: memFree=1595016/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1481.57
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 148125 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073768445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 915416
[startup+1542.83 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1541.55
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 154123 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 915416
[startup+1602.85 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1601.55
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 160123 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756914 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.55
Current children cumulated vsize (KiB) 915416
[startup+1662.86 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1661.54
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 166122 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 915416
[startup+1722.87 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 30209
/proc/meminfo: memFree=1594952/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1721.54
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 172122 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073817636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 915416
[startup+1782.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30209
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1781.53
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 178121 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073755872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.38 s]
/proc/loadavg: 1.08 1.02 1.01 2/72 30209
/proc/meminfo: memFree=1594888/2055920 swapFree=4192812/4192956
[pid=30001] ppid=29999 vsize=915416 CPUtime=1800.03
/proc/30001/stat : 30001 (java) R 29999 30001 29362 0 -1 0 23406 0 82 0 179971 32 0 0 25 0 8 0 155443041 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30001/statm: 228854 23215 2521 14 0 215324 0
[pid=30001/tid=30003] ppid=29999 vsize=915416 CPUtime=0.15
/proc/30001/task/30003/stat : 30003 (java) S 29999 30001 29362 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30004] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30004/stat : 30004 (java) S 29999 30001 29362 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30005] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30005/stat : 30005 (java) S 29999 30001 29362 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155443062 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30006] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30006/stat : 30006 (java) S 29999 30001 29362 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30007] ppid=29999 vsize=915416 CPUtime=0.21
/proc/30001/task/30007/stat : 30007 (java) S 29999 30001 29362 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30008] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30008/stat : 30008 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30001/tid=30009] ppid=29999 vsize=915416 CPUtime=0
/proc/30001/task/30009/stat : 30009 (java) S 29999 30001 29362 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155443072 937385984 23215 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.42
CPU time (s): 1800.07
CPU user time (s): 1799.73
CPU system time (s): 0.344947
CPU usage (%): 99.9253
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23423
page faults= 82
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37434
involuntary context switches= 40120
runsolver used 2.17167 s user time and 4.26535 s system time
The end
Begin job on node48 on Sat Jan 6 08:00:43 UTC 2007
IDJOB= 196118
IDBENCH= 3327
FILE ID= node48/196118-1168070443
PBS_JOBID= 3475628
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-14_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196118-1168070443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-196118-1168070443 -o ROOT/results/node48/solver-196118-1168070443 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196118-1168070443/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4e6c42cb632ce7285d1803ee4c764767
RANDOM SEED= 407651258
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.218
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.218
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: 1700376 kB
Buffers: 27628 kB
Cached: 240156 kB
SwapCached: 0 kB
Active: 41132 kB
Inactive: 242084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1700376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4620 kB
Writeback: 0 kB
Mapped: 25604 kB
Slab: 58332 kB
Committed_AS: 3049776 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= 66557 MiB
End job on node48 on Sat Jan 6 08:30:47 UTC 2007