0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/203066-1168155879/unknown.xml
0.41
0.42 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.45 => wckTime=0.098 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
1.55
1.55 constraints being loaded...
2.29 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.29 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.29 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.29 => wckTime=1.935 cpuTime=1.54 mem=58M53
2.45
2.45 solver IterativeSystematicSolver being built...
2.62 => wckTime=2.263 cpuTime=1.69 mem=65M618
2.76
2.76 preprocessing
2.76 nbConstraintChecks=47897 nbValidityChecks=78049 nbPropagations=242 nbRevisions=2520 nbUselessRevisions=2230
2.76 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.76 => wckTime=0.135 cpuTime=0.1 mem=65M618
2.85
2.85 search
2.85 run=0 nbConstraintChecks=46587 nbValidityChecks=89014 nbPropagations=594 nbRevisions=6755
2.85 nbUselessRevisions=5624 nbAssignments=37 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=64
2.85 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=0.232 cpuTime=0.19 mem=66M626
2.96
2.96 search
2.96 run=1 nbConstraintChecks=98496 nbValidityChecks=194443 nbPropagations=1711 nbRevisions=19792
2.96 nbUselessRevisions=16337 nbAssignments=84 nbFailedAssignments=39 nbBacktracks=26 nbVisitedNodes=138
2.96 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.335 cpuTime=0.29 mem=66M626
3.16
3.16 search
3.16 run=2 nbConstraintChecks=206327 nbValidityChecks=448187 nbPropagations=3954 nbRevisions=46271
3.16 nbUselessRevisions=37892 nbAssignments=181 nbFailedAssignments=72 nbBacktracks=49 nbVisitedNodes=249
3.16 nbRestartNogoods=8 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=0.543 cpuTime=0.48 mem=66M626
3.42
3.42 search
3.42 run=3 nbConstraintChecks=354873 nbValidityChecks=744353 nbPropagations=7692 nbRevisions=90963
3.42 nbUselessRevisions=73593 nbAssignments=294 nbFailedAssignments=144 nbBacktracks=82 nbVisitedNodes=458
3.42 nbRestartNogoods=10 mapSize=69 nbInferences=0 nbTooLargeKeys=0
3.42 => wckTime=0.802 cpuTime=0.74 mem=66M626
3.75
3.75 search
3.75 run=4 nbConstraintChecks=545828 nbValidityChecks=1163909 nbPropagations=13497 nbRevisions=161696
3.75 nbUselessRevisions=130158 nbAssignments=461 nbFailedAssignments=225 nbBacktracks=132 nbVisitedNodes=717
3.75 nbRestartNogoods=22 mapSize=116 nbInferences=0 nbTooLargeKeys=0
3.75 => wckTime=1.131 cpuTime=1.07 mem=66M626
4.08
4.08 search
4.08 run=5 nbConstraintChecks=735066 nbValidityChecks=1550001 nbPropagations=21323 nbRevisions=256459
4.08 nbUselessRevisions=205726 nbAssignments=620 nbFailedAssignments=302 nbBacktracks=207 nbVisitedNodes=997
4.08 nbRestartNogoods=30 mapSize=180 nbInferences=0 nbTooLargeKeys=0
4.08 => wckTime=1.459 cpuTime=1.39 mem=66M626
4.49
4.49 search
4.49 run=6 nbConstraintChecks=977306 nbValidityChecks=2036670 nbPropagations=31639 nbRevisions=381494
4.49 nbUselessRevisions=305508 nbAssignments=831 nbFailedAssignments=392 nbBacktracks=320 nbVisitedNodes=1345
4.49 nbRestartNogoods=33 mapSize=258 nbInferences=0 nbTooLargeKeys=0
4.49 => wckTime=1.873 cpuTime=1.81 mem=66M626
5.38
5.38 search
5.38 run=7 nbConstraintChecks=1504329 nbValidityChecks=3142545 nbPropagations=47301 nbRevisions=574871
5.38 nbUselessRevisions=459835 nbAssignments=1296 nbFailedAssignments=669 nbBacktracks=490 nbVisitedNodes=2179
5.38 nbRestartNogoods=39 mapSize=387 nbInferences=0 nbTooLargeKeys=0
5.38 => wckTime=2.758 cpuTime=2.69 mem=66M626
6.28
6.28 search
6.29 run=8 nbConstraintChecks=2029941 nbValidityChecks=4208156 nbPropagations=69094 nbRevisions=840706
6.29 nbUselessRevisions=671617 nbAssignments=1779 nbFailedAssignments=888 nbBacktracks=746 nbVisitedNodes=3024
6.29 nbRestartNogoods=47 mapSize=592 nbInferences=0 nbTooLargeKeys=0
6.29 => wckTime=3.665 cpuTime=3.57 mem=66M626
7.79
7.79 search
7.79 run=9 nbConstraintChecks=2944123 nbValidityChecks=6038947 nbPropagations=100911 nbRevisions=1228152
7.79 nbUselessRevisions=980037 nbAssignments=2572 nbFailedAssignments=1289 nbBacktracks=1131 nbVisitedNodes=4436
7.79 nbRestartNogoods=57 mapSize=904 nbInferences=0 nbTooLargeKeys=0
7.79 => wckTime=5.172 cpuTime=5.07 mem=66M626
8.53
8.53 INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=66M626)
10.33
10.33 search
10.33 run=10 nbConstraintChecks=4499201 nbValidityChecks=9264553 nbPropagations=149770 nbRevisions=1829551
10.33 nbUselessRevisions=1456891 nbAssignments=3847 nbFailedAssignments=1981 nbBacktracks=1707 nbVisitedNodes=6764
10.33 nbRestartNogoods=62
10.33 => wckTime=7.708 cpuTime=7.6 mem=66M626
14.72
14.72 search
14.72 run=11 nbConstraintChecks=7170045 nbValidityChecks=14727478 nbPropagations=227014 nbRevisions=2770326
14.72 nbUselessRevisions=2199440 nbAssignments=6021 nbFailedAssignments=3281 nbBacktracks=2572 nbVisitedNodes=10801
14.72 nbRestartNogoods=69
14.72 => wckTime=12.098 cpuTime=11.98 mem=66M626
20.03
20.03 search
20.03 run=12 nbConstraintChecks=10384122 nbValidityChecks=21285991 nbPropagations=338627 nbRevisions=4144194
20.03 nbUselessRevisions=3287082 nbAssignments=8722 nbFailedAssignments=4644 nbBacktracks=3869 nbVisitedNodes=15574
20.03 nbRestartNogoods=84
20.03 => wckTime=17.409 cpuTime=17.29 mem=66M626
28.15
28.15 search
28.15 run=13 nbConstraintChecks=15376707 nbValidityChecks=31609629 nbPropagations=506525 nbRevisions=6199606
28.15 nbUselessRevisions=4910004 nbAssignments=12914 nbFailedAssignments=6882 nbBacktracks=5815 nbVisitedNodes=23191
28.15 nbRestartNogoods=96
28.15 => wckTime=25.526 cpuTime=25.41 mem=66M626
45.10
45.10 search
45.10 run=14 nbConstraintChecks=25691921 nbValidityChecks=53082226 nbPropagations=787820 nbRevisions=9547637
45.10 nbUselessRevisions=7529753 nbAssignments=20782 nbFailedAssignments=11824 nbBacktracks=8734 nbVisitedNodes=38187
45.10 nbRestartNogoods=109
45.10 => wckTime=42.484 cpuTime=42.34 mem=66M626
60.60
60.60 search
60.60 run=15 nbConstraintChecks=35117748 nbValidityChecks=72160145 nbPropagations=1172659 nbRevisions=14177557
60.60 nbUselessRevisions=11174633 nbAssignments=29130 nbFailedAssignments=15785 nbBacktracks=13117
60.60 nbVisitedNodes=52759 nbRestartNogoods=116
60.60 => wckTime=57.978 cpuTime=57.82 mem=66M626
93.59
93.59 search
93.59 run=16 nbConstraintChecks=55765321 nbValidityChecks=114516167 nbPropagations=1773966 nbRevisions=21463758
93.59 nbUselessRevisions=16900539 nbAssignments=45026 nbFailedAssignments=25104 nbBacktracks=19686
93.59 nbVisitedNodes=82139 nbRestartNogoods=129
93.59 => wckTime=90.965 cpuTime=90.77 mem=66M626
144.76
144.76 search
144.76 run=17 nbConstraintChecks=86775619 nbValidityChecks=178724237 nbPropagations=2713233 nbRevisions=32728591
144.76 nbUselessRevisions=25729803 nbAssignments=69355 nbFailedAssignments=39573 nbBacktracks=29540
144.76 nbVisitedNodes=127722 nbRestartNogoods=148
144.76 => wckTime=142.141 cpuTime=141.88 mem=66M626
201.14
201.14 search
201.14 run=18 nbConstraintChecks=121020047 nbValidityChecks=248530390 nbPropagations=4020111 nbRevisions=48542454
201.14 nbUselessRevisions=38167722 nbAssignments=98419 nbFailedAssignments=53852 nbBacktracks=44319
201.14 nbVisitedNodes=178881 nbRestartNogoods=162
201.14 => wckTime=198.52 cpuTime=198.22 mem=66M626
307.99
307.99 search
307.99 run=19 nbConstraintChecks=187458465 nbValidityChecks=385355838 nbPropagations=6033859 nbRevisions=73035632
307.99 nbUselessRevisions=57434467 nbAssignments=149980 nbFailedAssignments=83237 nbBacktracks=66488
307.99 nbVisitedNodes=273784 nbRestartNogoods=176
308.00 => wckTime=305.374 cpuTime=304.95 mem=66M626
462.01
462.01 search
462.01 run=20 nbConstraintChecks=282550469 nbValidityChecks=578755218 nbPropagations=8976984 nbRevisions=109362782
462.01 nbUselessRevisions=86123680 nbAssignments=225671 nbFailedAssignments=125667 nbBacktracks=99740
462.01 nbVisitedNodes=411770 nbRestartNogoods=198
462.01 => wckTime=459.388 cpuTime=458.82 mem=66M626
691.19
691.19 search
691.19 run=21 nbConstraintChecks=421109873 nbValidityChecks=862389996 nbPropagations=13391915 nbRevisions=163790978
691.19 nbUselessRevisions=129212000 nbAssignments=336316 nbFailedAssignments=186393 nbBacktracks=149622
691.19 nbVisitedNodes=613074 nbRestartNogoods=218
691.19 => wckTime=688.568 cpuTime=687.78 mem=66M626
1008.22
1008.22 search
1008.22 run=22 nbConstraintChecks=619267270 nbValidityChecks=1267795584 nbPropagations=19842557 nbRevisions=244305200
1008.22 nbUselessRevisions=193154788 nbAssignments=509241 nbFailedAssignments=284481 nbBacktracks=224440
1008.22 nbVisitedNodes=927418 nbRestartNogoods=233
1008.22 => wckTime=1005.603 cpuTime=1004.4 mem=66M626
1559.08
1559.08 search
1559.08 run=23 nbConstraintChecks=953702814 nbValidityChecks=1955368560 nbPropagations=29621398 nbRevisions=367587413
1559.08 nbUselessRevisions=291097200 nbAssignments=770983 nbFailedAssignments=433987 nbBacktracks=336670
1559.08 nbVisitedNodes=1405561 nbRestartNogoods=254
1559.08 => wckTime=1556.456 cpuTime=1554.67 mem=66M626
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-203066-1168155879 -o ROOT/results/node4/solver-203066-1168155879 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203066-1168155879/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.95 2.02 2.00 4/87 10310
/proc/meminfo: memFree=1807592/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=172 CPUtime=0
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 163983566 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588964 0 0 4096 0 0 0 0 17 0 0 0
/proc/10309/statm: 43 24 18 14 0 3 0
[startup+0.108251 s]
/proc/loadavg: 1.95 2.02 2.00 4/87 10310
/proc/meminfo: memFree=1807592/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=914988 CPUtime=0.09
/proc/10309/stat : 10309 (java) D 10307 10309 9391 0 -1 0 2988 0 1 0 6 3 0 0 23 0 8 0 163983566 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516293 s]
/proc/loadavg: 1.95 2.02 2.00 4/87 10310
/proc/meminfo: memFree=1807592/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915328 CPUtime=0.44
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 6987 0 1 0 39 5 0 0 21 0 8 0 163983566 937295872 6726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228832 6727 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.34137 s]
/proc/loadavg: 1.95 2.02 2.00 3/94 10317
/proc/meminfo: memFree=1740528/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915328 CPUtime=1.27
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 19099 0 1 0 114 13 0 0 25 0 8 0 163983566 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228832 18837 2149 14 0 215302 0
[pid=10309/tid=10311] ppid=10307 vsize=915328 CPUtime=0.05
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 163983570 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915328 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163983571 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915328 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915328 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915328 CPUtime=0.07
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 163983574 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915328 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915328 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915328
[startup+2.99453 s]
/proc/loadavg: 1.95 2.02 2.00 3/94 10317
/proc/meminfo: memFree=1699568/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=2.91
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32574 0 1 0 269 22 0 0 25 0 8 0 163983566 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32309 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 17 0 8 0 163983570 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.19
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 163983574 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32309 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915440
[startup+6.27684 s]
/proc/loadavg: 1.96 2.02 2.00 3/94 10317
/proc/meminfo: memFree=1687792/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=6.19
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32594 0 1 0 597 22 0 0 25 0 8 0 163983566 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32326 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 17 0 8 0 163983570 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.23
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 393 0 0 0 22 1 0 0 15 0 8 0 163983574 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7755 s]
/proc/loadavg: 1.96 2.02 2.00 3/94 10317
/proc/meminfo: memFree=1687728/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=12.69
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32605 0 1 0 1247 22 0 0 25 0 8 0 163983566 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32333 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440
[startup+25.6327 s]
/proc/loadavg: 1.97 2.01 2.00 3/94 10317
/proc/meminfo: memFree=1687664/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=25.53
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32605 0 1 0 2531 22 0 0 25 0 8 0 163983566 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32333 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915440
[startup+51.2691 s]
/proc/loadavg: 1.98 2.01 2.00 3/94 10317
/proc/meminfo: memFree=1687088/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=51.14
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32605 0 1 0 5091 23 0 0 25 0 8 0 163983566 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32333 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915440
[startup+102.543 s]
/proc/loadavg: 1.99 2.01 2.00 3/94 10317
/proc/meminfo: memFree=1686832/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=102.36
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32606 0 1 0 10213 23 0 0 25 0 8 0 163983566 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32333 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915440
[startup+162.567 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 10317
/proc/meminfo: memFree=1686576/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=162.33
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32606 0 1 0 16210 23 0 0 25 0 8 0 163983566 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 915440
[startup+1483.25 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 10589
/proc/meminfo: memFree=1531056/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1481.53
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 148101 52 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 915440
[startup+1543.29 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 10589
/proc/meminfo: memFree=1526448/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1541.52
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 154100 52 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630003 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 915440
[startup+1603.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 10589
/proc/meminfo: memFree=1520240/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1601.5
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 160097 53 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 915440
[startup+1663.35 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 10589
/proc/meminfo: memFree=1512176/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1661.45
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 166092 53 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 915440
[startup+1723.38 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 10589
/proc/meminfo: memFree=1505200/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1721.42
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 172089 53 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 915440
[startup+1783.41 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 10589
/proc/meminfo: memFree=1495472/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1781.42
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 178088 54 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.03 s]
/proc/loadavg: 2.03 2.03 2.00 3/94 10589
/proc/meminfo: memFree=1489840/2055920 swapFree=4182144/4192956
[pid=10309] ppid=10307 vsize=915440 CPUtime=1800.01
/proc/10309/stat : 10309 (java) R 10307 10309 9391 0 -1 0 32607 0 1 0 179947 54 0 0 25 0 8 0 163983566 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10309/statm: 228860 32334 2531 14 0 215330 0
[pid=10309/tid=10311] ppid=10307 vsize=915440 CPUtime=0.44
/proc/10309/task/10311/stat : 10311 (java) S 10307 10309 9391 0 -1 64 15582 0 0 0 37 7 0 0 16 0 8 0 163983570 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10312] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10312/stat : 10312 (java) S 10307 10309 9391 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10313] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10313/stat : 10313 (java) S 10307 10309 9391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 163983571 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10314] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10314/stat : 10314 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10315] ppid=10307 vsize=915440 CPUtime=0.25
/proc/10309/task/10315/stat : 10315 (java) S 10307 10309 9391 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10316] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10316/stat : 10316 (java) S 10307 10309 9391 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10309/tid=10317] ppid=10307 vsize=915440 CPUtime=0
/proc/10309/task/10317/stat : 10317 (java) S 10307 10309 9391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163983574 937410560 32334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.09
CPU time (s): 1800.07
CPU user time (s): 1799.51
CPU system time (s): 0.560914
CPU usage (%): 99.8878
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.560914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37685
involuntary context switches= 61508
runsolver used 2.16867 s user time and 5.86711 s system time
The end
Begin job on node4 on Sun Jan 7 07:44:40 UTC 2007
IDJOB= 203066
IDBENCH= 3908
FILE ID= node4/203066-1168155879
PBS_JOBID= 3478241
Free space on /tmp= 66299 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203066-1168155879/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-203066-1168155879 -o ROOT/results/node4/solver-203066-1168155879 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203066-1168155879/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f55d1fc709c25ef8511b332342ca7e42
RANDOM SEED= 524673881
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.223
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.223
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: 1808072 kB
Buffers: 24320 kB
Cached: 78628 kB
SwapCached: 2520 kB
Active: 148556 kB
Inactive: 46784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1808072 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 7584 kB
Writeback: 0 kB
Mapped: 102984 kB
Slab: 37008 kB
Committed_AS: 4239920 kB
PageTables: 2516 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= 66261 MiB
End job on node4 on Sun Jan 7 08:14:43 UTC 2007