0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/216383-1168241070/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=300 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.123 cpuTime=0.12 mem=6M951
0.45
0.45 predicates being loaded...
0.45
0.45 constraints being loaded...
0.64 nbConstraints=50 nbConflictsStructures=2 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0
0.64 nbEvaluationManagers=2 nbSharedEvaluationManagers=48 maxDegree=2 maxArity=15
0.64 => wckTime=0.318 cpuTime=0.25 mem=10M885
0.68
0.68 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.56 cpuTime=0.42 mem=16M528
1.12
1.12 preprocessing
1.12 nbConstraintChecks=98367 nbValidityChecks=5460 nbPropagations=1029 nbRevisions=3677 nbUselessRevisions=3366
1.12 nbSingletonTests=436 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
1.12 => wckTime=0.237 cpuTime=0.22 mem=16M528
1.23
1.23 search
1.23 run=0 nbConstraintChecks=33302 nbValidityChecks=1479 nbPropagations=1204 nbRevisions=4447
1.23 nbUselessRevisions=4019 nbAssignments=139 nbFailedAssignments=1 nbBacktracks=10 nbVisitedNodes=142
1.23 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.343 cpuTime=0.3 mem=17M519
1.32
1.32 search
1.32 run=1 nbConstraintChecks=73294 nbValidityChecks=3170 nbPropagations=2611 nbRevisions=9780
1.32 nbUselessRevisions=8775 nbAssignments=286 nbFailedAssignments=3 nbBacktracks=34 nbVisitedNodes=293
1.32 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.434 cpuTime=0.39 mem=17M519
1.53
1.54 search
1.54 run=2 nbConstraintChecks=197730 nbValidityChecks=5051 nbPropagations=4291 nbRevisions=16094
1.54 nbUselessRevisions=14323 nbAssignments=407 nbFailedAssignments=4 nbBacktracks=64 nbVisitedNodes=418
1.54 nbRestartNogoods=2 mapSize=7 nbInferences=3 nbTooLargeKeys=0
1.54 => wckTime=0.651 cpuTime=0.6 mem=17M519
1.74
1.74 search
1.74 run=3 nbConstraintChecks=310943 nbValidityChecks=7272 nbPropagations=6292 nbRevisions=23556
1.74 nbUselessRevisions=20795 nbAssignments=564 nbFailedAssignments=5 nbBacktracks=115 nbVisitedNodes=580
1.74 nbRestartNogoods=3 mapSize=10 nbInferences=5 nbTooLargeKeys=0
1.74 => wckTime=0.856 cpuTime=0.8 mem=17M519
2.03
2.03 search
2.03 run=4 nbConstraintChecks=478453 nbValidityChecks=9797 nbPropagations=8717 nbRevisions=32333
2.03 nbUselessRevisions=28244 nbAssignments=749 nbFailedAssignments=7 nbBacktracks=193 nbVisitedNodes=775
2.03 nbRestartNogoods=5 mapSize=18 nbInferences=7 nbTooLargeKeys=0
2.03 => wckTime=1.146 cpuTime=1.09 mem=17M519
2.12
2.12 search
2.12 run=5 nbConstraintChecks=511697 nbValidityChecks=12059 nbPropagations=11528 nbRevisions=42323
2.12 nbUselessRevisions=36528 nbAssignments=951 nbFailedAssignments=13 nbBacktracks=275 nbVisitedNodes=992
2.12 nbRestartNogoods=7 mapSize=31 nbInferences=8 nbTooLargeKeys=0
2.12 => wckTime=1.236 cpuTime=1.17 mem=17M519
4.95
4.95 search
4.95 run=6 nbConstraintChecks=2275887 nbValidityChecks=19379 nbPropagations=16438 nbRevisions=56344
4.95 nbUselessRevisions=46436 nbAssignments=1177 nbFailedAssignments=61 nbBacktracks=388 nbVisitedNodes=1315
4.95 nbRestartNogoods=9 mapSize=86 nbInferences=9 nbTooLargeKeys=0
4.95 => wckTime=4.07 cpuTime=3.97 mem=17M519
7.23
7.23 search
7.23 run=7 nbConstraintChecks=3684368 nbValidityChecks=25877 nbPropagations=23241 nbRevisions=73951
7.23 nbUselessRevisions=58054 nbAssignments=1492 nbFailedAssignments=82 nbBacktracks=594 nbVisitedNodes=1698
7.23 nbRestartNogoods=10 mapSize=139 nbInferences=12 nbTooLargeKeys=0
7.23 => wckTime=6.346 cpuTime=6.22 mem=17M519
8.03
8.03 search
8.03 run=8 nbConstraintChecks=4146298 nbValidityChecks=32055 nbPropagations=31425 nbRevisions=95047
8.03 nbUselessRevisions=71409 nbAssignments=1874 nbFailedAssignments=97 nbBacktracks=853 nbVisitedNodes=2152
8.03 nbRestartNogoods=12 mapSize=209 nbInferences=16 nbTooLargeKeys=0
8.03 => wckTime=7.142 cpuTime=7.0 mem=17M519
10.62
10.62 search
10.62 run=9 nbConstraintChecks=5743711 nbValidityChecks=48643 nbPropagations=43581 nbRevisions=126078
10.62 nbUselessRevisions=89372 nbAssignments=2387 nbFailedAssignments=124 nbBacktracks=1240 nbVisitedNodes=2901
10.62 nbRestartNogoods=14 mapSize=431 nbInferences=20 nbTooLargeKeys=0
10.62 => wckTime=9.736 cpuTime=9.57 mem=17M519
16.23
16.23 search
16.23 run=10 nbConstraintChecks=9265273 nbValidityChecks=65687 nbPropagations=60608 nbRevisions=166716
16.23 nbUselessRevisions=111097 nbAssignments=3130 nbFailedAssignments=186 nbBacktracks=1816 nbVisitedNodes=3863
16.23 nbRestartNogoods=16 mapSize=643 nbInferences=22 nbTooLargeKeys=0
16.23 => wckTime=15.344 cpuTime=15.12 mem=18M494
21.19
21.19 search
21.19 run=11 nbConstraintChecks=12369228 nbValidityChecks=82721 nbPropagations=82257 nbRevisions=217088
21.19 nbUselessRevisions=136541 nbAssignments=4167 nbFailedAssignments=249 nbBacktracks=2686 nbVisitedNodes=5119
21.19 nbRestartNogoods=18 mapSize=860 nbInferences=22 nbTooLargeKeys=0
21.19 => wckTime=20.309 cpuTime=20.05 mem=18M494
28.26
28.26 search
28.26 run=12 nbConstraintChecks=16735213 nbValidityChecks=106388 nbPropagations=110976 nbRevisions=280694
28.26 nbUselessRevisions=166656 nbAssignments=5664 nbFailedAssignments=351 nbBacktracks=3991 nbVisitedNodes=6920
28.26 nbRestartNogoods=20 mapSize=1162 nbInferences=24 nbTooLargeKeys=0
28.26 => wckTime=27.378 cpuTime=27.05 mem=18M494
38.85
38.85 search
38.85 run=13 nbConstraintChecks=23356095 nbValidityChecks=140257 nbPropagations=150199 nbRevisions=363198
38.85 nbUselessRevisions=203991 nbAssignments=7846 nbFailedAssignments=490 nbBacktracks=5948 nbVisitedNodes=9549
38.85 nbRestartNogoods=22 mapSize=1607 nbInferences=27 nbTooLargeKeys=0
38.85 => wckTime=37.968 cpuTime=37.55 mem=19M469
51.89
51.89 search
51.89 run=14 nbConstraintChecks=31444043 nbValidityChecks=177063 nbPropagations=200358 nbRevisions=466421
51.89 nbUselessRevisions=248935 nbAssignments=11040 nbFailedAssignments=656 nbBacktracks=8868 nbVisitedNodes=13203
51.89 nbRestartNogoods=24 mapSize=2065 nbInferences=48 nbTooLargeKeys=0
51.89 => wckTime=51.002 cpuTime=50.48 mem=20M445
80.86
80.86 search
80.86 run=15 nbConstraintChecks=49573519 nbValidityChecks=259878 nbPropagations=276063 nbRevisions=614932
80.86 nbUselessRevisions=310421 nbAssignments=15864 nbFailedAssignments=1002 nbBacktracks=13263 nbVisitedNodes=19170
80.86 nbRestartNogoods=26 mapSize=3206 nbInferences=48 nbTooLargeKeys=0
80.86 => wckTime=79.979 cpuTime=79.21 mem=22M395
108.23
108.23 search
108.23 run=16 nbConstraintChecks=66552622 nbValidityChecks=346796 nbPropagations=377883 nbRevisions=813622
108.23 nbUselessRevisions=389153 nbAssignments=22955 nbFailedAssignments=1399 nbBacktracks=19836 nbVisitedNodes=27371
108.23 nbRestartNogoods=28 mapSize=4313 nbInferences=80 nbTooLargeKeys=0
108.23 => wckTime=107.351 cpuTime=106.35 mem=24M345
165.09
165.09 search
165.09 run=17 nbConstraintChecks=102062372 nbValidityChecks=517075 nbPropagations=532955 nbRevisions=1107849
165.09 nbUselessRevisions=500402 nbAssignments=33678 nbFailedAssignments=2149 nbBacktracks=29704 nbVisitedNodes=40196
165.09 nbRestartNogoods=31 mapSize=6412 nbInferences=96 nbTooLargeKeys=0
165.09 => wckTime=164.21 cpuTime=162.74 mem=28M246
231.60
231.60 search
231.60 run=18 nbConstraintChecks=143222301 nbValidityChecks=721224 nbPropagations=750711 nbRevisions=1514525
231.60 nbUselessRevisions=651785 nbAssignments=49486 nbFailedAssignments=3072 nbBacktracks=44504 nbVisitedNodes=58689
231.60 nbRestartNogoods=34 mapSize=9094 nbInferences=109 nbTooLargeKeys=0
231.60 => wckTime=230.721 cpuTime=228.68 mem=33M122
341.64
341.64 search
341.64 run=19 nbConstraintChecks=211544951 nbValidityChecks=1073212 nbPropagations=1076732 nbRevisions=2119526
341.64 nbUselessRevisions=876722 nbAssignments=73243 nbFailedAssignments=4494 nbBacktracks=66688 nbVisitedNodes=86709
341.64 nbRestartNogoods=37 mapSize=13353 nbInferences=168 nbTooLargeKeys=0
341.64 => wckTime=340.752 cpuTime=337.8 mem=40M923
457.33
457.33 search
457.33 run=20 nbConstraintChecks=282977174 nbValidityChecks=1482795 nbPropagations=1538671 nbRevisions=2945719
457.33 nbUselessRevisions=1178999 nbAssignments=108734 nbFailedAssignments=5967 nbBacktracks=99968
457.33 nbVisitedNodes=127616 nbRestartNogoods=41 mapSize=18768 nbInferences=877 nbTooLargeKeys=0
457.33 => wckTime=456.445 cpuTime=452.92 mem=9M519
716.21
716.21 search
716.21 run=21 nbConstraintChecks=444649288 nbValidityChecks=2240500 nbPropagations=2237157 nbRevisions=4187566
716.21 nbUselessRevisions=1625863 nbAssignments=161873 nbFailedAssignments=9099 nbBacktracks=149846
716.21 nbVisitedNodes=189840 nbRestartNogoods=42 mapSize=27850 nbInferences=942 nbTooLargeKeys=0
716.21 => wckTime=715.328 cpuTime=710.58 mem=25M696
1052.40
1052.40 search
1052.40 run=22 nbConstraintChecks=653865464 nbValidityChecks=3249122 nbPropagations=3254588 nbRevisions=5990705
1052.40 nbUselessRevisions=2274022 nbAssignments=241834 nbFailedAssignments=13450 nbBacktracks=224668
1052.40 nbVisitedNodes=282315 nbRestartNogoods=45 mapSize=40360 nbInferences=1613 nbTooLargeKeys=0
1052.40 => wckTime=1051.516 cpuTime=1045.18 mem=49M568
1446.38
1446.46 search
1446.46 run=23 nbConstraintChecks=895448408 nbValidityChecks=4998547 nbPropagations=4817139 nbRevisions=8754743
1446.46 nbUselessRevisions=3231455 nbAssignments=362624 nbFailedAssignments=18235 nbBacktracks=336907
1446.46 nbVisitedNodes=423191 nbRestartNogoods=49 mapSize=60442 nbInferences=5311 nbTooLargeKeys=0
1446.46 => wckTime=1445.498 cpuTime=1437.23 mem=44M557
1625.24
1625.24 search
1625.24 run=24 nbConstraintChecks=994277716 nbValidityChecks=6876077 nbPropagations=7006715 nbRevisions=12580376
1625.24 nbUselessRevisions=4592985 nbAssignments=551465 nbFailedAssignments=22384 nbBacktracks=505248
1625.24 nbVisitedNodes=642156 nbRestartNogoods=53 mapSize=90562 nbInferences=21565 nbTooLargeKeys=0
1625.24 => wckTime=1624.353 cpuTime=1615.18 mem=56M30
1787.38
1787.38 search
1787.38 run=25 nbConstraintChecks=1083636535 nbValidityChecks=9396275 nbPropagations=10039228 nbRevisions=17814559
1787.38 nbUselessRevisions=6494516 nbAssignments=835066 nbFailedAssignments=27670 nbBacktracks=757808
1787.38 nbVisitedNodes=969322 nbRestartNogoods=57 mapSize=134123 nbInferences=47250 nbTooLargeKeys=0
1787.38 => wckTime=1786.495 cpuTime=1777.02 mem=53M881
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-216383-1168241070 -o ROOT/results/node40/solver-216383-1168241070 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216383-1168241070/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.99 1.98 1.99 4/75 10405
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=18540 CPUtime=0
/proc/10404/stat : 10404 (runsolver) R 10402 10404 9428 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172506337 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10404/statm: 4635 279 244 17 0 2626 0
[startup+0.108034 s]
/proc/loadavg: 1.99 1.98 1.99 4/75 10405
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=914988 CPUtime=0.09
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 2979 0 1 0 7 2 0 0 19 0 8 0 172506337 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516086 s]
/proc/loadavg: 1.99 1.98 1.99 4/75 10405
/proc/meminfo: memFree=1636912/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915328 CPUtime=0.49
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 6796 0 1 0 44 5 0 0 18 0 8 0 172506337 937295872 6535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152158090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228832 6535 2154 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33819 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1611384/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1.3
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 9226 0 1 0 123 7 0 0 24 0 8 0 172506337 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 8964 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 16 0 8 0 172506341 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.19
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 371 0 0 0 19 0 0 0 15 0 8 0 172506345 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.9764 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1610616/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=2.93
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 9287 0 1 0 286 7 0 0 25 0 8 0 172506337 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 9024 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 17 0 8 0 172506341 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.21
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 381 0 0 0 21 0 0 0 16 0 8 0 172506345 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 9024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27082 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1610488/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=6.19
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 9304 0 1 0 612 7 0 0 25 0 8 0 172506337 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 9040 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 17 0 8 0 172506341 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.22
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 383 0 0 0 21 1 0 0 15 0 8 0 172506345 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 9040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7437 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1609976/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=12.61
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 9426 0 1 0 1253 8 0 0 25 0 8 0 172506337 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 9157 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 17 0 8 0 172506341 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.24
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 172506345 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 9157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6103 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1609144/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=25.37
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 9625 0 1 0 2529 8 0 0 25 0 8 0 172506337 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 9352 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 16 0 8 0 172506341 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.24
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 172506345 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 9352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456
[startup+51.2226 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1607224/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=50.76
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 10087 0 1 0 5068 8 0 0 25 0 8 0 172506337 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 9813 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 16 0 8 0 172506341 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.24
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 172506345 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 9813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915456
[startup+102.429 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1601592/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=101.54
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 10938 0 1 0 10145 9 0 0 25 0 8 0 172506337 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 10663 2543 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.03
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 177 0 0 0 3 0 0 0 16 0 8 0 172506341 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 172506341 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915456
[startup+162.483 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10412
/proc/meminfo: memFree=1596600/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=161.09
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 11845 0 1 0 16100 9 0 0 25 0 8 0 172506337 937426944 11570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.62
Current children cumulated vsize (KiB) 915456
[startup+1483.67 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 10412
/proc/meminfo: memFree=1536824/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1475.4
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 22515 0 1 0 147525 15 0 0 25 0 8 0 172506337 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 22238 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.13
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 5461 0 0 0 11 2 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.4
Current children cumulated vsize (KiB) 915456
[startup+1543.73 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10412
/proc/meminfo: memFree=1536440/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1535.17
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 22515 0 1 0 153502 15 0 0 25 0 8 0 172506337 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 22238 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.13
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 5461 0 0 0 11 2 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 22238 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.17
Current children cumulated vsize (KiB) 915456
[startup+1603.79 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10412
/proc/meminfo: memFree=1527608/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1594.95
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 24669 0 1 0 159480 15 0 0 25 0 8 0 172506337 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10404/statm: 228864 24391 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.2
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 7614 0 0 0 18 2 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.95
Current children cumulated vsize (KiB) 915456
[startup+1663.85 s]
/proc/loadavg: 2.08 2.02 2.00 3/87 10469
/proc/meminfo: memFree=1487048/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1654.87
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 24669 0 1 0 165471 16 0 0 25 0 8 0 172506337 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10404/statm: 228864 24391 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.2
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 7614 0 0 0 18 2 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 24391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.87
Current children cumulated vsize (KiB) 915456
[startup+1723.89 s]
/proc/loadavg: 2.03 2.01 2.00 3/87 10469
/proc/meminfo: memFree=1478600/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1714.87
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 26825 0 1 0 171470 17 0 0 25 0 8 0 172506337 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10404/statm: 228864 26546 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.27
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 9769 0 0 0 24 3 0 0 16 0 8 0 172506341 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 26546 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.87
Current children cumulated vsize (KiB) 915456
[startup+1783.93 s]
/proc/loadavg: 2.01 2.00 2.00 3/87 10469
/proc/meminfo: memFree=1470792/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1774.84
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 28780 0 1 0 177466 18 0 0 25 0 8 0 172506337 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10404/statm: 228864 28500 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.34
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 11723 0 0 0 30 4 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.84
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 10469
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=10404] ppid=10402 vsize=915456 CPUtime=1800.02
/proc/10404/stat : 10404 (java) R 10402 10404 9428 0 -1 0 28780 0 1 0 179984 18 0 0 25 0 8 0 172506337 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10404/statm: 228864 28500 2547 14 0 215334 0
[pid=10404/tid=10406] ppid=10402 vsize=915456 CPUtime=0.34
/proc/10404/task/10406/stat : 10406 (java) S 10402 10404 9428 0 -1 64 11723 0 0 0 30 4 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10404/tid=10407] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10402 10404 9428 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10408] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10402 10404 9428 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172506341 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10409] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10402 10404 9428 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10410] ppid=10402 vsize=915456 CPUtime=0.25
/proc/10404/task/10410/stat : 10410 (java) S 10402 10404 9428 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10411] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10411/stat : 10411 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10404/tid=10412] ppid=10402 vsize=915456 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10402 10404 9428 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 172506345 937426944 28500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.17
CPU time (s): 1800.07
CPU user time (s): 1799.86
CPU system time (s): 0.200969
CPU usage (%): 99.4967
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.200969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28797
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= 37905
involuntary context switches= 59535
runsolver used 2.23466 s user time and 5.67114 s system time
The end
Begin job on node40 on Mon Jan 8 07:24:30 UTC 2007
IDJOB= 216383
IDBENCH= 5074
FILE ID= node40/216383-1168241070
PBS_JOBID= 3481493
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-10-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216383-1168241070/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-216383-1168241070 -o ROOT/results/node40/solver-216383-1168241070 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/216383-1168241070/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b6aaad2a7e3f64a57600964925a1a8b2
RANDOM SEED= 671903805
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.239
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.239
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: 1637328 kB
Buffers: 33324 kB
Cached: 276280 kB
SwapCached: 0 kB
Active: 137588 kB
Inactive: 207840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1637328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1676 kB
Writeback: 0 kB
Mapped: 46796 kB
Slab: 58536 kB
Committed_AS: 3640340 kB
PageTables: 1820 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= 66551 MiB
End job on node40 on Mon Jan 8 07:54:39 UTC 2007