0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/200105-1168071920/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=56 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.77 nbConstraints=525 nbRelationTypes=525 nbExtensionStructures=525 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=525 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1078 maxDegree=27
0.77 maxArity=2
0.77 => wckTime=0.453 cpuTime=0.35 mem=20M638
0.82
0.82 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.66 cpuTime=0.48 mem=15M772
0.99
0.99 preprocessing
0.99 nbConstraintChecks=0 nbPropagations=56 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.99 detectedInconsistency=no
0.99 => wckTime=0.011 cpuTime=0.0 mem=15M772
1.04
1.04 search
1.04 run=0 nbConstraintChecks=51729 nbPropagations=581 nbRevisions=6557 nbUselessRevisions=5455 nbAssignments=25
1.04 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=8 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.058 cpuTime=0.03 mem=15M772
1.07
1.07 search
1.07 run=1 nbConstraintChecks=126180 nbPropagations=1999 nbRevisions=24368 nbUselessRevisions=20191
1.07 nbAssignments=65 nbFailedAssignments=16 nbBacktracks=28 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=23
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.088 cpuTime=0.05 mem=15M772
1.09
1.09 search
1.09 run=2 nbConstraintChecks=246747 nbPropagations=4601 nbRevisions=58665 nbUselessRevisions=48263
1.09 nbAssignments=120 nbFailedAssignments=36 nbBacktracks=51 nbVisitedNodes=185 nbRestartNogoods=3 mapSize=44
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.115 cpuTime=0.07 mem=15M772
1.12
1.12 search
1.12 run=3 nbConstraintChecks=384429 nbPropagations=8801 nbRevisions=115984 nbUselessRevisions=95294
1.12 nbAssignments=198 nbFailedAssignments=66 nbBacktracks=84 nbVisitedNodes=315 nbRestartNogoods=8 mapSize=73
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.145 cpuTime=0.1 mem=15M772
1.16
1.16 search
1.16 run=4 nbConstraintChecks=578791 nbPropagations=14886 nbRevisions=200807 nbUselessRevisions=164512
1.16 nbAssignments=284 nbFailedAssignments=91 nbBacktracks=138 nbVisitedNodes=452 nbRestartNogoods=15 mapSize=116
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.184 cpuTime=0.13 mem=15M772
1.21
1.21 search
1.21 run=5 nbConstraintChecks=796192 nbPropagations=23254 nbRevisions=320214 nbUselessRevisions=262104
1.21 nbAssignments=407 nbFailedAssignments=126 nbBacktracks=214 nbVisitedNodes=643 nbRestartNogoods=18 mapSize=165
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.227 cpuTime=0.17 mem=15M772
1.28
1.28 search
1.28 run=6 nbConstraintChecks=1209748 nbPropagations=35921 nbRevisions=506252 nbUselessRevisions=413726
1.28 nbAssignments=607 nbFailedAssignments=199 nbBacktracks=329 nbVisitedNodes=986 nbRestartNogoods=23 mapSize=262
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.299 cpuTime=0.24 mem=15M772
1.39
1.39 search
1.39 run=7 nbConstraintChecks=1858621 nbPropagations=55448 nbRevisions=805231 nbUselessRevisions=658155
1.39 nbAssignments=928 nbFailedAssignments=337 nbBacktracks=499 nbVisitedNodes=1544 nbRestartNogoods=29 mapSize=402
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.412 cpuTime=0.35 mem=15M772
1.54
1.54 search
1.54 run=8 nbConstraintChecks=2721622 nbPropagations=84240 nbRevisions=1248825 nbUselessRevisions=1020336
1.54 nbAssignments=1369 nbFailedAssignments=508 nbBacktracks=757 nbVisitedNodes=2294 nbRestartNogoods=32
1.54 mapSize=612 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.564 cpuTime=0.5 mem=15M772
1.74
1.74 search
1.74 run=9 nbConstraintChecks=3784513 nbPropagations=125601 nbRevisions=1887522 nbUselessRevisions=1543718
1.74 nbAssignments=1999 nbFailedAssignments=740 nbBacktracks=1141 nbVisitedNodes=3363 nbRestartNogoods=36
1.74 mapSize=925 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.758 cpuTime=0.67 mem=15M772
1.82
1.82 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=15M772)
2.06
2.06 search
2.06 run=10 nbConstraintChecks=5973904 nbPropagations=188430 nbRevisions=2871369 nbUselessRevisions=2346325
2.06 nbAssignments=2999 nbFailedAssignments=1155 nbBacktracks=1717 nbVisitedNodes=5091 nbRestartNogoods=44
2.06 => wckTime=1.084 cpuTime=0.99 mem=15M772
2.46
2.46 search
2.46 run=11 nbConstraintChecks=8449736 nbPropagations=280203 nbRevisions=4321638 nbUselessRevisions=3534406
2.46 nbAssignments=4445 nbFailedAssignments=1724 nbBacktracks=2583 nbVisitedNodes=7589 nbRestartNogoods=49
2.46 => wckTime=1.482 cpuTime=1.38 mem=15M772
3.04
3.04 search
3.04 run=12 nbConstraintChecks=12326703 nbPropagations=415169 nbRevisions=6452401 nbUselessRevisions=5280309
3.04 nbAssignments=6557 nbFailedAssignments=2528 nbBacktracks=3883 nbVisitedNodes=11199 nbRestartNogoods=57
3.04 => wckTime=2.065 cpuTime=1.96 mem=15M772
3.96
3.96 search
3.96 run=13 nbConstraintChecks=18634827 nbPropagations=615546 nbRevisions=9646536 nbUselessRevisions=7902760
3.96 nbAssignments=9662 nbFailedAssignments=3677 nbBacktracks=5831 nbVisitedNodes=16451 nbRestartNogoods=64
3.96 => wckTime=2.984 cpuTime=2.87 mem=15M772
5.37
5.37 search
5.37 run=14 nbConstraintChecks=28360898 nbPropagations=917284 nbRevisions=14460945 nbUselessRevisions=11848820
5.37 nbAssignments=14416 nbFailedAssignments=5501 nbBacktracks=8750 nbVisitedNodes=24613 nbRestartNogoods=75
5.37 => wckTime=4.393 cpuTime=4.28 mem=15M772
7.37
7.37 search
7.37 run=15 nbConstraintChecks=42005008 nbPropagations=1362732 nbRevisions=21605310 nbUselessRevisions=17712324
7.37 nbAssignments=21349 nbFailedAssignments=8047 nbBacktracks=13128 nbVisitedNodes=36341 nbRestartNogoods=80
7.37 => wckTime=6.395 cpuTime=6.27 mem=15M772
10.27
10.27 search
10.27 run=16 nbConstraintChecks=61574242 nbPropagations=2020741 nbRevisions=32061456 nbUselessRevisions=26279690
10.27 nbAssignments=31743 nbFailedAssignments=11860 nbBacktracks=19700 nbVisitedNodes=53845 nbRestartNogoods=88
10.27 => wckTime=9.289 cpuTime=9.14 mem=15M772
14.86
14.86 search
14.86 run=17 nbConstraintChecks=93494425 nbPropagations=3011456 nbRevisions=47853296 nbUselessRevisions=39218571
14.86 nbAssignments=47691 nbFailedAssignments=17945 nbBacktracks=29552 nbVisitedNodes=80956 nbRestartNogoods=100
14.86 => wckTime=13.883 cpuTime=13.72 mem=15M772
21.83
21.83 search
21.83 run=18 nbConstraintChecks=140874341 nbPropagations=4506459 nbRevisions=71824538 nbUselessRevisions=58883808
21.83 nbAssignments=71939 nbFailedAssignments=27406 nbBacktracks=44331 nbVisitedNodes=122541 nbRestartNogoods=110
21.83 => wckTime=20.854 cpuTime=20.66 mem=16M747
31.32
31.32 search
31.32 run=19 nbConstraintChecks=202828445 nbPropagations=6708487 nbRevisions=106862612 nbUselessRevisions=87616818
31.32 nbAssignments=106866 nbFailedAssignments=40154 nbBacktracks=66500 nbVisitedNodes=181249 nbRestartNogoods=129
31.32 => wckTime=30.346 cpuTime=30.11 mem=16M747
46.74
46.74 search
46.74 run=20 nbConstraintChecks=309369346 nbPropagations=10015597 nbRevisions=159864896 nbUselessRevisions=131110831
46.74 nbAssignments=160668 nbFailedAssignments=60693 nbBacktracks=99756 nbVisitedNodes=273113 nbRestartNogoods=133
46.74 => wckTime=45.762 cpuTime=45.45 mem=16M747
68.29
68.29 search
68.29 run=21 nbConstraintChecks=453226611 nbPropagations=14911962 nbRevisions=237977911 nbUselessRevisions=195175019
68.29 nbAssignments=239345 nbFailedAssignments=89481 nbBacktracks=149636 nbVisitedNodes=406023 nbRestartNogoods=145
68.29 => wckTime=67.307 cpuTime=66.89 mem=16M747
101.64
101.64 search
101.64 run=22 nbConstraintChecks=677989786 nbPropagations=22271510 nbRevisions=355195724 nbUselessRevisions=291331067
101.64 nbAssignments=356739 nbFailedAssignments=132047 nbBacktracks=224454 nbVisitedNodes=604928 nbRestartNogoods=154
101.64 => wckTime=100.659 cpuTime=100.09 mem=16M747
154.67
154.67 search
154.67 run=23 nbConstraintChecks=1042241431 nbPropagations=33483089 nbRevisions=533907358 nbUselessRevisions=437785794
154.67 nbAssignments=542266 nbFailedAssignments=205336 nbBacktracks=336682 nbVisitedNodes=922859 nbRestartNogoods=169
154.67 => wckTime=153.696 cpuTime=152.87 mem=16M747
230.79
230.79 search
230.79 run=24 nbConstraintChecks=1549939822 nbPropagations=50254135 nbRevisions=803412313 nbUselessRevisions=659268812
230.79 nbAssignments=812704 nbFailedAssignments=307422 nbBacktracks=505024 nbVisitedNodes=1385997 nbRestartNogoods=177
230.79 => wckTime=229.811 cpuTime=228.63 mem=16M747
350.71
350.71 search
350.71 run=25 nbConstraintChecks=2400132070 nbPropagations=75557278 nbRevisions=1209605063
350.71 nbUselessRevisions=992411425 nbAssignments=1217475 nbFailedAssignments=459668 nbBacktracks=757536
350.71 nbVisitedNodes=2075177 nbRestartNogoods=192
350.71 => wckTime=349.729 cpuTime=347.99 mem=16M747
524.54
524.54 search
524.54 run=26 nbConstraintChecks=3585071010 nbPropagations=113474279 nbRevisions=1819065218
524.54 nbUselessRevisions=1492644722 nbAssignments=1821211 nbFailedAssignments=684627 nbBacktracks=1136303
524.54 nbVisitedNodes=3100142 nbRestartNogoods=210
524.54 => wckTime=523.562 cpuTime=521.01 mem=16M747
801.82
801.82 search
801.82 run=27 nbConstraintChecks=5451861176 nbPropagations=170489262 nbRevisions=2735736541
801.82 nbUselessRevisions=2244289414 nbAssignments=2730382 nbFailedAssignments=1025638 nbBacktracks=1704454
801.82 nbVisitedNodes=4644649 nbRestartNogoods=233
801.82 => wckTime=800.844 cpuTime=796.99 mem=16M747
1191.68
1191.68 search
1191.68 run=28 nbConstraintChecks=8014234443 nbPropagations=254913893 nbRevisions=4089656632
1191.68 nbUselessRevisions=3354647361 nbAssignments=4064677 nbFailedAssignments=1507696 nbBacktracks=2556680
1191.68 nbVisitedNodes=6883884 nbRestartNogoods=246
1191.68 => wckTime=1190.702 cpuTime=1185.32 mem=16M747
1794.17
1794.17 search
1794.17 run=29 nbConstraintChecks=12126461205 nbPropagations=381151761 nbRevisions=6113350532
1794.17 nbUselessRevisions=5013162035 nbAssignments=6062658 nbFailedAssignments=2227324 nbBacktracks=3835022
1794.17 nbVisitedNodes=10247800 nbRestartNogoods=268
1794.17 => wckTime=1793.195 cpuTime=1787.66 mem=16M747
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-200105-1168071920 -o ROOT/results/node24/solver-200105-1168071920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200105-1168071920/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=18540 CPUtime=0
/proc/15267/stat : 15267 (runsolver) R 15264 15267 15161 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155587326 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15267/statm: 4635 279 244 17 0 2626 0
[startup+0.107994 s]
/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=914988 CPUtime=0.08
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 155587326 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517039 s]
/proc/loadavg: 0.92 0.98 1.01 5/83 15268
/proc/meminfo: memFree=1820840/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915328 CPUtime=0.49
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 7080 0 1 0 45 4 0 0 18 0 8 0 155587326 937295872 6819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073567214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228832 6821 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34612 s]
/proc/loadavg: 1.09 1.02 1.02 4/100 15285
/proc/meminfo: memFree=1758368/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1.31
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10500 0 1 0 124 7 0 0 24 0 8 0 155587326 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10238 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 17 0 8 0 155587330 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.23
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10238 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) 915544
[startup+2.9943 s]
/proc/loadavg: 1.09 1.02 1.02 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=2.95
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10517 0 1 0 288 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 17 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 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) 915544
[startup+6.27365 s]
/proc/loadavg: 1.16 1.03 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=6.21
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 614 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915544
[startup+12.7593 s]
/proc/loadavg: 1.23 1.05 1.03 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=12.67
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 1260 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915544
[startup+25.6067 s]
/proc/loadavg: 1.34 1.08 1.04 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=25.45
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10518 0 1 0 2538 7 0 0 25 0 8 0 155587326 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10254 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915544
[startup+51.2085 s]
/proc/loadavg: 1.60 1.17 1.07 3/100 15285
/proc/meminfo: memFree=1758240/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=50.93
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10520 0 1 0 5086 7 0 0 25 0 8 0 155587326 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10255 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915544
[startup+102.511 s]
/proc/loadavg: 1.83 1.29 1.12 3/100 15285
/proc/meminfo: memFree=1758176/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=102
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10521 0 1 0 10192 8 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915544
[startup+162.553 s]
/proc/loadavg: 1.93 1.42 1.17 3/100 15285
/proc/meminfo: memFree=1758112/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=161.76
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10521 0 1 0 16168 8 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.07
Current children cumulated vsize (KiB) 915544
[startup+1483.47 s]
/proc/loadavg: 2.08 2.00 1.78 3/100 15285
/proc/meminfo: memFree=1757280/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1478.1
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 147793 17 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.1
Current children cumulated vsize (KiB) 915544
[startup+1543.51 s]
/proc/loadavg: 2.03 2.00 1.79 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1538.13
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 153795 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.13
Current children cumulated vsize (KiB) 915544
[startup+1603.55 s]
/proc/loadavg: 2.01 2.00 1.80 3/100 15285
/proc/meminfo: memFree=1757216/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1598.15
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 159797 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.15
Current children cumulated vsize (KiB) 915544
[startup+1663.59 s]
/proc/loadavg: 2.00 2.00 1.81 4/100 15285
/proc/meminfo: memFree=1757152/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1658.18
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 165800 18 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073879612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.18
Current children cumulated vsize (KiB) 915544
[startup+1723.64 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1718.21
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 171802 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.21
Current children cumulated vsize (KiB) 915544
[startup+1783.68 s]
/proc/loadavg: 2.00 2.00 1.83 3/100 15285
/proc/meminfo: memFree=1757088/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1778.23
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 177804 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.23
Current children cumulated vsize (KiB) 915544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.47 s]
/proc/loadavg: 2.00 2.00 1.83 3/100 15285
/proc/meminfo: memFree=1757024/2055920 swapFree=4192812/4192956
[pid=15267] ppid=15264 vsize=915544 CPUtime=1800.02
/proc/15267/stat : 15267 (java) R 15264 15267 15161 0 -1 0 10522 0 1 0 179983 19 0 0 25 0 8 0 155587326 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843183 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15267/statm: 228886 10256 2513 14 0 215356 0
[pid=15267/tid=15272] ppid=15264 vsize=915544 CPUtime=0.04
/proc/15267/task/15272/stat : 15272 (java) S 15264 15267 15161 0 -1 64 500 0 0 0 4 0 0 0 16 0 8 0 155587330 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15274] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15274/stat : 15274 (java) S 15264 15267 15161 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15275] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15275/stat : 15275 (java) S 15264 15267 15161 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155587331 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15278] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15278/stat : 15278 (java) S 15264 15267 15161 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15279] ppid=15264 vsize=915544 CPUtime=0.27
/proc/15267/task/15279/stat : 15279 (java) S 15264 15267 15161 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15267/tid=15280] ppid=15264 vsize=915544 CPUtime=0
/proc/15267/task/15280/stat : 15280 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15267/tid=15281] ppid=15264 vsize=915544 CPUtime=0.01
/proc/15267/task/15281/stat : 15281 (java) S 15264 15267 15161 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 155587334 937517056 10256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.54
CPU time (s): 1800.1
CPU user time (s): 1799.9
CPU system time (s): 0.205968
CPU usage (%): 99.6987
Max. virtual memory (cumulated for all children) (KiB): 915544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10540
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= 37751
involuntary context switches= 63172
runsolver used 2.08968 s user time and 5.04023 s system time
The end
Begin job on node24 on Sat Jan 6 08:25:21 UTC 2007
IDJOB= 200105
IDBENCH= 3689
FILE ID= node24/200105-1168071920
PBS_JOBID= 3475965
Free space on /tmp= 66463 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200105-1168071920/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-200105-1168071920 -o ROOT/results/node24/solver-200105-1168071920 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200105-1168071920/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1fed75a50fd9dbe0fff4ac0aa56697fe
RANDOM SEED= 494013449
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.234
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.234
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: 1821312 kB
Buffers: 18896 kB
Cached: 90516 kB
SwapCached: 0 kB
Active: 114140 kB
Inactive: 52856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1821312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4652 kB
Writeback: 0 kB
Mapped: 76544 kB
Slab: 52484 kB
Committed_AS: 2855432 kB
PageTables: 2316 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= 66463 MiB
End job on node24 on Sat Jan 6 08:55:26 UTC 2007