0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/237644-1168349744/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.62 nbVariables=2401 nbDomainTypes=1 minDomainSize=49 maxDomainSize=49
0.62 => wckTime=0.283 cpuTime=0.2 mem=13M723
0.62
0.62 predicates being loaded...
0.62
0.62 constraints being loaded...
7.17 nbConstraints=57672 nbConvertedConstraints=57672 nbConvertConstraintsChecks=9604 nbExtensionStructures=4
7.17 nbSharedExtensionStructures=57668 nbConflictsStructures=4 nbSharedConflictsStructures=57668
7.17 nbSharedBinaryRepresentations=293 maxDegree=49 maxArity=2
7.17 => wckTime=6.838 cpuTime=6.0 mem=76M520
7.51
7.51 solver IterativeSystematicSolver being built...
7.83 => wckTime=7.501 cpuTime=6.25 mem=74M572
11.38
11.38 preprocessing
11.38 nbConstraintChecks=2437849 nbPropagations=74603 nbRevisions=76260 nbUselessRevisions=5825 nbSingletonTests=2724
11.38 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
11.38 => wckTime=3.522 cpuTime=3.46 mem=74M572
12.14
12.14 search
12.14 run=0 nbConstraintChecks=237860 nbPropagations=80693 nbRevisions=82368 nbUselessRevisions=5931
12.14 nbAssignments=159 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=178 nbRestartNogoods=0 mapSize=10
12.14 nbInferences=0 nbTooLargeKeys=0
12.14 => wckTime=4.294 cpuTime=4.22 mem=77M764
12.54
12.54 search
12.54 run=1 nbConstraintChecks=467822 nbPropagations=167388 nbRevisions=170764 nbUselessRevisions=11960
12.54 nbAssignments=326 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=371 nbRestartNogoods=3 mapSize=24
12.54 nbInferences=0 nbTooLargeKeys=0
12.54 => wckTime=4.697 cpuTime=4.61 mem=79M772
12.95
12.95 search
12.95 run=2 nbConstraintChecks=698060 nbPropagations=260158 nbRevisions=265271 nbUselessRevisions=18093
12.95 nbAssignments=507 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=592 nbRestartNogoods=5 mapSize=46
12.95 nbInferences=0 nbTooLargeKeys=0
12.95 => wckTime=5.105 cpuTime=5.02 mem=81M469
13.39
13.39 search
13.39 run=3 nbConstraintChecks=928678 nbPropagations=359085 nbRevisions=365971 nbUselessRevisions=24332
13.39 nbAssignments=707 nbFailedAssignments=69 nbBacktracks=80 nbVisitedNodes=847 nbRestartNogoods=10 mapSize=79
13.39 nbInferences=1 nbTooLargeKeys=0
13.39 => wckTime=5.543 cpuTime=5.45 mem=83M985
13.87
13.87 search
13.87 run=4 nbConstraintChecks=1159707 nbPropagations=464303 nbRevisions=472992 nbUselessRevisions=30677
13.87 nbAssignments=937 nbFailedAssignments=106 nbBacktracks=131 nbVisitedNodes=1156 nbRestartNogoods=14 mapSize=130
13.87 nbInferences=6 nbTooLargeKeys=0
13.87 => wckTime=6.021 cpuTime=5.92 mem=86M868
14.41
14.41 search
14.41 run=5 nbConstraintChecks=1391510 nbPropagations=576041 nbRevisions=586540 nbUselessRevisions=37129
14.41 nbAssignments=1215 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=1549 nbRestartNogoods=18
14.41 mapSize=205 nbInferences=23 nbTooLargeKeys=0
14.41 => wckTime=6.56 cpuTime=6.46 mem=90M883
15.04
15.04 search
15.04 run=6 nbConstraintChecks=1624193 nbPropagations=694619 nbRevisions=706926 nbUselessRevisions=43690
15.04 nbAssignments=1564 nbFailedAssignments=230 nbBacktracks=320 nbVisitedNodes=2070 nbRestartNogoods=20
15.04 mapSize=319 nbInferences=45 nbTooLargeKeys=0
15.04 => wckTime=7.2 cpuTime=7.08 mem=94M899
15.85
15.85 search
15.85 run=7 nbConstraintChecks=1858293 nbPropagations=820537 nbRevisions=834611 nbUselessRevisions=50362
15.85 nbAssignments=2022 nbFailedAssignments=337 nbBacktracks=490 nbVisitedNodes=2784 nbRestartNogoods=26
15.85 mapSize=489 nbInferences=87 nbTooLargeKeys=0
15.85 => wckTime=8.003 cpuTime=7.86 mem=66M281
16.87
16.87 search
16.87 run=8 nbConstraintChecks=2094570 nbPropagations=954578 nbRevisions=970301 nbUselessRevisions=57149
16.87 nbAssignments=2650 nbFailedAssignments=488 nbBacktracks=746 nbVisitedNodes=3797 nbRestartNogoods=34
16.87 mapSize=745 nbInferences=170 nbTooLargeKeys=0
16.87 => wckTime=9.022 cpuTime=8.87 mem=74M556
18.26
18.26 search
18.26 run=9 nbConstraintChecks=2334405 nbPropagations=1098025 nbRevisions=1115134 nbUselessRevisions=64053
18.26 nbAssignments=3547 nbFailedAssignments=706 nbBacktracks=1130 nbVisitedNodes=5286 nbRestartNogoods=41
18.26 mapSize=1129 nbInferences=326 nbTooLargeKeys=0
18.26 => wckTime=10.415 cpuTime=10.25 mem=87M567
20.26
20.26 search
20.26 run=10 nbConstraintChecks=2579489 nbPropagations=1252878 nbRevisions=1270825 nbUselessRevisions=71076
20.26 nbAssignments=4871 nbFailedAssignments=1016 nbBacktracks=1707 nbVisitedNodes=7531 nbRestartNogoods=46
20.26 mapSize=1706 nbInferences=627 nbTooLargeKeys=0
20.26 => wckTime=12.418 cpuTime=12.23 mem=106M412
23.36
23.36 search
23.36 run=11 nbConstraintChecks=2834751 nbPropagations=1422674 nbRevisions=1440468 nbUselessRevisions=78337
23.36 nbAssignments=6910 nbFailedAssignments=1433 nbBacktracks=2571 nbVisitedNodes=11024 nbRestartNogoods=49
23.36 mapSize=2570 nbInferences=1247 nbTooLargeKeys=0
23.36 => wckTime=15.511 cpuTime=15.26 mem=118M854
28.74
28.74 search
28.74 run=12 nbConstraintChecks=3566460 nbPropagations=1625715 nbRevisions=1641015 nbUselessRevisions=86052
28.74 nbAssignments=10472 nbFailedAssignments=1976 nbBacktracks=3868 nbVisitedNodes=16708 nbRestartNogoods=65
28.74 mapSize=3867 nbInferences=2559 nbTooLargeKeys=0
28.74 => wckTime=20.896 cpuTime=20.56 mem=153M507
36.39
36.39 search
36.39 run=13 nbConstraintChecks=3867271 nbPropagations=1859180 nbRevisions=1867881 nbUselessRevisions=94042
36.39 nbAssignments=15514 nbFailedAssignments=2740 nbBacktracks=5814 nbVisitedNodes=25473 nbRestartNogoods=67
36.39 mapSize=5813 nbInferences=4754 nbTooLargeKeys=0
36.39 => wckTime=28.547 cpuTime=28.09 mem=186M649
49.86
49.86 search
49.86 run=14 nbConstraintChecks=4466580 nbPropagations=2149068 nbRevisions=2142593 nbUselessRevisions=102588
49.86 nbAssignments=24155 nbFailedAssignments=3660 nbBacktracks=8734 nbVisitedNodes=40342 nbRestartNogoods=76
49.86 mapSize=8733 nbInferences=9280 nbTooLargeKeys=0
49.86 => wckTime=42.014 cpuTime=41.38 mem=256M631
70.91
70.91 search
70.91 run=15 nbConstraintChecks=4927760 nbPropagations=2516031 nbRevisions=2480325 nbUselessRevisions=111930
70.91 nbAssignments=37362 nbFailedAssignments=4920 nbBacktracks=13112 nbVisitedNodes=63501 nbRestartNogoods=81
70.91 mapSize=13111 nbInferences=16712 nbTooLargeKeys=0
70.91 => wckTime=63.067 cpuTime=62.16 mem=343M693
94.63
94.63 search
94.63 run=16 nbConstraintChecks=6067304 nbPropagations=2985635 nbRevisions=2907494 nbUselessRevisions=121885
94.63 nbAssignments=53993 nbFailedAssignments=7668 nbBacktracks=19680 nbVisitedNodes=92005 nbRestartNogoods=99
94.63 mapSize=19672 nbInferences=23496 nbTooLargeKeys=0
94.63 => wckTime=86.781 cpuTime=85.54 mem=470M639
120.36
120.36 INFO : Stopping hyperNogood (mapSize=26833, nbTooLargekeys=0, mem=601M42)
123.28
123.28 search
123.28 run=17 nbConstraintChecks=7009856 nbPropagations=3579395 nbRevisions=3443936 nbUselessRevisions=132195
123.28 nbAssignments=76592 nbFailedAssignments=12504 nbBacktracks=29532 nbVisitedNodes=131572 nbRestartNogoods=112
123.28 => wckTime=115.435 cpuTime=113.77 mem=601M42
136.45
136.45 search
136.45 run=18 nbConstraintChecks=7932012 nbPropagations=4297034 nbRevisions=4106539 nbUselessRevisions=144725
136.45 nbAssignments=101536 nbFailedAssignments=22624 nbBacktracks=44313 nbVisitedNodes=176756 nbRestartNogoods=121
136.45 => wckTime=128.61 cpuTime=126.89 mem=601M42
156.23
156.23 search
156.23 run=19 nbConstraintChecks=8603766 nbPropagations=5187958 nbRevisions=4944030 nbUselessRevisions=158385
156.23 nbAssignments=139107 nbFailedAssignments=37981 nbBacktracks=66483 nbVisitedNodes=245041 nbRestartNogoods=129
156.23 => wckTime=148.385 cpuTime=146.59 mem=601M42
192.39
192.39 search
192.39 run=20 nbConstraintChecks=9816919 nbPropagations=6341516 nbRevisions=6045763 nbUselessRevisions=173679
192.39 nbAssignments=195219 nbFailedAssignments=60655 nbBacktracks=99735 nbVisitedNodes=346500 nbRestartNogoods=143
192.39 => wckTime=184.546 cpuTime=182.59 mem=601M42
247.50
247.50 search
247.50 run=21 nbConstraintChecks=11644067 nbPropagations=7891643 nbRevisions=7545792 nbUselessRevisions=190689
247.50 nbAssignments=279721 nbFailedAssignments=95001 nbBacktracks=149613 nbVisitedNodes=499600 nbRestartNogoods=169
247.50 => wckTime=239.653 cpuTime=237.44 mem=601M42
329.16
329.16 search
329.16 run=22 nbConstraintChecks=13674945 nbPropagations=10022030 nbRevisions=9627253 nbUselessRevisions=208961
329.16 nbAssignments=406563 nbFailedAssignments=146731 nbBacktracks=224431 nbVisitedNodes=729793 nbRestartNogoods=183
329.16 => wckTime=321.32 cpuTime=318.72 mem=601M42
454.06
454.06 search
454.06 run=23 nbConstraintChecks=16292157 nbPropagations=13012226 nbRevisions=12569724 nbUselessRevisions=228416
454.06 nbAssignments=596715 nbFailedAssignments=224471 nbBacktracks=336659 nbVisitedNodes=1075425 nbRestartNogoods=204
454.06 => wckTime=446.215 cpuTime=443.05 mem=601M42
637.42
637.42 search
637.42 run=24 nbConstraintChecks=19968256 nbPropagations=17285596 nbRevisions=16796383 nbUselessRevisions=248864
637.42 nbAssignments=881726 nbFailedAssignments=340957 nbBacktracks=505000 nbVisitedNodes=1593407 nbRestartNogoods=219
637.42 => wckTime=629.579 cpuTime=625.57 mem=601M42
916.16
916.17 search
916.17 run=25 nbConstraintChecks=25376106 nbPropagations=23473659 nbRevisions=22940040 nbUselessRevisions=271719
916.17 nbAssignments=1307600 nbFailedAssignments=514010 nbBacktracks=757511 nbVisitedNodes=2365261
916.17 nbRestartNogoods=244
916.17 => wckTime=908.32 cpuTime=903.02 mem=601M42
1331.67
1331.67 search
1331.67 run=26 nbConstraintChecks=33517304 nbPropagations=32536318 nbRevisions=31962336 nbUselessRevisions=298711
1331.67 nbAssignments=1947160 nbFailedAssignments=774497 nbBacktracks=1136278 nbVisitedNodes=3525673
1331.67 nbRestartNogoods=268
1331.67 => wckTime=1323.821 cpuTime=1316.47 mem=601M42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-237644-1168349744 -o ROOT/results/node14/solver-237644-1168349744 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237644-1168349744/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.86 1.97 1.99 4/87 7139
/proc/meminfo: memFree=1733192/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=9748 CPUtime=0
/proc/7138/stat : 7138 (java) D 7136 7138 7071 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 183369339 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6927140 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7138/statm: 2487 472 386 14 0 1142 0
[startup+0.103344 s]
/proc/loadavg: 1.86 1.97 1.99 4/87 7139
/proc/meminfo: memFree=1733192/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=911488 CPUtime=0.06
/proc/7138/stat : 7138 (java) D 7136 7138 7071 0 -1 0 2636 0 1 0 5 1 0 0 20 0 8 0 183369339 933363712 2383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 227872 2383 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511386 s]
/proc/loadavg: 1.86 1.97 1.99 4/87 7139
/proc/meminfo: memFree=1733192/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915328 CPUtime=0.47
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 6534 0 1 0 42 5 0 0 18 0 8 0 183369339 937295872 6273 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228832 6273 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33446 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 7146
/proc/meminfo: memFree=1668752/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915644 CPUtime=1.28
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 18463 0 1 0 116 12 0 0 24 0 8 0 183369339 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073576831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228911 18201 2160 14 0 215381 0
[pid=7138/tid=7140] ppid=7136 vsize=915644 CPUtime=0.06
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 1924 0 0 0 5 1 0 0 17 0 8 0 183369343 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915644 CPUtime=0.15
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 405 0 0 0 15 0 0 0 15 0 8 0 183369346 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937619456 18201 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915644
[startup+2.98762 s]
/proc/loadavg: 1.86 1.97 1.99 3/94 7146
/proc/meminfo: memFree=1654864/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915648 CPUtime=2.93
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 23110 0 1 0 260 33 0 0 25 0 8 0 183369339 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228912 22845 2180 14 0 215382 0
[pid=7138/tid=7140] ppid=7136 vsize=915648 CPUtime=0.28
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 6483 0 0 0 25 3 0 0 16 0 8 0 183369343 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915648 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915648 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915648 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915648 CPUtime=0.2
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 183369346 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915648 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915648 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937623552 22845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648
[startup+6.26993 s]
/proc/loadavg: 1.95 1.98 1.99 4/94 7146
/proc/meminfo: memFree=1641552/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915644 CPUtime=6.17
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 28291 0 1 0 416 201 0 0 25 0 8 0 183369339 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073900953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228911 28023 2180 14 0 215381 0
[pid=7138/tid=7140] ppid=7136 vsize=915644 CPUtime=0.6
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 11659 0 0 0 55 5 0 0 17 0 8 0 183369343 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915644 CPUtime=0.2
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 432 0 0 0 19 1 0 0 16 0 8 0 183369346 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915644 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937619456 28023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915644
[startup+12.6853 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 7146
/proc/meminfo: memFree=1616216/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=12.56
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 32045 0 1 0 1004 252 0 0 25 0 8 0 183369339 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074129790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 31713 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=0.93
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 14838 0 0 0 87 6 0 0 17 0 8 0 183369343 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.35
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 546 0 0 0 33 2 0 0 16 0 8 0 183369346 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 31713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915892
[startup+25.5296 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 7146
/proc/meminfo: memFree=1581976/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=25.33
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 40645 0 1 0 2278 255 0 0 25 0 8 0 183369339 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074223095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 40305 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.01
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 23412 0 0 0 92 9 0 0 16 0 8 0 183369343 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.39
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 565 0 0 0 37 2 0 0 16 0 8 0 183369346 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 40305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915892
[startup+51.138 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 7146
/proc/meminfo: memFree=1450712/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=50.82
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 73419 0 1 0 4813 269 0 0 25 0 8 0 183369339 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 73073 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.26
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 56180 0 0 0 104 22 0 0 16 0 8 0 183369343 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.39
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 565 0 0 0 37 2 0 0 16 0 8 0 183369346 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 73073 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915892
[startup+102.35 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 7146
/proc/meminfo: memFree=1202136/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=101.8
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 135443 0 1 0 9886 294 0 0 25 0 8 0 183369339 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074215127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 135085 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.76
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 118191 0 0 0 129 47 0 0 16 0 8 0 183369343 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 566 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 135085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 915892
[startup+162.401 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 7146
/proc/meminfo: memFree=1111576/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=161.59
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158036 0 1 0 15855 304 0 0 25 0 8 0 183369339 937873408 157673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074149984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.86
Current children cumulated vsize (KiB) 915892
[startup+1483.68 s]
/proc/loadavg: 2.00 2.01 2.00 3/96 7148
/proc/meminfo: memFree=879496/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1476.64
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 147349 315 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.64
Current children cumulated vsize (KiB) 915892
[startup+1543.74 s]
/proc/loadavg: 2.06 2.02 2.00 3/102 7256
/proc/meminfo: memFree=877896/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1536.32
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 153316 316 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.32
Current children cumulated vsize (KiB) 915892
[startup+1603.82 s]
/proc/loadavg: 2.02 2.01 2.00 2/94 7323
/proc/meminfo: memFree=1191960/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1596.04
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 159288 316 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.04
Current children cumulated vsize (KiB) 915892
[startup+1663.83 s]
/proc/loadavg: 2.24 2.08 2.02 3/105 7402
/proc/meminfo: memFree=572160/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1655.14
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 165186 328 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074215144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.14
Current children cumulated vsize (KiB) 915892
[startup+1723.93 s]
/proc/loadavg: 2.09 2.06 2.02 3/105 7402
/proc/meminfo: memFree=540032/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1714.96
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 171167 329 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074172945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.96
Current children cumulated vsize (KiB) 915892
[startup+1784.01 s]
/proc/loadavg: 2.03 2.05 2.01 3/105 7402
/proc/meminfo: memFree=490112/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1774.64
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 177135 329 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074209076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.64
Current children cumulated vsize (KiB) 915892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.63 s]
/proc/loadavg: 2.02 2.05 2.01 5/91 7643
/proc/meminfo: memFree=1180840/2055920 swapFree=4158768/4192956
[pid=7138] ppid=7136 vsize=915892 CPUtime=1800.03
/proc/7138/stat : 7138 (java) R 7136 7138 7071 0 -1 0 158037 0 1 0 179671 332 0 0 25 0 8 0 183369339 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074125927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7138/statm: 228973 157674 2545 14 0 215443 0
[pid=7138/tid=7140] ppid=7136 vsize=915892 CPUtime=1.94
/proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7071 0 -1 64 140779 0 0 0 138 56 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7141] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7071 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7142] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7071 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183369343 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7143] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7071 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7144] ppid=7136 vsize=915892 CPUtime=0.4
/proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7071 0 -1 64 567 0 0 0 38 2 0 0 16 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7145] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7138/tid=7146] ppid=7136 vsize=915892 CPUtime=0
/proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7071 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183369346 937873408 157674 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.79
CPU time (s): 1800.19
CPU user time (s): 1796.77
CPU system time (s): 3.41948
CPU usage (%): 99.4694
Max. virtual memory (cumulated for all children) (KiB): 915896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.77
system time used= 3.41948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158055
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= 38552
involuntary context switches= 62113
runsolver used 2.18167 s user time and 5.84411 s system time
The end
Begin job on node14 on Tue Jan 9 13:35:44 UTC 2007
IDJOB= 237644
IDBENCH= 6954
FILE ID= node14/237644-1168349744
PBS_JOBID= 3503669
Free space on /tmp= 66539 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_49.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237644-1168349744/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-237644-1168349744 -o ROOT/results/node14/solver-237644-1168349744 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237644-1168349744/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cfa08dc252192b52b2d0f49efc22ee50
RANDOM SEED= 878127300
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.227
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.227
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: 1733608 kB
Buffers: 17016 kB
Cached: 138560 kB
SwapCached: 2728 kB
Active: 186176 kB
Inactive: 80868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733608 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 9164 kB
Writeback: 0 kB
Mapped: 119760 kB
Slab: 39856 kB
Committed_AS: 6368664 kB
PageTables: 2432 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= 66542 MiB
End job on node14 on Tue Jan 9 14:05:54 UTC 2007