0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217960-1168250016/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.53 nbVariables=990 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.53 => wckTime=0.214 cpuTime=0.16 mem=9M844
0.53
0.53 predicates being loaded...
0.53
0.53 constraints being loaded...
2.52 nbConstraints=14190 nbConflictsStructures=1 nbSharedConflictsStructures=14189 nbSharedBinaryRepresentations=0
2.52 nbEvaluationManagers=1 nbSharedEvaluationManagers=14189 maxDegree=43 maxArity=3
2.52 => wckTime=2.199 cpuTime=1.92 mem=38M82
2.67
2.67 solver IterativeSystematicSolver being built...
3.15 => wckTime=2.83 cpuTime=2.29 mem=60M639
4.58
4.58 preprocessing
4.59 nbConstraintChecks=21071 nbValidityChecks=63 nbPropagations=4626 nbRevisions=7238 nbUselessRevisions=4581
4.59 nbSingletonTests=1020 nbEffectiveSingletonTests=0 nbESACBranches=20 nbRemovedValues=0 detectedInconsistency=no
4.59 => wckTime=1.429 cpuTime=1.36 mem=61M643
4.93
4.93 search
4.93 run=0 nbConstraintChecks=15130 nbValidityChecks=6694 nbPropagations=5812 nbRevisions=12685
4.93 nbUselessRevisions=8776 nbAssignments=381 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=404
4.93 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
4.93 => wckTime=1.779 cpuTime=1.7 mem=61M643
5.23
5.23 search
5.23 run=1 nbConstraintChecks=30424 nbValidityChecks=43838 nbPropagations=15396 nbRevisions=38853
5.23 nbUselessRevisions=28795 nbAssignments=2065 nbFailedAssignments=24 nbBacktracks=28 nbVisitedNodes=600
5.23 nbRestartNogoods=12 mapSize=24 nbInferences=0 nbTooLargeKeys=0
5.23 => wckTime=2.082 cpuTime=1.98 mem=61M643
5.39
5.39 search
5.39 run=2 nbConstraintChecks=42644 nbValidityChecks=54577 nbPropagations=26126 nbRevisions=69521
5.39 nbUselessRevisions=52337 nbAssignments=2470 nbFailedAssignments=41 nbBacktracks=52 nbVisitedNodes=1008
5.39 nbRestartNogoods=16 mapSize=36 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=2.235 cpuTime=2.13 mem=62M647
6.00
6.00 search
6.00 run=3 nbConstraintChecks=79054 nbValidityChecks=147232 nbPropagations=44469 nbRevisions=131855
6.00 nbUselessRevisions=102059 nbAssignments=5603 nbFailedAssignments=69 nbBacktracks=88 nbVisitedNodes=1549
6.00 nbRestartNogoods=27 mapSize=68 nbInferences=0 nbTooLargeKeys=0
6.00 => wckTime=2.851 cpuTime=2.73 mem=62M647
6.85
6.85 search
6.85 run=4 nbConstraintChecks=118844 nbValidityChecks=278899 nbPropagations=72451 nbRevisions=239610
6.85 nbUselessRevisions=190004 nbAssignments=9451 nbFailedAssignments=103 nbBacktracks=139 nbVisitedNodes=2047
6.85 nbRestartNogoods=44 mapSize=108 nbInferences=0 nbTooLargeKeys=0
6.85 => wckTime=3.696 cpuTime=3.55 mem=62M647
7.98
7.99 search
7.99 run=5 nbConstraintChecks=168053 nbValidityChecks=406954 nbPropagations=109816 nbRevisions=391773
7.99 nbUselessRevisions=315105 nbAssignments=13262 nbFailedAssignments=143 nbBacktracks=215 nbVisitedNodes=2713
7.99 nbRestartNogoods=58 mapSize=163 nbInferences=0 nbTooLargeKeys=0
7.99 => wckTime=4.833 cpuTime=4.68 mem=63M651
8.77
8.77 search
8.77 run=6 nbConstraintChecks=227325 nbValidityChecks=574165 nbPropagations=158030 nbRevisions=600594
8.77 nbUselessRevisions=487552 nbAssignments=17168 nbFailedAssignments=203 nbBacktracks=337 nbVisitedNodes=3430
8.77 nbRestartNogoods=78 mapSize=247 nbInferences=0 nbTooLargeKeys=0
8.77 => wckTime=5.614 cpuTime=5.45 mem=63M651
9.92
9.92 search
9.92 run=7 nbConstraintChecks=303641 nbValidityChecks=803596 nbPropagations=221468 nbRevisions=886146
9.92 nbUselessRevisions=723968 nbAssignments=23005 nbFailedAssignments=287 nbBacktracks=510 nbVisitedNodes=4277
9.92 nbRestartNogoods=104 mapSize=370 nbInferences=0 nbTooLargeKeys=0
9.92 => wckTime=6.769 cpuTime=6.6 mem=64M655
11.47
11.47 search
11.47 run=8 nbConstraintChecks=392033 nbValidityChecks=1051659 nbPropagations=300451 nbRevisions=1255869
11.47 nbUselessRevisions=1030573 nbAssignments=28497 nbFailedAssignments=409 nbBacktracks=789 nbVisitedNodes=5307
11.47 nbRestartNogoods=128 mapSize=547 nbInferences=0 nbTooLargeKeys=0
11.47 => wckTime=8.316 cpuTime=8.12 mem=65M43
13.77
13.77 search
13.77 run=9 nbConstraintChecks=503017 nbValidityChecks=1327139 nbPropagations=395672 nbRevisions=1719400
13.77 nbUselessRevisions=1415151 nbAssignments=34308 nbFailedAssignments=566 nbBacktracks=1176 nbVisitedNodes=6619
13.77 nbRestartNogoods=152 mapSize=799 nbInferences=0 nbTooLargeKeys=0
13.77 => wckTime=10.618 cpuTime=10.32 mem=23M208
15.09
15.09 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=24M212)
15.24
15.24 search
15.24 run=10 nbConstraintChecks=665901 nbValidityChecks=1646429 nbPropagations=506917 nbRevisions=2295852
15.24 nbUselessRevisions=1892635 nbAssignments=38882 nbFailedAssignments=786 nbBacktracks=1754 nbVisitedNodes=8293
15.24 nbRestartNogoods=183
15.24 => wckTime=12.088 cpuTime=11.78 mem=24M212
16.92
16.92 search
16.92 run=11 nbConstraintChecks=913223 nbValidityChecks=2143258 nbPropagations=644305 nbRevisions=3039795
16.92 nbUselessRevisions=2505425 nbAssignments=46965 nbFailedAssignments=1228 nbBacktracks=2625 nbVisitedNodes=10954
16.92 nbRestartNogoods=213
16.92 => wckTime=13.765 cpuTime=13.44 mem=24M212
18.28
18.28 search
18.28 run=12 nbConstraintChecks=1163111 nbValidityChecks=2584129 nbPropagations=802687 nbRevisions=3940487
18.28 nbUselessRevisions=3245784 nbAssignments=53007 nbFailedAssignments=1668 nbBacktracks=3923 nbVisitedNodes=14037
18.28 nbRestartNogoods=274
18.28 => wckTime=15.127 cpuTime=14.78 mem=25M216
20.34
20.34 search
20.34 run=13 nbConstraintChecks=1566533 nbValidityChecks=3289231 nbPropagations=993284 nbRevisions=5091320
20.34 nbUselessRevisions=4187408 nbAssignments=61089 nbFailedAssignments=2610 nbBacktracks=5882 nbVisitedNodes=19185
20.34 nbRestartNogoods=314
20.34 => wckTime=17.187 cpuTime=16.82 mem=25M216
21.92
21.92 search
21.92 run=14 nbConstraintChecks=1759407 nbValidityChecks=3628068 nbPropagations=1204751 nbRevisions=6363262
21.92 nbUselessRevisions=5220986 nbAssignments=67665 nbFailedAssignments=3270 nbBacktracks=8802 nbVisitedNodes=24251
21.92 nbRestartNogoods=357
21.92 => wckTime=18.77 cpuTime=18.39 mem=25M216
23.91
23.91 search
23.91 run=15 nbConstraintChecks=2155778 nbValidityChecks=4291307 nbPropagations=1442906 nbRevisions=7881315
23.91 nbUselessRevisions=6448602 nbAssignments=73720 nbFailedAssignments=4247 nbBacktracks=13183 nbVisitedNodes=31720
23.91 nbRestartNogoods=364
23.91 => wckTime=20.754 cpuTime=20.35 mem=25M216
27.52
27.52 search
27.52 run=16 nbConstraintChecks=3273437 nbValidityChecks=5995945 nbPropagations=1742646 nbRevisions=10057749
27.52 nbUselessRevisions=8210423 nbAssignments=83919 nbFailedAssignments=6247 nbBacktracks=19751 nbVisitedNodes=44523
27.52 nbRestartNogoods=374
27.52 => wckTime=24.365 cpuTime=23.93 mem=25M216
32.21
32.21 search
32.21 run=17 nbConstraintChecks=3710271 nbValidityChecks=6854157 nbPropagations=2107089 nbRevisions=12589188
32.21 nbUselessRevisions=10236320 nbAssignments=101545 nbFailedAssignments=8402 nbBacktracks=29604
32.21 nbVisitedNodes=60856 nbRestartNogoods=403
32.21 => wckTime=29.056 cpuTime=28.58 mem=25M216
38.88
38.88 search
38.88 run=18 nbConstraintChecks=4960701 nbValidityChecks=8974088 nbPropagations=2561867 nbRevisions=15894130
38.88 nbUselessRevisions=12865505 nbAssignments=119797 nbFailedAssignments=11655 nbBacktracks=44393
38.88 nbVisitedNodes=85638 nbRestartNogoods=410
38.88 => wckTime=35.732 cpuTime=35.19 mem=25M216
49.91
49.91 search
49.91 run=19 nbConstraintChecks=7882041 nbValidityChecks=13813972 nbPropagations=3183451 nbRevisions=21130068
49.91 nbUselessRevisions=17078997 nbAssignments=148246 nbFailedAssignments=17021 nbBacktracks=66561
49.91 nbVisitedNodes=124060 nbRestartNogoods=418
49.91 => wckTime=46.757 cpuTime=46.11 mem=25M216
66.85
66.85 search
66.85 run=20 nbConstraintChecks=11493882 nbValidityChecks=20772635 nbPropagations=4065093 nbRevisions=29412114
66.85 nbUselessRevisions=23862048 nbAssignments=191079 nbFailedAssignments=23352 nbBacktracks=99825
66.85 nbVisitedNodes=176998 nbRestartNogoods=442
66.85 => wckTime=63.694 cpuTime=62.89 mem=25M216
95.16
95.16 search
95.16 run=21 nbConstraintChecks=22556665 nbValidityChecks=36858163 nbPropagations=5433229 nbRevisions=43771666
95.16 nbUselessRevisions=35591403 nbAssignments=260045 nbFailedAssignments=40376 nbBacktracks=149703
95.16 nbVisitedNodes=278571 nbRestartNogoods=454
95.16 => wckTime=92.012 cpuTime=91.1 mem=25M216
122.32
122.32 search
122.32 run=22 nbConstraintChecks=25842027 nbValidityChecks=42063115 nbPropagations=7182814 nbRevisions=60362145
122.32 nbUselessRevisions=48925547 nbAssignments=359518 nbFailedAssignments=57816 nbBacktracks=224521
122.32 nbVisitedNodes=405339 nbRestartNogoods=496
122.32 => wckTime=119.165 cpuTime=118.15 mem=25M216
168.53
168.53 search
168.53 run=23 nbConstraintChecks=34813025 nbValidityChecks=55599868 nbPropagations=9610597 nbRevisions=82116887
168.53 nbUselessRevisions=66157111 nbAssignments=503316 nbFailedAssignments=88793 nbBacktracks=336754
168.53 nbVisitedNodes=610504 nbRestartNogoods=510
168.53 => wckTime=165.377 cpuTime=164.15 mem=25M216
247.97
247.97 search
247.97 run=24 nbConstraintChecks=52751167 nbValidityChecks=91844834 nbPropagations=13296463 nbRevisions=117951388
247.97 nbUselessRevisions=94809143 nbAssignments=706516 nbFailedAssignments=123077 nbBacktracks=505131
247.97 nbVisitedNodes=880664 nbRestartNogoods=524
247.97 => wckTime=244.816 cpuTime=243.22 mem=25M216
400.21
400.21 search
400.21 run=25 nbConstraintChecks=98691130 nbValidityChecks=169225381 nbPropagations=19566684 nbRevisions=186165782
400.21 nbUselessRevisions=150400716 nbAssignments=1038981 nbFailedAssignments=201785 nbBacktracks=757653
400.21 nbVisitedNodes=1364512 nbRestartNogoods=538
400.21 => wckTime=397.056 cpuTime=394.73 mem=25M216
558.31
558.31 search
558.31 run=26 nbConstraintChecks=125706932 nbValidityChecks=217252664 nbPropagations=28222329 nbRevisions=272974616
558.31 nbUselessRevisions=220160784 nbAssignments=1511070 nbFailedAssignments=291804 nbBacktracks=1136427
558.31 nbVisitedNodes=2011518 nbRestartNogoods=559
558.31 => wckTime=555.158 cpuTime=551.94 mem=25M216
855.96
855.96 search
855.96 run=27 nbConstraintChecks=219818056 nbValidityChecks=372768154 nbPropagations=41904825 nbRevisions=422193976
855.96 nbUselessRevisions=341340068 nbAssignments=2245291 nbFailedAssignments=456857 nbBacktracks=1704579
855.96 nbVisitedNodes=3067335 nbRestartNogoods=591
855.96 => wckTime=852.812 cpuTime=848.19 mem=25M216
1328.90
1328.90 search
1328.90 run=28 nbConstraintChecks=398631980 nbValidityChecks=650776745 nbPropagations=64074061 nbRevisions=680775669
1328.90 nbUselessRevisions=552535761 nbAssignments=3385968 nbFailedAssignments=741499 nbBacktracks=2556807
1328.90 nbVisitedNodes=4769436 nbRestartNogoods=625
1328.90 => wckTime=1325.744 cpuTime=1318.93 mem=25M216
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-217960-1168250016 -o ROOT/results/node12/solver-217960-1168250016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217960-1168250016/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.65 1.89 1.96 4/89 21218
/proc/meminfo: memFree=1798072/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=89776 CPUtime=0
/proc/21217/stat : 21217 (java) D 21215 21217 21150 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 173396654 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21217/statm: 22444 1022 811 14 0 10027 0
[pid=21217/tid=21219] ppid=21215 vsize=907676 CPUtime=0
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 19 0 4 0 173396657 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=907676 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 9 0 0 0 0 0 0 0 19 0 4 0 173396658 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=907676 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) R 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 173396658 929460224 1918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10543064 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.104474 s]
/proc/loadavg: 1.65 1.89 1.96 4/89 21218
/proc/meminfo: memFree=1798072/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=914988 CPUtime=0.09
/proc/21217/stat : 21217 (java) S 21215 21217 21150 0 -1 0 2996 0 1 0 8 1 0 0 17 0 8 0 173396654 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228747 2742 1427 14 0 215242 0
[pid=21217/tid=21219] ppid=21215 vsize=914988 CPUtime=0
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 173396657 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=914988 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 173396658 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=914988 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173396658 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513547 s]
/proc/loadavg: 1.65 1.89 1.96 4/89 21218
/proc/meminfo: memFree=1798072/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915328 CPUtime=0.5
/proc/21217/stat : 21217 (java) S 21215 21217 21150 0 -1 0 6573 0 1 0 46 4 0 0 17 0 8 0 173396654 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228832 6312 2136 14 0 215302 0
[pid=21217/tid=21219] ppid=21215 vsize=915328 CPUtime=0
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 173396657 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915328 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 173396658 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915328 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173396658 937295872 6312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33569 s]
/proc/loadavg: 1.65 1.89 1.96 3/96 21225
/proc/meminfo: memFree=1738176/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915632 CPUtime=1.31
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 18782 0 1 0 121 10 0 0 19 0 8 0 173396654 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154160880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228908 18519 2171 14 0 215378 0
[pid=21217/tid=21219] ppid=21215 vsize=915632 CPUtime=0.08
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 2203 0 0 0 8 0 0 0 16 0 8 0 173396657 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915632 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915632 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915632 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915632 CPUtime=0.15
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 173396661 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915632 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915632 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937607168 18519 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632
[startup+2.977 s]
/proc/loadavg: 1.65 1.89 1.96 3/96 21225
/proc/meminfo: memFree=1732224/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915736 CPUtime=2.94
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 21729 0 1 0 225 69 0 0 25 0 8 0 173396654 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928485 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228934 21452 2503 14 0 215404 0
[pid=21217/tid=21219] ppid=21215 vsize=915736 CPUtime=0.26
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 4721 0 0 0 25 1 0 0 16 0 8 0 173396657 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915736 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915736 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915736 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915736 CPUtime=0.23
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 446 0 0 0 23 0 0 0 16 0 8 0 173396661 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915736 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915736 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937713664 21452 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915736
[startup+6.17757 s]
/proc/loadavg: 1.68 1.90 1.96 3/96 21225
/proc/meminfo: memFree=1721352/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=6.11
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 21886 0 1 0 540 71 0 0 25 0 8 0 173396654 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074045110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228962 21606 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.26
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 4721 0 0 0 25 1 0 0 17 0 8 0 173396657 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.36
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 508 0 0 0 35 1 0 0 15 0 8 0 173396661 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 21606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915848
[startup+12.6607 s]
/proc/loadavg: 1.70 1.90 1.96 3/96 21225
/proc/meminfo: memFree=1713800/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=12.52
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23773 0 1 0 1180 72 0 0 25 0 8 0 173396654 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074045517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228962 23490 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.38
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 514 0 0 0 36 2 0 0 15 0 8 0 173396661 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915848
[startup+25.5411 s]
/proc/loadavg: 1.77 1.90 1.96 4/96 21225
/proc/meminfo: memFree=1713736/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=25.28
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 2456 72 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074076203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 17 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915848
[startup+51.1837 s]
/proc/loadavg: 1.85 1.91 1.96 3/96 21225
/proc/meminfo: memFree=1713672/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=50.68
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 4995 73 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074081707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 17 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915848
[startup+102.451 s]
/proc/loadavg: 1.88 1.91 1.96 3/94 21299
/proc/meminfo: memFree=1711200/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=101.68
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 10094 74 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074042953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.83
Current children cumulated vsize (KiB) 915848
[startup+1482.93 s]
/proc/loadavg: 2.02 2.01 1.97 3/94 21497
/proc/meminfo: memFree=1609568/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1475.54
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 147455 99 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.54
Current children cumulated vsize (KiB) 915848
[startup+1542.94 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 21499
/proc/meminfo: memFree=1609184/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1535.28
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 153429 99 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074056298 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.28
Current children cumulated vsize (KiB) 915848
[startup+1602.95 s]
/proc/loadavg: 2.05 2.01 1.98 3/94 21499
/proc/meminfo: memFree=1609888/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1595.02
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 159403 99 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074097001 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.02
Current children cumulated vsize (KiB) 915848
[startup+1662.97 s]
/proc/loadavg: 2.08 2.02 1.98 3/94 21499
/proc/meminfo: memFree=1609952/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1654.75
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 165375 100 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074076203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.75
Current children cumulated vsize (KiB) 915848
[startup+1722.99 s]
/proc/loadavg: 2.03 2.02 1.98 4/94 21499
/proc/meminfo: memFree=1609952/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1714.51
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 171351 100 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074085326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.51
Current children cumulated vsize (KiB) 915848
[startup+1783.02 s]
/proc/loadavg: 2.12 2.04 1.99 3/94 21499
/proc/meminfo: memFree=1608672/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1774.24
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 177324 100 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074081865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.24
Current children cumulated vsize (KiB) 915848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.96 s]
/proc/loadavg: 2.07 2.04 1.99 3/94 21499
/proc/meminfo: memFree=1608608/2055920 swapFree=4160348/4192956
[pid=21217] ppid=21215 vsize=915848 CPUtime=1800.06
/proc/21217/stat : 21217 (java) R 21215 21217 21150 0 -1 0 23782 0 1 0 179906 100 0 0 25 0 8 0 173396654 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074076285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21217/statm: 228962 23496 2547 14 0 215432 0
[pid=21217/tid=21219] ppid=21215 vsize=915848 CPUtime=0.33
/proc/21217/task/21219/stat : 21219 (java) S 21215 21217 21150 0 -1 64 6599 0 0 0 31 2 0 0 16 0 8 0 173396657 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21220] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21220/stat : 21220 (java) S 21215 21217 21150 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21221] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21221/stat : 21221 (java) S 21215 21217 21150 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173396658 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21222] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21222/stat : 21222 (java) S 21215 21217 21150 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21223] ppid=21215 vsize=915848 CPUtime=0.39
/proc/21217/task/21223/stat : 21223 (java) S 21215 21217 21150 0 -1 64 520 0 0 0 37 2 0 0 16 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21217/tid=21224] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21224/stat : 21224 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21217/tid=21225] ppid=21215 vsize=915848 CPUtime=0
/proc/21217/task/21225/stat : 21225 (java) S 21215 21217 21150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173396661 937828352 23496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809
CPU time (s): 1800.11
CPU user time (s): 1799.09
CPU system time (s): 1.02184
CPU usage (%): 99.5085
Max. virtual memory (cumulated for all children) (KiB): 915952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.02184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23798
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= 38004
involuntary context switches= 33697
runsolver used 2.24166 s user time and 5.80312 s system time
The end
Begin job on node12 on Mon Jan 8 09:53:36 UTC 2007
IDJOB= 217960
IDBENCH= 5184
FILE ID= node12/217960-1168250016
PBS_JOBID= 3481662
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-45-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217960-1168250016/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-217960-1168250016 -o ROOT/results/node12/solver-217960-1168250016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217960-1168250016/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6951a7d2d3323bc93e7e3c6c379c36c0
RANDOM SEED= 312055885
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.265
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.265
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: 1798488 kB
Buffers: 37128 kB
Cached: 96392 kB
SwapCached: 5132 kB
Active: 141676 kB
Inactive: 65512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1798488 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3920 kB
Writeback: 0 kB
Mapped: 83736 kB
Slab: 35060 kB
Committed_AS: 4966252 kB
PageTables: 2168 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= 66320 MiB
End job on node12 on Mon Jan 8 10:23:46 UTC 2007