0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203145-1168072875/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.34 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.34 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.34 nbSharedBinaryRepresentations=0 maxDegree=20 maxArity=3
2.34 => wckTime=2.018 cpuTime=1.62 mem=57M956
2.50
2.50 solver IterativeSystematicSolver being built...
2.67 => wckTime=2.345 cpuTime=1.77 mem=65M422
2.67
2.67 preprocessing
2.67 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.67 detectedInconsistency=no
2.67 => wckTime=0.0040 cpuTime=0.0 mem=65M422
2.81
2.81 search
2.81 run=0 nbConstraintChecks=40695 nbValidityChecks=73795 nbPropagations=409 nbRevisions=4280
2.81 nbUselessRevisions=3509 nbAssignments=31 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=51
2.81 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.81 => wckTime=0.145 cpuTime=0.1 mem=66M424
2.91
2.91 search
2.91 run=1 nbConstraintChecks=84863 nbValidityChecks=162081 nbPropagations=1378 nbRevisions=14676
2.91 nbUselessRevisions=11856 nbAssignments=73 nbFailedAssignments=30 nbBacktracks=26 nbVisitedNodes=122
2.91 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.238 cpuTime=0.19 mem=66M424
3.01
3.01 search
3.01 run=2 nbConstraintChecks=129321 nbValidityChecks=258282 nbPropagations=2948 nbRevisions=32334
3.01 nbUselessRevisions=26008 nbAssignments=128 nbFailedAssignments=53 nbBacktracks=49 nbVisitedNodes=211
3.01 nbRestartNogoods=9 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.01 => wckTime=0.339 cpuTime=0.27 mem=66M424
3.16
3.16 search
3.16 run=3 nbConstraintChecks=216601 nbValidityChecks=437342 nbPropagations=5665 nbRevisions=63862
3.16 nbUselessRevisions=51094 nbAssignments=212 nbFailedAssignments=94 nbBacktracks=84 nbVisitedNodes=360
3.16 nbRestartNogoods=12 mapSize=69 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=0.491 cpuTime=0.42 mem=66M424
3.39
3.39 search
3.39 run=4 nbConstraintChecks=351534 nbValidityChecks=713820 nbPropagations=10042 nbRevisions=115876
3.39 nbUselessRevisions=92620 nbAssignments=333 nbFailedAssignments=156 nbBacktracks=134 nbVisitedNodes=578
3.39 nbRestartNogoods=22 mapSize=114 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=0.724 cpuTime=0.65 mem=66M424
3.87
3.87 search
3.87 run=5 nbConstraintChecks=623336 nbValidityChecks=1243690 nbPropagations=17017 nbRevisions=199502
3.87 nbUselessRevisions=158661 nbAssignments=499 nbFailedAssignments=238 nbBacktracks=211 nbVisitedNodes=874
3.87 nbRestartNogoods=24 mapSize=176 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=1.198 cpuTime=1.12 mem=66M424
4.40
4.40 search
4.40 run=6 nbConstraintChecks=931286 nbValidityChecks=1867216 nbPropagations=27229 nbRevisions=321552
4.40 nbUselessRevisions=254676 nbAssignments=710 nbFailedAssignments=330 nbBacktracks=324 nbVisitedNodes=1248
4.41 nbRestartNogoods=38 mapSize=270 nbInferences=0 nbTooLargeKeys=0
4.41 => wckTime=1.737 cpuTime=1.65 mem=66M424
5.14
5.14 search
5.14 run=7 nbConstraintChecks=1358650 nbValidityChecks=2757422 nbPropagations=42477 nbRevisions=504218
5.14 nbUselessRevisions=398969 nbAssignments=1117 nbFailedAssignments=558 nbBacktracks=495 nbVisitedNodes=1988
5.14 nbRestartNogoods=43 mapSize=421 nbInferences=0 nbTooLargeKeys=0
5.14 => wckTime=2.475 cpuTime=2.38 mem=66M424
6.24
6.24 search
6.24 run=8 nbConstraintChecks=1996797 nbValidityChecks=4032832 nbPropagations=63798 nbRevisions=766435
6.24 nbUselessRevisions=606965 nbAssignments=1630 nbFailedAssignments=806 nbBacktracks=751 nbVisitedNodes=2892
6.24 nbRestartNogoods=57 mapSize=611 nbInferences=0 nbTooLargeKeys=0
6.24 => wckTime=3.576 cpuTime=3.45 mem=66M424
7.42
7.42 search
7.42 run=9 nbConstraintChecks=2686657 nbValidityChecks=5507281 nbPropagations=94470 nbRevisions=1136606
7.42 nbUselessRevisions=900332 nbAssignments=2344 nbFailedAssignments=1127 nbBacktracks=1136 nbVisitedNodes=4144
7.42 nbRestartNogoods=63 mapSize=930 nbInferences=0 nbTooLargeKeys=0
7.42 => wckTime=4.747 cpuTime=4.6 mem=66M424
7.84
7.84 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=66M424)
9.68
9.68 search
9.68 run=10 nbConstraintChecks=4075670 nbValidityChecks=8469203 nbPropagations=143968 nbRevisions=1734978
9.68 nbUselessRevisions=1373527 nbAssignments=3839 nbFailedAssignments=2039 nbBacktracks=1712 nbVisitedNodes=6914
9.68 nbRestartNogoods=71
9.68 => wckTime=7.015 cpuTime=6.84 mem=66M424
12.44
12.44 search
12.44 run=11 nbConstraintChecks=5737657 nbValidityChecks=11935635 nbPropagations=214000 nbRevisions=2575154
12.44 nbUselessRevisions=2038447 nbAssignments=5572 nbFailedAssignments=2901 nbBacktracks=2576 nbVisitedNodes=9962
12.44 nbRestartNogoods=79
12.44 => wckTime=9.774 cpuTime=9.58 mem=66M424
16.01
16.01 search
16.01 run=12 nbConstraintChecks=7860582 nbValidityChecks=16382994 nbPropagations=312219 nbRevisions=3752460
16.01 nbUselessRevisions=2971576 nbAssignments=7916 nbFailedAssignments=3940 nbBacktracks=3875 nbVisitedNodes=13956
16.01 nbRestartNogoods=85
16.01 => wckTime=13.343 cpuTime=13.11 mem=66M424
25.46
25.46 search
25.46 run=13 nbConstraintChecks=13528515 nbValidityChecks=28145359 nbPropagations=473916 nbRevisions=5702752
25.46 nbUselessRevisions=4510247 nbAssignments=12747 nbFailedAssignments=6815 nbBacktracks=5823 nbVisitedNodes=22839
25.46 nbRestartNogoods=96
25.46 => wckTime=22.791 cpuTime=22.47 mem=66M424
38.94
38.94 search
38.94 run=14 nbConstraintChecks=21682181 nbValidityChecks=45500636 nbPropagations=734246 nbRevisions=8831159
38.94 nbUselessRevisions=6983111 nbAssignments=20050 nbFailedAssignments=11192 nbBacktracks=8743 nbVisitedNodes=36566
38.94 nbRestartNogoods=105
38.94 => wckTime=36.272 cpuTime=35.83 mem=66M424
52.44
52.44 search
52.44 run=15 nbConstraintChecks=29777045 nbValidityChecks=62372928 nbPropagations=1096728 nbRevisions=13181093
52.44 nbUselessRevisions=10421365 nbAssignments=28094 nbFailedAssignments=14850 nbBacktracks=13122
52.44 nbVisitedNodes=50477 nbRestartNogoods=117
52.44 => wckTime=49.77 cpuTime=49.2 mem=66M424
73.91
73.91 search
73.91 run=16 nbConstraintChecks=42921653 nbValidityChecks=89960104 nbPropagations=1625862 nbRevisions=19510662
73.91 nbUselessRevisions=15417553 nbAssignments=41072 nbFailedAssignments=21249 nbBacktracks=19692
73.91 nbVisitedNodes=73535 nbRestartNogoods=136
73.91 => wckTime=71.238 cpuTime=70.47 mem=66M424
114.56
114.56 search
114.56 run=17 nbConstraintChecks=67944695 nbValidityChecks=142984784 nbPropagations=2488152 nbRevisions=29842915
114.56 nbUselessRevisions=23554359 nbAssignments=66198 nbFailedAssignments=36514 nbBacktracks=29544
114.56 nbVisitedNodes=120381 nbRestartNogoods=150
114.56 => wckTime=111.893 cpuTime=110.76 mem=66M424
173.09
173.09 search
173.09 run=18 nbConstraintChecks=103656566 nbValidityChecks=215428026 nbPropagations=3710098 nbRevisions=44785371
173.09 nbUselessRevisions=35385827 nbAssignments=97133 nbFailedAssignments=52666 nbBacktracks=44322
173.09 nbVisitedNodes=175527 nbRestartNogoods=164
173.09 => wckTime=170.425 cpuTime=168.76 mem=66M424
240.67
240.67 search
240.67 run=19 nbConstraintChecks=144383907 nbValidityChecks=300697136 nbPropagations=5469722 nbRevisions=66174120
240.67 nbUselessRevisions=52322189 nbAssignments=139633 nbFailedAssignments=72991 nbBacktracks=66491
240.67 nbVisitedNodes=249778 nbRestartNogoods=184
240.67 => wckTime=238.005 cpuTime=235.73 mem=66M424
378.91
378.91 search
378.91 run=20 nbConstraintChecks=229705194 nbValidityChecks=481752799 nbPropagations=8375752 nbRevisions=101475822
378.91 nbUselessRevisions=80187073 nbAssignments=227637 nbFailedAssignments=127735 nbBacktracks=99744
378.91 nbVisitedNodes=414132 nbRestartNogoods=197
378.91 => wckTime=376.239 cpuTime=372.71 mem=66M424
531.16
531.16 search
531.16 run=21 nbConstraintChecks=321089468 nbValidityChecks=675832876 nbPropagations=12477524 nbRevisions=150904734
531.16 nbUselessRevisions=119231377 nbAssignments=328547 nbFailedAssignments=178761 nbBacktracks=149622
531.16 nbVisitedNodes=592407 nbRestartNogoods=212
531.16 => wckTime=528.494 cpuTime=523.58 mem=66M424
773.31
773.31 search
773.31 run=22 nbConstraintChecks=467049824 nbValidityChecks=979379078 nbPropagations=18453364 nbRevisions=222699129
773.31 nbUselessRevisions=175911528 nbAssignments=471565 nbFailedAssignments=246953 nbBacktracks=224441
773.31 nbVisitedNodes=843222 nbRestartNogoods=236
773.31 => wckTime=770.645 cpuTime=763.53 mem=66M424
1278.63
1278.64 search
1278.64 run=23 nbConstraintChecks=781743771 nbValidityChecks=1645820346 nbPropagations=28443725 nbRevisions=342909389
1278.64 nbUselessRevisions=270516889 nbAssignments=778553 nbFailedAssignments=441707 nbBacktracks=336670
1278.64 nbVisitedNodes=1421620 nbRestartNogoods=258
1278.64 => wckTime=1275.967 cpuTime=1264.76 mem=66M424
1805.15
1805.15 search
1805.15 run=24 nbConstraintChecks=1119494145 nbValidityChecks=2358078771 nbPropagations=42634536 nbRevisions=513711739
1805.15 nbUselessRevisions=405386448 nbAssignments=1115957 nbFailedAssignments=610761 nbBacktracks=505011
1805.15 nbVisitedNodes=2021474 nbRestartNogoods=266
1805.15 => wckTime=1802.486 cpuTime=1790.75 mem=66M424
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-203145-1168072875 -o ROOT/results/node48/solver-203145-1168072875 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203145-1168072875/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.91 1.84 1.45 4/80 30595
/proc/meminfo: memFree=1508520/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=18540 CPUtime=0
/proc/30594/stat : 30594 (runsolver) R 30592 30594 30226 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155686190 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255539604775 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30594/statm: 4635 279 244 17 0 2626 0
[startup+0.10401 s]
/proc/loadavg: 1.91 1.84 1.45 4/80 30595
/proc/meminfo: memFree=1508520/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=914988 CPUtime=0.08
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 155686190 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154021093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512053 s]
/proc/loadavg: 1.91 1.84 1.45 4/80 30595
/proc/meminfo: memFree=1508520/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915328 CPUtime=0.49
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 7445 0 1 0 44 5 0 0 18 0 8 0 155686190 937295872 7184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228832 7184 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33516 s]
/proc/loadavg: 1.91 1.84 1.45 3/87 30602
/proc/meminfo: memFree=1441392/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915328 CPUtime=1.3
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 19099 0 1 0 119 11 0 0 25 0 8 0 155686190 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073585811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228832 18837 2149 14 0 215302 0
[pid=30594/tid=30596] ppid=30592 vsize=915328 CPUtime=0.05
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155686194 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915328 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915328 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915328 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915328 CPUtime=0.08
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155686198 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915328 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915328 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98828 s]
/proc/loadavg: 1.91 1.84 1.45 3/87 30602
/proc/meminfo: memFree=1400496/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=2.93
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32560 0 1 0 275 18 0 0 25 0 8 0 155686190 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32294 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.21
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 378 0 0 0 20 1 0 0 15 0 8 0 155686198 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32294 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.27258 s]
/proc/loadavg: 1.92 1.84 1.46 3/87 30602
/proc/meminfo: memFree=1388912/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=6.19
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32581 0 1 0 600 19 0 0 25 0 8 0 155686190 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32312 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 17 0 8 0 155686194 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.24
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 397 0 0 0 23 1 0 0 15 0 8 0 155686198 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7662 s]
/proc/loadavg: 1.93 1.84 1.46 3/87 30602
/proc/meminfo: memFree=1388856/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=12.62
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32588 0 1 0 1243 19 0 0 25 0 8 0 155686190 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32317 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.25
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 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.62
Current children cumulated vsize (KiB) 915440
[startup+25.6154 s]
/proc/loadavg: 1.94 1.85 1.47 3/87 30602
/proc/meminfo: memFree=1389112/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=25.36
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32588 0 1 0 2517 19 0 0 25 0 8 0 155686190 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32317 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.25
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 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.36
Current children cumulated vsize (KiB) 915440
[startup+51.2407 s]
/proc/loadavg: 1.96 1.86 1.48 3/87 30602
/proc/meminfo: memFree=1389112/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=50.75
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32589 0 1 0 5056 19 0 0 25 0 8 0 155686190 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32317 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 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) 50.75
Current children cumulated vsize (KiB) 915440
[startup+102.488 s]
/proc/loadavg: 1.98 1.88 1.50 3/87 30602
/proc/meminfo: memFree=1389112/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=101.53
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32589 0 1 0 10134 19 0 0 25 0 8 0 155686190 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30594/statm: 228860 32317 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 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) 101.53
Current children cumulated vsize (KiB) 915440
[startup+162.586 s]
/proc/loadavg: 2.03 1.91 1.54 3/87 30602
/proc/meminfo: memFree=1389176/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=161.08
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32589 0 1 0 16089 19 0 0 25 0 8 0 155686190 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861173 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.57
Current children cumulated vsize (KiB) 915440
[startup+1482.99 s]
/proc/loadavg: 2.07 2.02 1.87 3/87 30858
/proc/meminfo: memFree=1400536/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1471.63
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 147125 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.63
Current children cumulated vsize (KiB) 915440
[startup+1543.09 s]
/proc/loadavg: 2.02 2.02 1.88 3/87 30858
/proc/meminfo: memFree=1400600/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1531.69
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 153131 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.69
Current children cumulated vsize (KiB) 915440
[startup+1603.2 s]
/proc/loadavg: 2.01 2.01 1.88 3/87 30858
/proc/meminfo: memFree=1400608/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1591.72
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 159134 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.72
Current children cumulated vsize (KiB) 915440
[startup+1663.27 s]
/proc/loadavg: 2.00 2.01 1.89 3/87 30858
/proc/meminfo: memFree=1400608/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1651.74
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 165136 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.74
Current children cumulated vsize (KiB) 915440
[startup+1723.28 s]
/proc/loadavg: 2.10 2.03 1.90 3/87 30858
/proc/meminfo: memFree=1400672/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1711.69
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 171131 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.69
Current children cumulated vsize (KiB) 915440
[startup+1783.28 s]
/proc/loadavg: 2.04 2.02 1.91 3/87 30858
/proc/meminfo: memFree=1400672/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1771.62
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 177124 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.62
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.67 s]
/proc/loadavg: 2.02 2.02 1.91 3/87 30858
/proc/meminfo: memFree=1400672/2055920 swapFree=4192812/4192956
[pid=30594] ppid=30592 vsize=915440 CPUtime=1800.01
/proc/30594/stat : 30594 (java) R 30592 30594 30226 0 -1 0 32590 0 1 0 179963 38 0 0 25 0 8 0 155686190 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 228860 32318 2521 14 0 215330 0
[pid=30594/tid=30596] ppid=30592 vsize=915440 CPUtime=0.45
/proc/30594/task/30596/stat : 30596 (java) S 30592 30594 30226 0 -1 64 15583 0 0 0 38 7 0 0 16 0 8 0 155686194 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30597] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30592 30594 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30598] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30592 30594 30226 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155686195 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30599/stat : 30599 (java) S 30592 30594 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30600] ppid=30592 vsize=915440 CPUtime=0.26
/proc/30594/task/30600/stat : 30600 (java) S 30592 30594 30226 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30602] ppid=30592 vsize=915440 CPUtime=0
/proc/30594/task/30602/stat : 30602 (java) S 30592 30594 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155686198 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.72
CPU time (s): 1800.06
CPU user time (s): 1799.65
CPU system time (s): 0.407937
CPU usage (%): 99.3564
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32607
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= 37808
involuntary context switches= 72083
runsolver used 2.11668 s user time and 5.9131 s system time
The end
Begin job on node48 on Sat Jan 6 08:41:15 UTC 2007
IDJOB= 203145
IDBENCH= 3919
FILE ID= node48/203145-1168072875
PBS_JOBID= 3475974
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203145-1168072875/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-203145-1168072875 -o ROOT/results/node48/solver-203145-1168072875 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203145-1168072875/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 58fcccf7639b9a5f4e21b01c2c47a417
RANDOM SEED= 190994760
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: 1508936 kB
Buffers: 28588 kB
Cached: 284960 kB
SwapCached: 0 kB
Active: 209732 kB
Inactive: 263756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1508936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 180140 kB
Slab: 58548 kB
Committed_AS: 3889732 kB
PageTables: 2056 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= 66547 MiB
End job on node48 on Sat Jan 6 09:11:27 UTC 2007