0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206801-1168074076/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
1.46
1.46 constraints being loaded...
2.18 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.18 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.18 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.18 => wckTime=1.876 cpuTime=1.5 mem=58M83
2.34
2.34 solver IterativeSystematicSolver being built...
2.51 => wckTime=2.204 cpuTime=1.64 mem=65M860
2.51
2.51 preprocessing
2.51 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.51 detectedInconsistency=no
2.51 => wckTime=0.0040 cpuTime=0.0 mem=65M860
2.66
2.66 search
2.66 run=0 nbConstraintChecks=48263 nbValidityChecks=87989 nbPropagations=493 nbRevisions=5420
2.66 nbUselessRevisions=4395 nbAssignments=35 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=62
2.66 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.66 => wckTime=0.151 cpuTime=0.12 mem=65M860
2.77
2.78 search
2.78 run=1 nbConstraintChecks=106635 nbValidityChecks=198328 nbPropagations=1517 nbRevisions=17797
2.78 nbUselessRevisions=14411 nbAssignments=76 nbFailedAssignments=38 nbBacktracks=26 nbVisitedNodes=133
2.78 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=0.265 cpuTime=0.23 mem=65M860
2.93
2.93 search
2.93 run=2 nbConstraintChecks=187575 nbValidityChecks=372299 nbPropagations=3242 nbRevisions=39641
2.93 nbUselessRevisions=32296 nbAssignments=133 nbFailedAssignments=66 nbBacktracks=49 nbVisitedNodes=233
2.93 nbRestartNogoods=7 mapSize=45 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=0.417 cpuTime=0.37 mem=65M860
3.13
3.13 search
3.13 run=3 nbConstraintChecks=310855 nbValidityChecks=616379 nbPropagations=6071 nbRevisions=76299
3.13 nbUselessRevisions=62173 nbAssignments=233 nbFailedAssignments=127 nbBacktracks=82 nbVisitedNodes=418
3.13 nbRestartNogoods=12 mapSize=76 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=0.62 cpuTime=0.57 mem=65M860
3.41
3.41 search
3.41 run=4 nbConstraintChecks=476637 nbValidityChecks=923533 nbPropagations=10460 nbRevisions=133686
3.41 nbUselessRevisions=108632 nbAssignments=356 nbFailedAssignments=194 nbBacktracks=132 nbVisitedNodes=635
3.41 nbRestartNogoods=15 mapSize=118 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=0.897 cpuTime=0.83 mem=65M860
3.90
3.90 search
3.90 run=5 nbConstraintChecks=772882 nbValidityChecks=1500802 nbPropagations=17476 nbRevisions=225983
3.90 nbUselessRevisions=182672 nbAssignments=545 nbFailedAssignments=300 nbBacktracks=209 nbVisitedNodes=986
3.90 nbRestartNogoods=19 mapSize=187 nbInferences=0 nbTooLargeKeys=0
3.90 => wckTime=1.393 cpuTime=1.32 mem=65M860
4.51
4.51 search
4.51 run=6 nbConstraintChecks=1149011 nbValidityChecks=2275927 nbPropagations=28219 nbRevisions=366104
4.51 nbUselessRevisions=294752 nbAssignments=865 nbFailedAssignments=501 nbBacktracks=322 nbVisitedNodes=1585
4.51 nbRestartNogoods=35 mapSize=287 nbInferences=0 nbTooLargeKeys=0
4.51 => wckTime=1.996 cpuTime=1.92 mem=65M860
5.39
5.39 search
5.39 run=7 nbConstraintChecks=1684129 nbValidityChecks=3345241 nbPropagations=44232 nbRevisions=578800
5.39 nbUselessRevisions=465296 nbAssignments=1278 nbFailedAssignments=737 nbBacktracks=493 nbVisitedNodes=2346
5.39 nbRestartNogoods=38 mapSize=437 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=2.885 cpuTime=2.8 mem=65M860
6.76
6.76 search
6.76 run=8 nbConstraintChecks=2513261 nbValidityChecks=5031240 nbPropagations=69169 nbRevisions=897129
6.76 nbUselessRevisions=718310 nbAssignments=1955 nbFailedAssignments=1151 nbBacktracks=751 nbVisitedNodes=3598
6.76 nbRestartNogoods=46 mapSize=649 nbInferences=0 nbTooLargeKeys=0
6.76 => wckTime=4.252 cpuTime=4.15 mem=65M860
9.31
9.31 search
9.31 run=9 nbConstraintChecks=4111614 nbValidityChecks=8462598 nbPropagations=110974 nbRevisions=1429295
9.31 nbUselessRevisions=1139442 nbAssignments=3333 nbFailedAssignments=2138 nbBacktracks=1135 nbVisitedNodes=6226
9.31 nbRestartNogoods=52 mapSize=996 nbInferences=0 nbTooLargeKeys=0
9.31 => wckTime=6.798 cpuTime=6.66 mem=66M852
9.40
9.40 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=66M852)
12.59
12.59 search
12.59 run=10 nbConstraintChecks=6172470 nbValidityChecks=12596472 nbPropagations=172626 nbRevisions=2236121
12.59 nbUselessRevisions=1783309 nbAssignments=4701 nbFailedAssignments=2923 nbBacktracks=1711 nbVisitedNodes=8785
12.59 nbRestartNogoods=67
12.59 => wckTime=10.08 cpuTime=9.93 mem=66M852
17.12
17.12 search
17.12 run=11 nbConstraintChecks=9033332 nbValidityChecks=18432511 nbPropagations=258704 nbRevisions=3371678
17.12 nbUselessRevisions=2691293 nbAssignments=6863 nbFailedAssignments=4213 nbBacktracks=2578 nbVisitedNodes=12754
17.12 nbRestartNogoods=74
17.12 => wckTime=14.608 cpuTime=14.43 mem=66M852
23.47
23.47 search
23.47 run=12 nbConstraintChecks=13034607 nbValidityChecks=26493556 nbPropagations=384178 nbRevisions=5000126
23.47 nbUselessRevisions=3991595 nbAssignments=9889 nbFailedAssignments=5933 nbBacktracks=3878 nbVisitedNodes=18301
23.47 nbRestartNogoods=87
23.47 => wckTime=20.961 cpuTime=20.75 mem=66M852
33.98
33.98 search
33.98 run=13 nbConstraintChecks=19697700 nbValidityChecks=39965635 nbPropagations=575908 nbRevisions=7537132
33.98 nbUselessRevisions=6026876 nbAssignments=14649 nbFailedAssignments=8741 nbBacktracks=5824 nbVisitedNodes=27194
33.98 nbRestartNogoods=108
33.98 => wckTime=31.474 cpuTime=31.19 mem=66M852
50.47
50.47 search
50.47 run=14 nbConstraintChecks=30422556 nbValidityChecks=61875555 nbPropagations=867355 nbRevisions=11421394
50.47 nbUselessRevisions=9136237 nbAssignments=23002 nbFailedAssignments=14168 nbBacktracks=8743 nbVisitedNodes=42998
50.47 nbRestartNogoods=117
50.47 => wckTime=47.961 cpuTime=47.58 mem=66M852
71.47
71.47 search
71.47 run=15 nbConstraintChecks=43661658 nbValidityChecks=89140115 nbPropagations=1289426 nbRevisions=17086223
71.47 nbUselessRevisions=13686962 nbAssignments=33283 nbFailedAssignments=20062 nbBacktracks=13122
71.47 nbVisitedNodes=61990 nbRestartNogoods=130
71.47 => wckTime=68.963 cpuTime=68.47 mem=66M852
113.85
113.85 search
113.85 run=16 nbConstraintChecks=70991166 nbValidityChecks=145310332 nbPropagations=1965792 nbRevisions=26196744
113.85 nbUselessRevisions=21004229 nbAssignments=53480 nbFailedAssignments=33684 nbBacktracks=19690
113.85 nbVisitedNodes=100811 nbRestartNogoods=151
113.85 => wckTime=111.339 cpuTime=110.64 mem=66M852
168.21
168.21 search
168.21 run=17 nbConstraintChecks=105988393 nbValidityChecks=215279965 nbPropagations=2983998 nbRevisions=39993982
168.21 nbUselessRevisions=32106129 nbAssignments=79312 nbFailedAssignments=49658 nbBacktracks=29542
168.21 nbVisitedNodes=149363 nbRestartNogoods=167
168.21 => wckTime=165.697 cpuTime=164.74 mem=66M852
255.45
255.45 search
255.45 run=18 nbConstraintChecks=162164599 nbValidityChecks=329231611 nbPropagations=4522261 nbRevisions=60760579
255.45 nbUselessRevisions=48815965 nbAssignments=121365 nbFailedAssignments=76926 nbBacktracks=44320
255.45 nbVisitedNodes=229125 nbRestartNogoods=184
255.45 => wckTime=252.94 cpuTime=251.58 mem=66M852
373.85
373.85 search
373.85 run=19 nbConstraintChecks=237662756 nbValidityChecks=482398544 nbPropagations=6780702 nbRevisions=91279593
373.85 nbUselessRevisions=73382716 nbAssignments=178260 nbFailedAssignments=111644 nbBacktracks=66488
373.85 nbVisitedNodes=335204 nbRestartNogoods=197
373.85 => wckTime=371.337 cpuTime=369.41 mem=66M852
576.64
576.64 search
576.64 run=20 nbConstraintChecks=368625027 nbValidityChecks=748868420 nbPropagations=10243415 nbRevisions=138028534
576.64 nbUselessRevisions=110982354 nbAssignments=272690 nbFailedAssignments=172816 nbBacktracks=99740
576.64 nbVisitedNodes=515173 nbRestartNogoods=215
576.64 => wckTime=574.13 cpuTime=571.26 mem=66M852
833.70
833.70 search
833.70 run=21 nbConstraintChecks=533090630 nbValidityChecks=1084348432 nbPropagations=15352188 nbRevisions=206973709
833.70 nbUselessRevisions=166495155 nbAssignments=399023 nbFailedAssignments=249264 nbBacktracks=149618
833.70 nbVisitedNodes=751116 nbRestartNogoods=230
833.70 => wckTime=831.191 cpuTime=827.1 mem=66M852
1240.34
1240.34 search
1240.34 run=22 nbConstraintChecks=795273590 nbValidityChecks=1617303412 nbPropagations=22974408 nbRevisions=308977845
1240.34 nbUselessRevisions=248442408 nbAssignments=599315 nbFailedAssignments=374733 nbBacktracks=224436
1240.34 nbVisitedNodes=1128097 nbRestartNogoods=252
1240.34 => wckTime=1237.831 cpuTime=1231.83 mem=66M852
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-206801-1168074076 -o ROOT/results/node51/solver-206801-1168074076 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206801-1168074076/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 0.97 1.10 6/79 31383
/proc/meminfo: memFree=1465872/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=1784 CPUtime=0
/proc/31382/stat : 31382 (java) D 31377 31382 31263 0 -1 0 192 0 0 0 0 0 0 0 19 0 1 0 155806507 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31382/statm: 446 158 123 14 0 91 0
[startup+0.109277 s]
/proc/loadavg: 0.85 0.97 1.10 6/79 31383
/proc/meminfo: memFree=1465872/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=914988 CPUtime=0.08
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 3005 0 1 0 7 1 0 0 23 0 8 0 155806507 936947712 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517347 s]
/proc/loadavg: 0.85 0.97 1.10 6/79 31383
/proc/meminfo: memFree=1465872/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915328 CPUtime=0.49
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 8171 0 1 0 44 5 0 0 25 0 8 0 155806507 937295872 7910 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228832 7911 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34049 s]
/proc/loadavg: 0.85 0.97 1.10 3/93 31397
/proc/meminfo: memFree=1331680/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915328 CPUtime=1.31
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 19100 0 1 0 120 11 0 0 25 0 8 0 155806507 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228832 18838 2149 14 0 215302 0
[pid=31382/tid=31384] ppid=31377 vsize=915328 CPUtime=0.05
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155806511 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915328 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806512 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915328 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915328 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915328 CPUtime=0.07
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915328 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915328 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98777 s]
/proc/loadavg: 0.85 0.97 1.10 5/92 31403
/proc/meminfo: memFree=1250216/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=2.95
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32562 0 1 0 277 18 0 0 25 0 8 0 155806507 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32296 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.19
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 380 0 0 0 18 1 0 0 15 0 8 0 155806515 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440
[startup+6.28333 s]
/proc/loadavg: 1.02 1.00 1.11 3/93 31415
/proc/meminfo: memFree=1227104/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=6.23
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32579 0 1 0 604 19 0 0 25 0 8 0 155806507 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072940952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32310 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 17 0 8 0 155806511 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.22
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 397 0 0 0 21 1 0 0 15 0 8 0 155806515 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915440
[startup+12.7744 s]
/proc/loadavg: 1.10 1.02 1.12 3/93 31431
/proc/meminfo: memFree=1227168/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=12.69
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32589 0 1 0 1248 21 0 0 25 0 8 0 155806507 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32317 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440
[startup+25.6376 s]
/proc/loadavg: 1.30 1.06 1.13 3/93 31453
/proc/meminfo: memFree=1227352/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=25.48
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32589 0 1 0 2525 23 0 0 25 0 8 0 155806507 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32317 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440
[startup+51.279 s]
/proc/loadavg: 1.54 1.14 1.15 3/93 31477
/proc/meminfo: memFree=1227480/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=50.96
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32589 0 1 0 5070 26 0 0 25 0 8 0 155806507 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32317 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915440
[startup+102.547 s]
/proc/loadavg: 1.84 1.28 1.20 4/87 31511
/proc/meminfo: memFree=1228496/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=101.96
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32590 0 1 0 10166 30 0 0 25 0 8 0 155806507 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32317 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 405 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155806515 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915440
[startup+162.548 s]
/proc/loadavg: 1.94 1.41 1.25 3/87 31511
/proc/meminfo: memFree=1228496/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=161.7
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32590 0 1 0 16139 31 0 0 25 0 8 0 155806507 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.1
Current children cumulated vsize (KiB) 915440
[startup+1482.8 s]
/proc/loadavg: 2.02 2.01 1.80 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1475.81
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 147544 37 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.07
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 5 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.81
Current children cumulated vsize (KiB) 915440
[startup+1542.82 s]
/proc/loadavg: 2.00 2.00 1.81 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1535.56
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 153519 37 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.08
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 6 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.56
Current children cumulated vsize (KiB) 915440
[startup+1602.83 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1595.31
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 159493 38 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.08
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 6 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.31
Current children cumulated vsize (KiB) 915440
[startup+1662.83 s]
/proc/loadavg: 2.11 2.03 1.84 3/87 31513
/proc/meminfo: memFree=1228176/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1655.02
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 165464 38 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.08
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 6 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.02
Current children cumulated vsize (KiB) 915440
[startup+1722.84 s]
/proc/loadavg: 2.04 2.02 1.84 3/87 31513
/proc/meminfo: memFree=1228112/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1714.76
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 171438 38 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.09
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 7 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.76
Current children cumulated vsize (KiB) 915440
[startup+1782.84 s]
/proc/loadavg: 2.01 2.02 1.85 3/87 31513
/proc/meminfo: memFree=1228112/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1774.48
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 177409 39 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.09
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 7 2 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.48
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.57 s]
/proc/loadavg: 2.01 2.01 1.85 3/87 31513
/proc/meminfo: memFree=1228112/2055920 swapFree=4192812/4192956
[pid=31382] ppid=31377 vsize=915440 CPUtime=1800.1
/proc/31382/stat : 31382 (java) R 31377 31382 31263 0 -1 0 32591 0 1 0 179971 39 0 0 25 0 8 0 155806507 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31382/statm: 228860 32318 2521 14 0 215330 0
[pid=31382/tid=31384] ppid=31377 vsize=915440 CPUtime=0.43
/proc/31382/task/31384/stat : 31384 (java) S 31377 31382 31263 0 -1 64 15583 0 0 0 37 6 0 0 16 0 8 0 155806511 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31386] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31386/stat : 31386 (java) S 31377 31382 31263 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31387] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31387/stat : 31387 (java) S 31377 31382 31263 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806512 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31390] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31390/stat : 31390 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31391] ppid=31377 vsize=915440 CPUtime=0.24
/proc/31382/task/31391/stat : 31391 (java) S 31377 31382 31263 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31392] ppid=31377 vsize=915440 CPUtime=0
/proc/31382/task/31392/stat : 31392 (java) S 31377 31382 31263 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31382/tid=31393] ppid=31377 vsize=915440 CPUtime=0.1
/proc/31382/task/31393/stat : 31393 (java) S 31377 31382 31263 0 -1 64 0 0 0 0 7 3 0 0 15 0 8 0 155806515 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.65
CPU time (s): 1800.18
CPU user time (s): 1799.76
CPU system time (s): 0.415936
CPU usage (%): 99.5315
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.415936
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= 37821
involuntary context switches= 61370
runsolver used 2.68459 s user time and 5.33319 s system time
The end
Begin job on node51 on Sat Jan 6 09:01:18 UTC 2007
IDJOB= 206801
IDBENCH= 4236
FILE ID= node51/206801-1168074076
PBS_JOBID= 3476009
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206801-1168074076/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-206801-1168074076 -o ROOT/results/node51/solver-206801-1168074076 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206801-1168074076/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6ca11a40fe629bd40af8bb1fd5267065
RANDOM SEED= 764828590
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.277
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.277
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: 1466968 kB
Buffers: 30324 kB
Cached: 467300 kB
SwapCached: 0 kB
Active: 70176 kB
Inactive: 448244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 15160 kB
Writeback: 0 kB
Mapped: 31368 kB
Slab: 55848 kB
Committed_AS: 2997528 kB
PageTables: 1848 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= 66534 MiB
End job on node51 on Sat Jan 6 09:31:29 UTC 2007