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/195079-1168110609/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=469 nbRelationTypes=469 nbExtensionStructures=469 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=469 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2573 maxDegree=25
0.72 maxArity=2
0.72 => wckTime=0.399 cpuTime=0.31 mem=16M966
0.77
0.77 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.611 cpuTime=0.44 mem=15M582
1.00
1.00 preprocessing
1.00 nbConstraintChecks=115960 nbPropagations=1268 nbRevisions=10296 nbUselessRevisions=8710 nbSingletonTests=67
1.00 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.062 cpuTime=0.05 mem=15M582
1.03
1.03 search
1.03 run=0 nbConstraintChecks=43499 nbPropagations=1777 nbRevisions=16328 nbUselessRevisions=13752 nbAssignments=28
1.03 nbFailedAssignments=5 nbBacktracks=14 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.091 cpuTime=0.07 mem=15M582
1.05
1.05 search
1.05 run=1 nbConstraintChecks=105582 nbPropagations=4273 nbRevisions=42300 nbUselessRevisions=35331
1.05 nbAssignments=61 nbFailedAssignments=14 nbBacktracks=29 nbVisitedNodes=91 nbRestartNogoods=2 mapSize=22
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.113 cpuTime=0.08 mem=15M582
1.07
1.07 search
1.07 run=2 nbConstraintChecks=192576 nbPropagations=7790 nbRevisions=82208 nbUselessRevisions=68336
1.07 nbAssignments=107 nbFailedAssignments=26 nbBacktracks=53 nbVisitedNodes=165 nbRestartNogoods=4 mapSize=41
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.131 cpuTime=0.1 mem=15M582
1.09
1.09 search
1.09 run=3 nbConstraintChecks=288557 nbPropagations=12427 nbRevisions=137784 nbUselessRevisions=114177
1.09 nbAssignments=169 nbFailedAssignments=44 nbBacktracks=86 nbVisitedNodes=260 nbRestartNogoods=7 mapSize=63
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.15 cpuTime=0.12 mem=15M582
1.12
1.12 search
1.12 run=4 nbConstraintChecks=436249 nbPropagations=18683 nbRevisions=216262 nbUselessRevisions=178694
1.12 nbAssignments=257 nbFailedAssignments=71 nbBacktracks=137 nbVisitedNodes=398 nbRestartNogoods=9 mapSize=96
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.179 cpuTime=0.14 mem=15M582
1.17
1.17 search
1.17 run=5 nbConstraintChecks=668168 nbPropagations=27694 nbRevisions=337034 nbUselessRevisions=277963
1.17 nbAssignments=388 nbFailedAssignments=115 nbBacktracks=213 nbVisitedNodes=620 nbRestartNogoods=14 mapSize=164
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.232 cpuTime=0.19 mem=15M582
1.22
1.22 search
1.22 run=6 nbConstraintChecks=938933 nbPropagations=39839 nbRevisions=504550 nbUselessRevisions=415392
1.22 nbAssignments=570 nbFailedAssignments=169 nbBacktracks=329 nbVisitedNodes=906 nbRestartNogoods=19 mapSize=239
1.22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.281 cpuTime=0.23 mem=15M582
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1407151 nbPropagations=57625 nbRevisions=759472 nbUselessRevisions=625263
1.30 nbAssignments=850 nbFailedAssignments=267 nbBacktracks=499 nbVisitedNodes=1380 nbRestartNogoods=23 mapSize=379
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.366 cpuTime=0.32 mem=15M582
1.44
1.44 search
1.44 run=8 nbConstraintChecks=2158163 nbPropagations=84325 nbRevisions=1144943 nbUselessRevisions=940877
1.44 nbAssignments=1297 nbFailedAssignments=433 nbBacktracks=757 nbVisitedNodes=2113 nbRestartNogoods=31
1.44 mapSize=585 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.504 cpuTime=0.45 mem=15M582
1.62
1.62 search
1.62 run=9 nbConstraintChecks=3108658 nbPropagations=122539 nbRevisions=1706202 nbUselessRevisions=1400227
1.62 nbAssignments=1891 nbFailedAssignments=636 nbBacktracks=1141 nbVisitedNodes=3121 nbRestartNogoods=34
1.62 mapSize=897 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.684 cpuTime=0.62 mem=15M582
1.69
1.69 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M582)
1.86
1.86 search
1.86 run=10 nbConstraintChecks=4591509 nbPropagations=177731 nbRevisions=2534714 nbUselessRevisions=2079790
1.86 nbAssignments=2809 nbFailedAssignments=968 nbBacktracks=1718 nbVisitedNodes=4653 nbRestartNogoods=38
1.86 => wckTime=0.928 cpuTime=0.85 mem=15M582
2.20
2.20 search
2.20 run=11 nbConstraintChecks=6800584 nbPropagations=258479 nbRevisions=3752106 nbUselessRevisions=3077016
2.20 nbAssignments=4182 nbFailedAssignments=1465 nbBacktracks=2583 nbVisitedNodes=6960 nbRestartNogoods=47
2.20 => wckTime=1.262 cpuTime=1.18 mem=15M582
2.71
2.72 search
2.72 run=12 nbConstraintChecks=10203302 nbPropagations=377804 nbRevisions=5575720 nbUselessRevisions=4570396
2.72 nbAssignments=6271 nbFailedAssignments=2244 nbBacktracks=3882 nbVisitedNodes=10461 nbRestartNogoods=52
2.72 => wckTime=1.779 cpuTime=1.69 mem=15M582
3.53
3.53 search
3.53 run=13 nbConstraintChecks=15585369 nbPropagations=560020 nbRevisions=8374039 nbUselessRevisions=6864490
3.53 nbAssignments=9517 nbFailedAssignments=3515 nbBacktracks=5829 nbVisitedNodes=16000 nbRestartNogoods=60
3.53 => wckTime=2.599 cpuTime=2.5 mem=15M582
4.67
4.67 search
4.67 run=14 nbConstraintChecks=23058045 nbPropagations=828637 nbRevisions=12520081 nbUselessRevisions=10263133
4.67 nbAssignments=14105 nbFailedAssignments=5173 nbBacktracks=8748 nbVisitedNodes=23773 nbRestartNogoods=67
4.67 => wckTime=3.732 cpuTime=3.63 mem=15M582
6.40
6.40 search
6.40 run=15 nbConstraintChecks=34027225 nbPropagations=1232689 nbRevisions=18756863 nbUselessRevisions=15386016
6.40 nbAssignments=21217 nbFailedAssignments=7896 nbBacktracks=13128 nbVisitedNodes=35929 nbRestartNogoods=77
6.40 => wckTime=5.461 cpuTime=5.35 mem=16M558
9.23
9.23 search
9.23 run=16 nbConstraintChecks=52613226 nbPropagations=1854254 nbRevisions=28359651 nbUselessRevisions=23267138
9.23 nbAssignments=32198 nbFailedAssignments=12298 nbBacktracks=19696 nbVisitedNodes=54904 nbRestartNogoods=82
9.23 => wckTime=8.29 cpuTime=8.16 mem=16M558
13.33
13.33 search
13.33 run=17 nbConstraintChecks=81020690 nbPropagations=2777552 nbRevisions=42606557 nbUselessRevisions=34905814
13.33 nbAssignments=47823 nbFailedAssignments=18060 nbBacktracks=29549 nbVisitedNodes=81195 nbRestartNogoods=91
13.33 => wckTime=12.398 cpuTime=12.25 mem=16M558
19.44
19.44 search
19.44 run=18 nbConstraintChecks=120461998 nbPropagations=4160937 nbRevisions=64069510 nbUselessRevisions=52473153
19.44 nbAssignments=71672 nbFailedAssignments=27116 nbBacktracks=44329 nbVisitedNodes=121856 nbRestartNogoods=95
19.44 => wckTime=18.502 cpuTime=18.32 mem=16M558
28.58
28.58 search
28.58 run=19 nbConstraintChecks=182712895 nbPropagations=6227031 nbRevisions=96250698 nbUselessRevisions=78809542
28.58 nbAssignments=107065 nbFailedAssignments=40330 nbBacktracks=66498 nbVisitedNodes=181831 nbRestartNogoods=108
28.58 => wckTime=27.646 cpuTime=27.42 mem=16M558
42.53
42.53 search
42.53 run=20 nbConstraintChecks=272255129 nbPropagations=9363701 nbRevisions=145061736 nbUselessRevisions=118831478
42.53 nbAssignments=161617 nbFailedAssignments=61617 nbBacktracks=99753 nbVisitedNodes=275936 nbRestartNogoods=118
42.53 => wckTime=41.597 cpuTime=41.3 mem=16M558
62.27
62.27 search
62.27 run=21 nbConstraintChecks=403727317 nbPropagations=13982684 nbRevisions=216958137 nbUselessRevisions=177744489
62.27 nbAssignments=239946 nbFailedAssignments=90057 nbBacktracks=149632 nbVisitedNodes=407714 nbRestartNogoods=127
62.27 => wckTime=61.331 cpuTime=60.95 mem=16M558
92.26
92.26 search
92.26 run=22 nbConstraintChecks=595761077 nbPropagations=20908044 nbRevisions=324801668 nbUselessRevisions=266276762
92.26 nbAssignments=360450 nbFailedAssignments=135715 nbBacktracks=224452 nbVisitedNodes=612919 nbRestartNogoods=141
92.26 => wckTime=91.322 cpuTime=90.8 mem=16M558
136.82
136.82 search
136.82 run=23 nbConstraintChecks=888560913 nbPropagations=31183694 nbRevisions=485517502 nbUselessRevisions=398263346
136.82 nbAssignments=538475 nbFailedAssignments=201501 nbBacktracks=336681 nbVisitedNodes=913704 nbRestartNogoods=153
136.82 => wckTime=135.882 cpuTime=135.14 mem=16M558
206.66
206.66 search
206.66 run=24 nbConstraintChecks=1343921741 nbPropagations=46725352 nbRevisions=729156989 nbUselessRevisions=598455117
206.66 nbAssignments=808686 nbFailedAssignments=303360 nbBacktracks=505023 nbVisitedNodes=1375179 nbRestartNogoods=171
206.66 => wckTime=205.722 cpuTime=204.66 mem=16M558
316.35
316.35 search
316.35 run=25 nbConstraintChecks=2083565829 nbPropagations=70360211 nbRevisions=1101617466
316.35 nbUselessRevisions=904409186 nbAssignments=1219380 nbFailedAssignments=461532 nbBacktracks=757535
316.35 nbVisitedNodes=2079024 nbRestartNogoods=188
316.35 => wckTime=315.415 cpuTime=313.83 mem=16M558
481.22
481.22 search
481.22 run=26 nbConstraintChecks=3149072078 nbPropagations=106528751 nbRevisions=1671264730
481.22 nbUselessRevisions=1372938302 nbAssignments=1843637 nbFailedAssignments=707009 nbBacktracks=1136306
481.22 nbVisitedNodes=3158484 nbRestartNogoods=203
481.22 => wckTime=480.28 cpuTime=477.92 mem=16M558
713.80
713.80 search
713.80 run=27 nbConstraintChecks=4701421683 nbPropagations=159972654 nbRevisions=2513040504
713.80 nbUselessRevisions=2064577645 nbAssignments=2745598 nbFailedAssignments=1040807 nbBacktracks=1704460
713.80 nbVisitedNodes=4682968 nbRestartNogoods=218
713.80 => wckTime=712.86 cpuTime=709.4 mem=16M558
1063.62
1063.62 search
1063.62 run=28 nbConstraintChecks=6938951903 nbPropagations=240081209 nbRevisions=3773787626
1063.62 nbUselessRevisions=3101827502 nbAssignments=4126073 nbFailedAssignments=1569044 nbBacktracks=2556688
1063.62 nbVisitedNodes=7045530 nbRestartNogoods=228
1063.62 => wckTime=1062.686 cpuTime=1057.57 mem=16M558
1602.11
1602.11 search
1602.11 run=29 nbConstraintChecks=10538978239 nbPropagations=360149856 nbRevisions=5670069635
1602.11 nbUselessRevisions=4661432668 nbAssignments=6172999 nbFailedAssignments=2337622 nbBacktracks=3835028
1602.11 nbVisitedNodes=10531870 nbRestartNogoods=239
1602.11 => wckTime=1601.174 cpuTime=1594.05 mem=16M558
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-195079-1168110609 -o ROOT/results/node20/solver-195079-1168110609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195079-1168110609/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.92 1.05 1.41 5/84 32506
/proc/meminfo: memFree=1659704/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=168 CPUtime=0
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 159455462 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7619364 0 0 4096 0 0 0 0 17 1 0 0
/proc/32505/statm: 42 23 18 14 0 2 0
[startup+0.105305 s]
/proc/loadavg: 0.92 1.05 1.41 5/84 32506
/proc/meminfo: memFree=1659704/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=914988 CPUtime=0.08
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 2951 0 1 0 7 1 0 0 17 0 8 0 159455462 936947712 2697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155585262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513355 s]
/proc/loadavg: 0.92 1.05 1.41 5/84 32506
/proc/meminfo: memFree=1659704/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915328 CPUtime=0.49
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 6833 0 1 0 45 4 0 0 18 0 8 0 159455462 937295872 6572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228832 6572 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33845 s]
/proc/loadavg: 0.92 1.05 1.41 3/101 32541
/proc/meminfo: memFree=1561248/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1.3
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9626 0 1 0 123 7 0 0 24 0 8 0 159455462 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9364 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 17 0 8 0 159455467 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.22
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 159455471 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97565 s]
/proc/loadavg: 0.92 1.05 1.41 3/102 32542
/proc/meminfo: memFree=1555544/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=2.94
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9643 0 1 0 286 8 0 0 25 0 8 0 159455462 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9380 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26804 s]
/proc/loadavg: 1.01 1.06 1.41 3/102 32542
/proc/meminfo: memFree=1555352/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=6.21
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9644 0 1 0 613 8 0 0 25 0 8 0 159455462 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9380 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 399 0 0 0 25 1 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7468 s]
/proc/loadavg: 1.09 1.08 1.41 3/102 32542
/proc/meminfo: memFree=1555368/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=12.66
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9644 0 1 0 1258 8 0 0 25 0 8 0 159455462 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9380 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6194 s]
/proc/loadavg: 1.29 1.12 1.42 3/102 32542
/proc/meminfo: memFree=1555432/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=25.47
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9644 0 1 0 2539 8 0 0 25 0 8 0 159455462 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9380 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2295 s]
/proc/loadavg: 1.53 1.19 1.44 3/102 32542
/proc/meminfo: memFree=1555496/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=50.96
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9646 0 1 0 5087 9 0 0 25 0 8 0 159455462 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812597 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9381 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915460
[startup+102.444 s]
/proc/loadavg: 1.79 1.32 1.46 3/102 32542
/proc/meminfo: memFree=1555560/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=101.93
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9646 0 1 0 10184 9 0 0 25 0 8 0 159455462 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9381 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.509 s]
/proc/loadavg: 1.92 1.44 1.49 3/102 32542
/proc/meminfo: memFree=1534184/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=161.72
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9646 0 1 0 16162 10 0 0 25 0 8 0 159455462 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.1
Current children cumulated vsize (KiB) 915460
[startup+1483.92 s]
/proc/loadavg: 2.01 2.01 1.87 3/102 32544
/proc/meminfo: memFree=1485360/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1476.89
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 147668 21 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.89
Current children cumulated vsize (KiB) 915460
[startup+1543.98 s]
/proc/loadavg: 2.06 2.02 1.88 3/102 32544
/proc/meminfo: memFree=1485360/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1536.93
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 153672 21 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.93
Current children cumulated vsize (KiB) 915460
[startup+1604.08 s]
/proc/loadavg: 2.08 2.03 1.89 3/102 32544
/proc/meminfo: memFree=1485360/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1597.02
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 159680 22 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) R 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.02
Current children cumulated vsize (KiB) 915460
[startup+1664.1 s]
/proc/loadavg: 2.03 2.02 1.90 3/102 32544
/proc/meminfo: memFree=1459184/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1657.02
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 165680 22 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.02
Current children cumulated vsize (KiB) 915460
[startup+1724.16 s]
/proc/loadavg: 2.01 2.02 1.90 3/102 32544
/proc/meminfo: memFree=1459184/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1717.06
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 171683 23 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.06
Current children cumulated vsize (KiB) 915460
[startup+1784.21 s]
/proc/loadavg: 2.07 2.03 1.91 3/102 32544
/proc/meminfo: memFree=1459184/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1777.09
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 177686 23 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.09
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.19 s]
/proc/loadavg: 2.05 2.03 1.91 5/102 32544
/proc/meminfo: memFree=1459120/2055920 swapFree=4170284/4192956
[pid=32505] ppid=32500 vsize=915460 CPUtime=1800.08
/proc/32505/stat : 32505 (java) R 32500 32505 32400 0 -1 0 9647 0 1 0 179985 23 0 0 25 0 8 0 159455462 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32505/statm: 228865 9382 2524 14 0 215335 0
[pid=32505/tid=32520] ppid=32500 vsize=915460 CPUtime=0.03
/proc/32505/task/32520/stat : 32520 (java) S 32500 32505 32400 0 -1 64 409 0 0 0 3 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32522] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32522/stat : 32522 (java) S 32500 32505 32400 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32523] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32523/stat : 32523 (java) S 32500 32505 32400 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159455467 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32531] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32531/stat : 32531 (java) S 32500 32505 32400 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32532] ppid=32500 vsize=915460 CPUtime=0.26
/proc/32505/task/32532/stat : 32532 (java) S 32500 32505 32400 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32533] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32533/stat : 32533 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32505/tid=32534] ppid=32500 vsize=915460 CPUtime=0
/proc/32505/task/32534/stat : 32534 (java) S 32500 32505 32400 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159455471 937431040 9382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.27
CPU time (s): 1800.15
CPU user time (s): 1799.9
CPU system time (s): 0.244962
CPU usage (%): 99.6063
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9665
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= 37731
involuntary context switches= 19389
runsolver used 2.26865 s user time and 5.74713 s system time
The end
Begin job on node20 on Sat Jan 6 19:10:09 UTC 2007
IDJOB= 195079
IDBENCH= 3248
FILE ID= node20/195079-1168110609
PBS_JOBID= 3477355
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195079-1168110609/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-195079-1168110609 -o ROOT/results/node20/solver-195079-1168110609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195079-1168110609/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9c94ced3d8abad5ff069c7d6dacdeddc
RANDOM SEED= 900677791
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.216
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.216
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: 1660184 kB
Buffers: 48524 kB
Cached: 246172 kB
SwapCached: 4300 kB
Active: 132504 kB
Inactive: 193060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1660184 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 6080 kB
Writeback: 0 kB
Mapped: 44620 kB
Slab: 54960 kB
Committed_AS: 2990680 kB
PageTables: 2324 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66542 MiB
End job on node20 on Sat Jan 6 19:40:18 UTC 2007