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/229946-1168081016/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=471 nbRelationTypes=471 nbExtensionStructures=471 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=471 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2514 maxDegree=27
0.72 maxArity=2
0.72 => wckTime=0.396 cpuTime=0.31 mem=17M695
0.77
0.77 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.595 cpuTime=0.43 mem=15M374
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.0090 cpuTime=0.01 mem=15M374
0.98
0.98 search
0.98 run=0 nbConstraintChecks=42421 nbPropagations=572 nbRevisions=6330 nbUselessRevisions=5293 nbAssignments=27
0.98 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.057 cpuTime=0.04 mem=15M374
1.01
1.01 search
1.01 run=1 nbConstraintChecks=107693 nbPropagations=1888 nbRevisions=23023 nbUselessRevisions=19220
1.01 nbAssignments=61 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=94 nbRestartNogoods=1 mapSize=23
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.085 cpuTime=0.06 mem=15M374
1.03
1.03 search
1.03 run=2 nbConstraintChecks=181667 nbPropagations=4108 nbRevisions=52635 nbUselessRevisions=44031
1.03 nbAssignments=116 nbFailedAssignments=33 nbBacktracks=49 nbVisitedNodes=178 nbRestartNogoods=3 mapSize=40
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.107 cpuTime=0.08 mem=15M374
1.06
1.06 search
1.06 run=3 nbConstraintChecks=302565 nbPropagations=7637 nbRevisions=101094 nbUselessRevisions=84143
1.06 nbAssignments=183 nbFailedAssignments=56 nbBacktracks=84 nbVisitedNodes=288 nbRestartNogoods=7 mapSize=71
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.132 cpuTime=0.1 mem=15M374
1.08
1.08 search
1.08 run=4 nbConstraintChecks=430191 nbPropagations=12802 nbRevisions=172383 nbUselessRevisions=142980
1.08 nbAssignments=271 nbFailedAssignments=83 nbBacktracks=135 nbVisitedNodes=430 nbRestartNogoods=9 mapSize=112
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.159 cpuTime=0.12 mem=15M374
1.14
1.14 search
1.14 run=5 nbConstraintChecks=673479 nbPropagations=20848 nbRevisions=289129 nbUselessRevisions=239774
1.14 nbAssignments=411 nbFailedAssignments=139 nbBacktracks=211 nbVisitedNodes=668 nbRestartNogoods=12 mapSize=177
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.214 cpuTime=0.17 mem=15M374
1.20
1.20 search
1.20 run=6 nbConstraintChecks=1010917 nbPropagations=32917 nbRevisions=466089 nbUselessRevisions=386042
1.20 nbAssignments=613 nbFailedAssignments=216 nbBacktracks=325 nbVisitedNodes=1009 nbRestartNogoods=13 mapSize=279
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.278 cpuTime=0.23 mem=15M374
1.29
1.29 search
1.29 run=7 nbConstraintChecks=1524061 nbPropagations=50735 nbRevisions=731911 nbUselessRevisions=605230
1.29 nbAssignments=899 nbFailedAssignments=321 nbBacktracks=496 nbVisitedNodes=1501 nbRestartNogoods=17 mapSize=426
1.29 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.369 cpuTime=0.32 mem=15M374
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2285479 nbPropagations=77369 nbRevisions=1135930 nbUselessRevisions=937660
1.44 nbAssignments=1360 nbFailedAssignments=516 nbBacktracks=754 nbVisitedNodes=2306 nbRestartNogoods=22
1.44 mapSize=648 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.513 cpuTime=0.46 mem=15M374
1.64
1.64 search
1.64 run=9 nbConstraintChecks=3432269 nbPropagations=117378 nbRevisions=1763581 nbUselessRevisions=1456261
1.64 nbAssignments=2051 nbFailedAssignments=812 nbBacktracks=1139 nbVisitedNodes=3504 nbRestartNogoods=29
1.64 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.72 cpuTime=0.65 mem=15M374
1.68
1.68 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=15M374)
1.90
1.90 search
1.90 run=10 nbConstraintChecks=5047726 nbPropagations=175920 nbRevisions=2680702 nbUselessRevisions=2211872
1.90 nbAssignments=3001 nbFailedAssignments=1173 nbBacktracks=1716 nbVisitedNodes=5124 nbRestartNogoods=35
1.90 => wckTime=0.981 cpuTime=0.9 mem=15M374
2.27
2.27 search
2.27 run=11 nbConstraintChecks=7330116 nbPropagations=261395 nbRevisions=4026972 nbUselessRevisions=3320822
2.27 nbAssignments=4424 nbFailedAssignments=1719 nbBacktracks=2581 nbVisitedNodes=7556 nbRestartNogoods=38
2.27 => wckTime=1.338 cpuTime=1.25 mem=15M374
2.83
2.83 search
2.83 run=12 nbConstraintChecks=10971520 nbPropagations=390493 nbRevisions=6060583 nbUselessRevisions=4997773
2.83 nbAssignments=6612 nbFailedAssignments=2596 nbBacktracks=3880 nbVisitedNodes=11341 nbRestartNogoods=48
2.83 => wckTime=1.908 cpuTime=1.81 mem=15M374
3.66
3.66 search
3.66 run=13 nbConstraintChecks=16313834 nbPropagations=582605 nbRevisions=9092333 nbUselessRevisions=7498481
3.66 nbAssignments=9833 nbFailedAssignments=3857 nbBacktracks=5827 nbVisitedNodes=16848 nbRestartNogoods=58
3.66 => wckTime=2.737 cpuTime=2.63 mem=15M374
4.85
4.85 search
4.85 run=14 nbConstraintChecks=23983936 nbPropagations=864761 nbRevisions=13575855 nbUselessRevisions=11200713
4.85 nbAssignments=14582 nbFailedAssignments=5677 nbBacktracks=8747 nbVisitedNodes=24948 nbRestartNogoods=64
4.85 => wckTime=3.923 cpuTime=3.8 mem=15M374
6.72
6.72 search
6.72 run=15 nbConstraintChecks=35875635 nbPropagations=1290436 nbRevisions=20395320 nbUselessRevisions=16838852
6.72 nbAssignments=22110 nbFailedAssignments=8817 nbBacktracks=13125 nbVisitedNodes=38001 nbRestartNogoods=67
6.72 => wckTime=5.793 cpuTime=5.66 mem=15M374
9.37
9.37 search
9.37 run=16 nbConstraintChecks=52646332 nbPropagations=1920664 nbRevisions=30476643 nbUselessRevisions=25181224
9.37 nbAssignments=32862 nbFailedAssignments=12991 nbBacktracks=19693 nbVisitedNodes=56492 nbRestartNogoods=75
9.37 => wckTime=8.449 cpuTime=8.28 mem=15M374
13.13
13.13 search
13.13 run=17 nbConstraintChecks=76203984 nbPropagations=2846926 nbRevisions=45205275 nbUselessRevisions=37369780
13.13 nbAssignments=48650 nbFailedAssignments=18916 nbBacktracks=29545 nbVisitedNodes=83437 nbRestartNogoods=84
13.13 => wckTime=12.207 cpuTime=12.01 mem=15M374
19.04
19.04 search
19.04 run=18 nbConstraintChecks=113973703 nbPropagations=4231678 nbRevisions=67198727 nbUselessRevisions=55553904
19.04 nbAssignments=72950 nbFailedAssignments=28427 nbBacktracks=44325 nbVisitedNodes=125197 nbRestartNogoods=92
19.04 => wckTime=18.122 cpuTime=17.84 mem=15M374
28.02
28.02 search
28.02 run=19 nbConstraintChecks=171621765 nbPropagations=6307585 nbRevisions=100223528 nbUselessRevisions=82851874
28.02 nbAssignments=109199 nbFailedAssignments=42495 nbBacktracks=66495 nbVisitedNodes=187655 nbRestartNogoods=104
28.02 => wckTime=27.094 cpuTime=26.72 mem=15M374
41.04
41.04 search
41.04 run=20 nbConstraintChecks=253539668 nbPropagations=9400016 nbRevisions=149480648 nbUselessRevisions=123614257
41.04 nbAssignments=162933 nbFailedAssignments=62967 nbBacktracks=99748 nbVisitedNodes=279864 nbRestartNogoods=110
41.04 => wckTime=40.117 cpuTime=39.62 mem=15M374
60.14
60.14 search
60.14 run=21 nbConstraintChecks=376045797 nbPropagations=13971507 nbRevisions=222205567 nbUselessRevisions=183785824
60.14 nbAssignments=241314 nbFailedAssignments=91458 nbBacktracks=149628 nbVisitedNodes=413066 nbRestartNogoods=120
60.14 => wckTime=59.216 cpuTime=58.56 mem=15M374
90.27
90.27 search
90.27 run=22 nbConstraintChecks=573992862 nbPropagations=20836610 nbRevisions=331372951 nbUselessRevisions=273998886
90.27 nbAssignments=360428 nbFailedAssignments=135743 nbBacktracks=224446 nbVisitedNodes=615721 nbRestartNogoods=136
90.27 => wckTime=89.346 cpuTime=88.41 mem=15M374
136.07
136.07 search
136.07 run=23 nbConstraintChecks=864775767 nbPropagations=31259984 nbRevisions=497726360 nbUselessRevisions=411637264
136.07 nbAssignments=545885 nbFailedAssignments=208962 nbBacktracks=336675 nbVisitedNodes=935567 nbRestartNogoods=150
136.07 => wckTime=135.146 cpuTime=133.79 mem=15M374
202.98
202.98 search
202.98 run=24 nbConstraintChecks=1294239327 nbPropagations=46846963 nbRevisions=747104871 nbUselessRevisions=618106343
202.98 nbAssignments=814760 nbFailedAssignments=309484 nbBacktracks=505017 nbVisitedNodes=1394810 nbRestartNogoods=164
202.98 => wckTime=202.056 cpuTime=200.08 mem=15M374
302.60
302.60 search
302.60 run=25 nbConstraintChecks=1932926294 nbPropagations=70125987 nbRevisions=1118818038
302.60 nbUselessRevisions=925828696 nbAssignments=1216329 nbFailedAssignments=458532 nbBacktracks=757528
302.60 nbVisitedNodes=2079830 nbRestartNogoods=179
302.60 => wckTime=301.679 cpuTime=298.66 mem=15M374
455.99
455.99 search
455.99 run=26 nbConstraintChecks=2926474446 nbPropagations=105175737 nbRevisions=1678691634
455.99 nbUselessRevisions=1389193822 nbAssignments=1825727 nbFailedAssignments=689152 nbBacktracks=1136296
455.99 nbVisitedNodes=3123150 nbRestartNogoods=189
455.99 => wckTime=455.071 cpuTime=450.61 mem=15M374
683.40
683.41 search
683.41 run=27 nbConstraintChecks=4393911770 nbPropagations=157717439 nbRevisions=2518928921
683.41 nbUselessRevisions=2084508221 nbAssignments=2742767 nbFailedAssignments=1038030 nbBacktracks=1704449
683.41 nbVisitedNodes=4694479 nbRestartNogoods=199
683.41 => wckTime=682.482 cpuTime=675.95 mem=15M374
1033.98
1033.98 search
1033.98 run=28 nbConstraintChecks=6670533380 nbPropagations=237186447 nbRevisions=3789628726
1033.98 nbUselessRevisions=3135650924 nbAssignments=4125392 nbFailedAssignments=1568420 nbBacktracks=2556676
1033.98 nbVisitedNodes=7067545 nbRestartNogoods=214
1033.98 => wckTime=1033.057 cpuTime=1023.36 mem=15M374
1550.59
1550.59 search
1550.59 run=29 nbConstraintChecks=10006811862 nbPropagations=356449458 nbRevisions=5699179311
1550.59 nbUselessRevisions=4716136504 nbAssignments=6187169 nbFailedAssignments=2351845 nbBacktracks=3835018
1550.59 nbVisitedNodes=10601681 nbRestartNogoods=226
1550.59 => wckTime=1549.664 cpuTime=1535.26 mem=15M374
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-229946-1168081016 -o ROOT/results/node26/solver-229946-1168081016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229946-1168081016/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.22 0.72 1.30 5/93 21443
/proc/meminfo: memFree=1296184/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=18540 CPUtime=0
/proc/21442/stat : 21442 (runsolver) R 21440 21442 21330 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156496497 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21442/statm: 4635 279 244 17 0 2626 0
[startup+0.109706 s]
/proc/loadavg: 0.22 0.72 1.30 5/93 21443
/proc/meminfo: memFree=1296184/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=914988 CPUtime=0.08
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 2978 0 1 0 7 1 0 0 20 0 8 0 156496497 936947712 2724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155069960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520256 s]
/proc/loadavg: 0.22 0.72 1.30 5/93 21443
/proc/meminfo: memFree=1296184/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915328 CPUtime=0.48
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 6915 0 1 0 44 4 0 0 22 0 8 0 156496497 937295872 6654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228832 6654 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34382 s]
/proc/loadavg: 0.22 0.72 1.30 3/100 21450
/proc/meminfo: memFree=1268480/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1.29
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9626 0 1 0 123 6 0 0 25 0 8 0 156496497 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9364 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.2
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 380 0 0 0 19 1 0 0 15 0 8 0 156496505 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9364 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) 915460
[startup+2.98597 s]
/proc/loadavg: 0.22 0.72 1.30 3/100 21450
/proc/meminfo: memFree=1268352/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=2.92
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9644 0 1 0 285 7 0 0 25 0 8 0 156496497 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814614 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9380 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.19232 s]
/proc/loadavg: 0.36 0.74 1.30 3/100 21450
/proc/meminfo: memFree=1268352/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=6.1
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9644 0 1 0 603 7 0 0 25 0 8 0 156496497 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9380 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915460
[startup+12.6599 s]
/proc/loadavg: 0.49 0.76 1.31 3/100 21450
/proc/meminfo: memFree=1268352/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=12.5
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9644 0 1 0 1243 7 0 0 25 0 8 0 156496497 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9380 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915460
[startup+25.5171 s]
/proc/loadavg: 0.83 0.82 1.32 3/100 21450
/proc/meminfo: memFree=1268352/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=25.21
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9644 0 1 0 2514 7 0 0 25 0 8 0 156496497 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9380 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915460
[startup+51.1295 s]
/proc/loadavg: 1.23 0.92 1.33 3/100 21450
/proc/meminfo: memFree=1268416/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=50.58
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9646 0 1 0 5051 7 0 0 25 0 8 0 156496497 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9381 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915460
[startup+102.343 s]
/proc/loadavg: 1.66 1.08 1.37 3/100 21450
/proc/meminfo: memFree=1268416/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=101.34
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9646 0 1 0 10126 8 0 0 25 0 8 0 156496497 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9381 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.23
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 915460
[startup+162.402 s]
/proc/loadavg: 1.94 1.26 1.41 3/100 21450
/proc/meminfo: memFree=1268416/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=160.85
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 16077 8 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.51
Current children cumulated vsize (KiB) 915460
[startup+1483.78 s]
/proc/loadavg: 2.00 1.99 1.83 3/100 21650
/proc/meminfo: memFree=1267968/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1470.03
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 146984 19 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.03
Current children cumulated vsize (KiB) 915460
[startup+1543.85 s]
/proc/loadavg: 2.06 2.00 1.84 3/100 21650
/proc/meminfo: memFree=1268032/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1529.55
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 152936 19 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.55
Current children cumulated vsize (KiB) 915460
[startup+1603.91 s]
/proc/loadavg: 2.06 2.01 1.85 3/100 21650
/proc/meminfo: memFree=1268096/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1589.07
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 158887 20 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.07
Current children cumulated vsize (KiB) 915460
[startup+1663.97 s]
/proc/loadavg: 2.02 2.01 1.86 3/100 21650
/proc/meminfo: memFree=1268096/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1648.58
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 164838 20 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.58
Current children cumulated vsize (KiB) 915460
[startup+1724.03 s]
/proc/loadavg: 2.01 2.00 1.87 3/100 21650
/proc/meminfo: memFree=1268096/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1708.1
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 170790 20 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.1
Current children cumulated vsize (KiB) 915460
[startup+1784.1 s]
/proc/loadavg: 2.00 2.00 1.87 3/100 21650
/proc/meminfo: memFree=1268096/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1767.62
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 176741 21 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.62
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.7 s]
/proc/loadavg: 1.94 1.98 1.87 3/100 21708
/proc/meminfo: memFree=1252088/2055920 swapFree=4192812/4192956
[pid=21442] ppid=21440 vsize=915460 CPUtime=1800.09
/proc/21442/stat : 21442 (java) R 21440 21442 21330 0 -1 0 9647 0 1 0 179987 22 0 0 25 0 8 0 156496497 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21442/statm: 228865 9382 2513 14 0 215335 0
[pid=21442/tid=21444] ppid=21440 vsize=915460 CPUtime=0.03
/proc/21442/task/21444/stat : 21444 (java) S 21440 21442 21330 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21445] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21445/stat : 21445 (java) S 21440 21442 21330 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21446] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21446/stat : 21446 (java) S 21440 21442 21330 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496502 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21447] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21447/stat : 21447 (java) S 21440 21442 21330 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21448] ppid=21440 vsize=915460 CPUtime=0.24
/proc/21442/task/21448/stat : 21448 (java) S 21440 21442 21330 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21449] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21449/stat : 21449 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21442/tid=21450] ppid=21440 vsize=915460 CPUtime=0
/proc/21442/task/21450/stat : 21450 (java) S 21440 21442 21330 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496505 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.76
CPU time (s): 1800.15
CPU user time (s): 1799.92
CPU system time (s): 0.228965
CPU usage (%): 99.0856
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9666
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= 37879
involuntary context switches= 94974
runsolver used 2.51962 s user time and 5.54416 s system time
The end
Begin job on node26 on Sat Jan 6 10:57:00 UTC 2007
IDJOB= 229946
IDBENCH= 6379
FILE ID= node26/229946-1168081016
PBS_JOBID= 3476118
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229946-1168081016/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-229946-1168081016 -o ROOT/results/node26/solver-229946-1168081016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229946-1168081016/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0e5b056047fa594473f015771936abbf
RANDOM SEED= 445644937
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.236
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.236
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: 1296664 kB
Buffers: 43056 kB
Cached: 548748 kB
SwapCached: 0 kB
Active: 157492 kB
Inactive: 526540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4288 kB
Writeback: 0 kB
Mapped: 121196 kB
Slab: 59900 kB
Committed_AS: 3595352 kB
PageTables: 2372 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= 66536 MiB
End job on node26 on Sat Jan 6 11:27:19 UTC 2007