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/203672-1168073166/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.69 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=996 maxDegree=26
0.69 maxArity=2
0.69 => wckTime=0.364 cpuTime=0.27 mem=15M762
0.73
0.73 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.563 cpuTime=0.4 mem=14M248
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=27 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.0050 cpuTime=0.0 mem=14M248
0.95
0.95 search
0.95 run=0 nbConstraintChecks=44098 nbPropagations=502 nbRevisions=8652 nbUselessRevisions=7607 nbAssignments=26
0.95 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.056 cpuTime=0.04 mem=15M289
0.97
0.97 search
0.97 run=1 nbConstraintChecks=97925 nbPropagations=1624 nbRevisions=28964 nbUselessRevisions=25428 nbAssignments=62
0.97 nbFailedAssignments=24 nbBacktracks=27 nbVisitedNodes=108 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.079 cpuTime=0.05 mem=15M289
0.99
0.99 search
0.99 run=2 nbConstraintChecks=169312 nbPropagations=3495 nbRevisions=63588 nbUselessRevisions=55716
0.99 nbAssignments=107 nbFailedAssignments=41 nbBacktracks=49 nbVisitedNodes=185 nbRestartNogoods=4 mapSize=46
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.103 cpuTime=0.07 mem=15M289
1.02
1.02 search
1.02 run=3 nbConstraintChecks=263531 nbPropagations=6436 nbRevisions=119235 nbUselessRevisions=104579
1.02 nbAssignments=172 nbFailedAssignments=66 nbBacktracks=82 nbVisitedNodes=299 nbRestartNogoods=7 mapSize=79
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.128 cpuTime=0.09 mem=15M289
1.04
1.04 search
1.04 run=4 nbConstraintChecks=393692 nbPropagations=10800 nbRevisions=203689 nbUselessRevisions=178729
1.04 nbAssignments=269 nbFailedAssignments=107 nbBacktracks=132 nbVisitedNodes=467 nbRestartNogoods=13 mapSize=125
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.156 cpuTime=0.12 mem=15M289
1.10
1.10 search
1.10 run=5 nbConstraintChecks=642884 nbPropagations=17698 nbRevisions=343087 nbUselessRevisions=301105
1.10 nbAssignments=428 nbFailedAssignments=185 nbBacktracks=208 nbVisitedNodes=759 nbRestartNogoods=19 mapSize=199
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.208 cpuTime=0.17 mem=15M289
1.17
1.17 search
1.17 run=6 nbConstraintChecks=993284 nbPropagations=28109 nbRevisions=558552 nbUselessRevisions=490135
1.17 nbAssignments=654 nbFailedAssignments=292 nbBacktracks=321 nbVisitedNodes=1170 nbRestartNogoods=22 mapSize=306
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.282 cpuTime=0.23 mem=15M289
1.26
1.26 search
1.26 run=7 nbConstraintChecks=1459877 nbPropagations=43466 nbRevisions=880052 nbUselessRevisions=772258
1.26 nbAssignments=968 nbFailedAssignments=431 nbBacktracks=491 nbVisitedNodes=1745 nbRestartNogoods=27 mapSize=472
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.372 cpuTime=0.32 mem=15M289
1.40
1.40 search
1.40 run=8 nbConstraintChecks=2213871 nbPropagations=66527 nbRevisions=1371540 nbUselessRevisions=1203773
1.40 nbAssignments=1467 nbFailedAssignments=668 nbBacktracks=747 nbVisitedNodes=2670 nbRestartNogoods=31
1.40 mapSize=724 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.51 cpuTime=0.45 mem=15M289
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=15M289)
1.61
1.61 search
1.61 run=9 nbConstraintChecks=3390115 nbPropagations=101387 nbRevisions=2127417 nbUselessRevisions=1867687
1.61 nbAssignments=2214 nbFailedAssignments=1024 nbBacktracks=1133 nbVisitedNodes=4065 nbRestartNogoods=38
1.61 => wckTime=0.718 cpuTime=0.64 mem=15M289
1.96
1.96 search
1.96 run=10 nbConstraintChecks=5187322 nbPropagations=154014 nbRevisions=3282253 nbUselessRevisions=2882459
1.96 nbAssignments=3327 nbFailedAssignments=1555 nbBacktracks=1709 nbVisitedNodes=6128 nbRestartNogoods=47
1.96 => wckTime=1.076 cpuTime=0.98 mem=15M289
2.52
2.52 search
2.52 run=11 nbConstraintChecks=7703186 nbPropagations=232440 nbRevisions=5003773 nbUselessRevisions=4395237
2.52 nbAssignments=4993 nbFailedAssignments=2351 nbBacktracks=2574 nbVisitedNodes=9208 nbRestartNogoods=56
2.52 => wckTime=1.631 cpuTime=1.53 mem=15M289
3.35
3.35 search
3.35 run=12 nbConstraintChecks=11530005 nbPropagations=349905 nbRevisions=7595139 nbUselessRevisions=6672731
3.35 nbAssignments=7492 nbFailedAssignments=3545 nbBacktracks=3872 nbVisitedNodes=13830 nbRestartNogoods=65
3.35 => wckTime=2.465 cpuTime=2.36 mem=15M289
4.64
4.64 search
4.64 run=13 nbConstraintChecks=17432665 nbPropagations=526212 nbRevisions=11519444 nbUselessRevisions=10124673
4.64 nbAssignments=11226 nbFailedAssignments=5328 nbBacktracks=5818 nbVisitedNodes=20747 nbRestartNogoods=76
4.64 => wckTime=3.751 cpuTime=3.63 mem=15M289
6.58
6.58 search
6.58 run=14 nbConstraintChecks=26415595 nbPropagations=791531 nbRevisions=17449932 nbUselessRevisions=15340813
6.58 nbAssignments=16860 nbFailedAssignments=8035 nbBacktracks=8739 nbVisitedNodes=31238 nbRestartNogoods=91
6.58 => wckTime=5.687 cpuTime=5.55 mem=15M289
9.45
9.45 search
9.45 run=15 nbConstraintChecks=39679903 nbPropagations=1188580 nbRevisions=26351135 nbUselessRevisions=23170001
9.45 nbAssignments=25260 nbFailedAssignments=12053 nbBacktracks=13117 nbVisitedNodes=46824 nbRestartNogoods=99
9.45 => wckTime=8.565 cpuTime=8.4 mem=15M289
13.47
13.47 search
13.47 run=16 nbConstraintChecks=57847410 nbPropagations=1773564 nbRevisions=39402289 nbUselessRevisions=34651409
13.47 nbAssignments=37456 nbFailedAssignments=17674 nbBacktracks=19686 nbVisitedNodes=69282 nbRestartNogoods=107
13.47 => wckTime=12.586 cpuTime=12.39 mem=15M289
20.02
20.02 search
20.02 run=17 nbConstraintChecks=88612666 nbPropagations=2659204 nbRevisions=59266815 nbUselessRevisions=52121110
20.02 nbAssignments=56498 nbFailedAssignments=26858 nbBacktracks=29538 nbVisitedNodes=104639 nbRestartNogoods=118
20.02 => wckTime=19.132 cpuTime=18.87 mem=15M289
29.66
29.66 search
29.66 run=18 nbConstraintChecks=133078348 nbPropagations=3989650 nbRevisions=89095797 nbUselessRevisions=78353081
29.66 nbAssignments=84709 nbFailedAssignments=40285 nbBacktracks=44316 nbVisitedNodes=157002 nbRestartNogoods=135
29.66 => wckTime=28.774 cpuTime=28.42 mem=15M289
43.78
43.78 search
43.78 run=19 nbConstraintChecks=198108284 nbPropagations=5982092 nbRevisions=133627227 nbUselessRevisions=117509417
43.78 nbAssignments=127226 nbFailedAssignments=60627 nbBacktracks=66484 nbVisitedNodes=235912 nbRestartNogoods=149
43.78 => wckTime=42.893 cpuTime=42.41 mem=15M289
65.34
65.34 search
65.34 run=20 nbConstraintChecks=297446532 nbPropagations=8970060 nbRevisions=200574653 nbUselessRevisions=176391310
65.34 nbAssignments=190849 nbFailedAssignments=90991 nbBacktracks=99736 nbVisitedNodes=353717 nbRestartNogoods=165
65.34 => wckTime=64.447 cpuTime=63.77 mem=15M289
97.46
97.46 search
97.46 run=21 nbConstraintChecks=446402466 nbPropagations=13449567 nbRevisions=300910872 nbUselessRevisions=264618653
97.46 nbAssignments=286017 nbFailedAssignments=136273 nbBacktracks=149614 nbVisitedNodes=530078 nbRestartNogoods=177
97.46 => wckTime=96.575 cpuTime=95.6 mem=15M289
146.52
146.52 search
146.52 run=22 nbConstraintChecks=674966921 nbPropagations=20189823 nbRevisions=452304908 nbUselessRevisions=397771119
146.52 nbAssignments=429060 nbFailedAssignments=204492 nbBacktracks=224432 nbVisitedNodes=795523 nbRestartNogoods=197
146.52 => wckTime=145.635 cpuTime=144.2 mem=15M289
218.57
218.57 search
218.57 run=23 nbConstraintChecks=1008576844 nbPropagations=30265202 nbRevisions=678357685 nbUselessRevisions=596584988
218.57 nbAssignments=641932 nbFailedAssignments=305131 nbBacktracks=336659 nbVisitedNodes=1189265 nbRestartNogoods=221
218.57 => wckTime=217.677 cpuTime=215.58 mem=15M289
328.89
328.89 search
328.89 run=24 nbConstraintChecks=1524401127 nbPropagations=45436519 nbRevisions=1019642640
328.89 nbUselessRevisions=896797726 nbAssignments=964636 nbFailedAssignments=459489 nbBacktracks=505000
328.89 nbVisitedNodes=1788230 nbRestartNogoods=232
328.89 => wckTime=328.003 cpuTime=324.9 mem=15M289
492.49
492.49 search
492.49 run=25 nbConstraintChecks=2278532353 nbPropagations=68136189 nbRevisions=1530485376
492.49 nbUselessRevisions=1346235630 nbAssignments=1445455 nbFailedAssignments=687791 nbBacktracks=757512
492.49 nbVisitedNodes=2678660 nbRestartNogoods=256
492.49 => wckTime=491.601 cpuTime=486.99 mem=15M289
742.33
742.34 search
742.34 run=26 nbConstraintChecks=3446151068 nbPropagations=102304193 nbRevisions=2301624739
742.34 nbUselessRevisions=2024830967 nbAssignments=2172010 nbFailedAssignments=1035574 nbBacktracks=1136279
742.34 nbVisitedNodes=4026717 nbRestartNogoods=276
742.34 => wckTime=741.446 cpuTime=734.54 mem=15M289
1116.76
1116.76 search
1116.76 run=27 nbConstraintChecks=5191804214 nbPropagations=153648977 nbRevisions=3462695204
1116.76 nbUselessRevisions=3046725140 nbAssignments=3260152 nbFailedAssignments=1555558 nbBacktracks=1704430
1116.76 nbVisitedNodes=6044046 nbRestartNogoods=292
1116.76 => wckTime=1115.876 cpuTime=1105.33 mem=15M289
1679.63
1679.63 search
1679.63 run=28 nbConstraintChecks=7819479914 nbPropagations=230775035 nbRevisions=5210926144
1679.63 nbUselessRevisions=4585889031 nbAssignments=4894280 nbFailedAssignments=2337453 nbBacktracks=2556657
1679.63 nbVisitedNodes=9073486 nbRestartNogoods=318
1679.63 => wckTime=1678.739 cpuTime=1663.11 mem=15M289
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-203672-1168073166 -o ROOT/results/node45/solver-203672-1168073166 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203672-1168073166/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.87 1.95 1.91 4/80 21752
/proc/meminfo: memFree=1297680/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=18540 CPUtime=0
/proc/21751/stat : 21751 (runsolver) R 21749 21751 21035 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155715680 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21751/statm: 4635 279 244 17 0 2626 0
[startup+0.103894 s]
/proc/loadavg: 1.87 1.95 1.91 4/80 21752
/proc/meminfo: memFree=1297680/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=914852 CPUtime=0.08
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 2941 0 1 0 6 2 0 0 17 0 8 0 155715680 936808448 2687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228713 2687 1412 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.511968 s]
/proc/loadavg: 1.87 1.95 1.91 4/80 21752
/proc/meminfo: memFree=1297680/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915328 CPUtime=0.49
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 6859 0 1 0 44 5 0 0 18 0 8 0 155715680 937295872 6598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228832 6598 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33311 s]
/proc/loadavg: 1.87 1.95 1.91 3/87 21759
/proc/meminfo: memFree=1271640/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1.29
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9196 0 1 0 122 7 0 0 24 0 8 0 155715680 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8934 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.22
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 376 0 0 0 21 1 0 0 15 0 8 0 155715689 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.97741 s]
/proc/loadavg: 1.87 1.95 1.91 3/87 21759
/proc/meminfo: memFree=1271576/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=2.93
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9212 0 1 0 285 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 17 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 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) 915456
[startup+6.27101 s]
/proc/loadavg: 1.88 1.95 1.91 3/87 21759
/proc/meminfo: memFree=1271576/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=6.19
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9213 0 1 0 611 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 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) 915456
[startup+12.7482 s]
/proc/loadavg: 1.89 1.95 1.91 3/87 21759
/proc/meminfo: memFree=1271640/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=12.61
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9213 0 1 0 1253 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6075 s]
/proc/loadavg: 1.91 1.96 1.91 3/87 21759
/proc/meminfo: memFree=1271704/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=25.35
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9214 0 1 0 2527 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2182 s]
/proc/loadavg: 1.94 1.96 1.91 3/87 21759
/proc/meminfo: memFree=1271768/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=50.72
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9214 0 1 0 5064 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806261 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915456
[startup+102.425 s]
/proc/loadavg: 2.05 1.98 1.91 3/87 21759
/proc/meminfo: memFree=1271768/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=101.45
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9214 0 1 0 10137 8 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8949 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915456
[startup+162.475 s]
/proc/loadavg: 2.02 1.98 1.91 3/87 21759
/proc/meminfo: memFree=1271832/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=160.96
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9214 0 1 0 16087 9 0 0 25 0 8 0 155715680 937426944 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.31
Current children cumulated vsize (KiB) 915456
[startup+1483.68 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 21957
/proc/meminfo: memFree=1271448/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1469.81
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 146969 12 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.81
Current children cumulated vsize (KiB) 915456
[startup+1543.73 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 21957
/proc/meminfo: memFree=1271448/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1529.31
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 152919 12 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.31
Current children cumulated vsize (KiB) 915456
[startup+1603.78 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 21957
/proc/meminfo: memFree=1271512/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1588.81
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 158868 13 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.81
Current children cumulated vsize (KiB) 915456
[startup+1663.83 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 21957
/proc/meminfo: memFree=1271448/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1648.33
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 164820 13 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.33
Current children cumulated vsize (KiB) 915456
[startup+1723.88 s]
/proc/loadavg: 1.66 1.92 1.91 2/72 22029
/proc/meminfo: memFree=1404312/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1708.3
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 170815 15 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073841894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.3
Current children cumulated vsize (KiB) 915456
[startup+1783.9 s]
/proc/loadavg: 1.24 1.75 1.85 2/72 22029
/proc/meminfo: memFree=1404440/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1768.3
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 176815 15 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.3
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.65 s]
/proc/loadavg: 1.13 1.66 1.82 2/72 22029
/proc/meminfo: memFree=1404440/2055920 swapFree=4184004/4192956
[pid=21751] ppid=21749 vsize=915456 CPUtime=1800.04
/proc/21751/stat : 21751 (java) R 21749 21751 21035 0 -1 0 9216 0 1 0 179989 15 0 0 25 0 8 0 155715680 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21751/statm: 228864 8951 2513 14 0 215334 0
[pid=21751/tid=21753] ppid=21749 vsize=915456 CPUtime=0.03
/proc/21751/task/21753/stat : 21753 (java) S 21749 21751 21035 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21754] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21754/stat : 21754 (java) S 21749 21751 21035 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21755] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21755/stat : 21755 (java) S 21749 21751 21035 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155715685 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21756] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21756/stat : 21756 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21757] ppid=21749 vsize=915456 CPUtime=0.25
/proc/21751/task/21757/stat : 21757 (java) S 21749 21751 21035 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21758] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21758/stat : 21758 (java) S 21749 21751 21035 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21751/tid=21759] ppid=21749 vsize=915456 CPUtime=0
/proc/21751/task/21759/stat : 21759 (java) S 21749 21751 21035 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155715689 937426944 8951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.67
CPU time (s): 1800.07
CPU user time (s): 1799.91
CPU system time (s): 0.157975
CPU usage (%): 99.1404
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9233
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= 37812
involuntary context switches= 100969
runsolver used 2.10368 s user time and 5.82911 s system time
The end
Begin job on node45 on Sat Jan 6 08:46:07 UTC 2007
IDJOB= 203672
IDBENCH= 3975
FILE ID= node45/203672-1168073166
PBS_JOBID= 3475931
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203672-1168073166/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-203672-1168073166 -o ROOT/results/node45/solver-203672-1168073166 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203672-1168073166/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 283f3efbecc671b0217b329d861a8c2f
RANDOM SEED= 361202275
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1298096 kB
Buffers: 48332 kB
Cached: 501964 kB
SwapCached: 2748 kB
Active: 178020 kB
Inactive: 507416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298096 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 151212 kB
Slab: 57400 kB
Committed_AS: 3451592 kB
PageTables: 2036 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= 66543 MiB
End job on node45 on Sat Jan 6 09:16:23 UTC 2007