0.33
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/195060-1168110020/unknown.xml
0.39
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.72 nbConstraints=484 nbRelationTypes=484 nbExtensionStructures=484 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=484 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2660 maxDegree=28
0.72 maxArity=2
0.72 => wckTime=0.385 cpuTime=0.3 mem=17M711
0.77
0.77 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.587 cpuTime=0.43 mem=15M614
0.99
0.99 preprocessing
0.99 nbConstraintChecks=104487 nbPropagations=1210 nbRevisions=10377 nbUselessRevisions=8771 nbSingletonTests=61
0.99 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.06 cpuTime=0.03 mem=15M614
1.01
1.01 search
1.01 run=0 nbConstraintChecks=36726 nbPropagations=1658 nbRevisions=15523 nbUselessRevisions=13090 nbAssignments=27
1.01 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.088 cpuTime=0.06 mem=15M614
1.03
1.03 search
1.03 run=1 nbConstraintChecks=92683 nbPropagations=3978 nbRevisions=39506 nbUselessRevisions=33341 nbAssignments=66
1.03 nbFailedAssignments=13 nbBacktracks=25 nbVisitedNodes=90 nbRestartNogoods=3 mapSize=16 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.109 cpuTime=0.08 mem=15M614
1.06
1.06 search
1.06 run=2 nbConstraintChecks=208461 nbPropagations=7677 nbRevisions=79939 nbUselessRevisions=67358
1.06 nbAssignments=136 nbFailedAssignments=27 nbBacktracks=47 nbVisitedNodes=165 nbRestartNogoods=6 mapSize=34
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.13 cpuTime=0.1 mem=15M614
1.07
1.07 search
1.07 run=3 nbConstraintChecks=285193 nbPropagations=12352 nbRevisions=133819 nbUselessRevisions=112499
1.07 nbAssignments=195 nbFailedAssignments=40 nbBacktracks=80 nbVisitedNodes=253 nbRestartNogoods=9 mapSize=54
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.147 cpuTime=0.11 mem=15M614
1.10
1.10 search
1.10 run=4 nbConstraintChecks=442545 nbPropagations=18848 nbRevisions=214351 nbUselessRevisions=179424
1.10 nbAssignments=283 nbFailedAssignments=68 nbBacktracks=131 nbVisitedNodes=401 nbRestartNogoods=13 mapSize=97
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.178 cpuTime=0.14 mem=15M614
1.16
1.16 search
1.16 run=5 nbConstraintChecks=708840 nbPropagations=28361 nbRevisions=343191 nbUselessRevisions=286483
1.16 nbAssignments=429 nbFailedAssignments=128 nbBacktracks=206 nbVisitedNodes=655 nbRestartNogoods=15 mapSize=169
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.232 cpuTime=0.19 mem=15M614
1.21
1.21 search
1.21 run=6 nbConstraintChecks=1009006 nbPropagations=41580 nbRevisions=526299 nbUselessRevisions=438581
1.21 nbAssignments=640 nbFailedAssignments=191 nbBacktracks=323 nbVisitedNodes=962 nbRestartNogoods=19 mapSize=262
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.283 cpuTime=0.24 mem=15M614
1.30
1.30 search
1.30 run=7 nbConstraintChecks=1553089 nbPropagations=61137 nbRevisions=811126 nbUselessRevisions=675619
1.30 nbAssignments=971 nbFailedAssignments=321 nbBacktracks=493 nbVisitedNodes=1501 nbRestartNogoods=26 mapSize=411
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.371 cpuTime=0.32 mem=15M614
1.41
1.41 search
1.41 run=8 nbConstraintChecks=2203912 nbPropagations=88828 nbRevisions=1224650 nbUselessRevisions=1019492
1.41 nbAssignments=1408 nbFailedAssignments=489 nbBacktracks=750 nbVisitedNodes=2247 nbRestartNogoods=33
1.41 mapSize=633 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.484 cpuTime=0.43 mem=15M614
1.58
1.58 search
1.58 run=9 nbConstraintChecks=3263425 nbPropagations=128775 nbRevisions=1831451 nbUselessRevisions=1523026
1.58 nbAssignments=2020 nbFailedAssignments=707 nbBacktracks=1134 nbVisitedNodes=3277 nbRestartNogoods=41
1.58 mapSize=947 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.657 cpuTime=0.59 mem=15M614
1.62
1.62 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M614)
1.81
1.81 search
1.81 run=10 nbConstraintChecks=4723750 nbPropagations=185786 nbRevisions=2710426 nbUselessRevisions=2251799
1.81 nbAssignments=2953 nbFailedAssignments=1055 nbBacktracks=1712 nbVisitedNodes=4864 nbRestartNogoods=43
1.81 => wckTime=0.88 cpuTime=0.8 mem=15M614
2.11
2.11 search
2.11 run=11 nbConstraintChecks=6608467 nbPropagations=268045 nbRevisions=3990136 nbUselessRevisions=3314691
2.11 nbAssignments=4386 nbFailedAssignments=1607 nbBacktracks=2577 nbVisitedNodes=7314 nbRestartNogoods=44
2.11 => wckTime=1.182 cpuTime=1.1 mem=15M614
2.57
2.57 search
2.57 run=12 nbConstraintChecks=9768928 nbPropagations=388654 nbRevisions=5873481 nbUselessRevisions=4877749
2.57 nbAssignments=6409 nbFailedAssignments=2322 nbBacktracks=3875 nbVisitedNodes=10731 nbRestartNogoods=54
2.57 => wckTime=1.64 cpuTime=1.56 mem=15M614
3.32
3.32 search
3.32 run=13 nbConstraintChecks=14960780 nbPropagations=569849 nbRevisions=8757908 nbUselessRevisions=7273919
3.32 nbAssignments=9574 nbFailedAssignments=3526 nbBacktracks=5823 nbVisitedNodes=16119 nbRestartNogoods=61
3.32 => wckTime=2.391 cpuTime=2.3 mem=15M614
4.43
4.43 search
4.43 run=14 nbConstraintChecks=22592758 nbPropagations=842968 nbRevisions=13121689 nbUselessRevisions=10895029
4.43 nbAssignments=14385 nbFailedAssignments=5381 nbBacktracks=8742 nbVisitedNodes=24359 nbRestartNogoods=68
4.43 => wckTime=3.502 cpuTime=3.41 mem=15M614
6.03
6.03 search
6.03 run=15 nbConstraintChecks=33593507 nbPropagations=1251528 nbRevisions=19671769 nbUselessRevisions=16332751
6.03 nbAssignments=21574 nbFailedAssignments=8182 nbBacktracks=13120 nbVisitedNodes=36748 nbRestartNogoods=74
6.03 => wckTime=5.109 cpuTime=5.02 mem=15M614
8.51
8.51 search
8.51 run=16 nbConstraintChecks=50974231 nbPropagations=1863710 nbRevisions=29514201 nbUselessRevisions=24490953
8.51 nbAssignments=32241 nbFailedAssignments=12270 nbBacktracks=19690 nbVisitedNodes=55111 nbRestartNogoods=79
8.51 => wckTime=7.589 cpuTime=7.5 mem=16M589
11.86
11.86 search
11.86 run=17 nbConstraintChecks=72866387 nbPropagations=2764343 nbRevisions=43880628 nbUselessRevisions=36407037
11.86 nbAssignments=47956 nbFailedAssignments=18119 nbBacktracks=29547 nbVisitedNodes=81793 nbRestartNogoods=86
11.86 => wckTime=10.934 cpuTime=10.84 mem=16M589
17.19
17.19 search
17.19 run=18 nbConstraintChecks=109430592 nbPropagations=4102718 nbRevisions=65266640 nbUselessRevisions=54138889
17.19 nbAssignments=71314 nbFailedAssignments=26688 nbBacktracks=44325 nbVisitedNodes=121459 nbRestartNogoods=92
17.19 => wckTime=16.268 cpuTime=16.17 mem=16M589
25.48
25.48 search
25.48 run=19 nbConstraintChecks=167246189 nbPropagations=6127707 nbRevisions=97617828 nbUselessRevisions=80920647
25.48 nbAssignments=107619 nbFailedAssignments=40810 nbBacktracks=66496 nbVisitedNodes=183904 nbRestartNogoods=103
25.48 => wckTime=24.555 cpuTime=24.46 mem=16M589
37.80
37.80 search
37.80 run=20 nbConstraintChecks=251135342 nbPropagations=9171890 nbRevisions=146558516 nbUselessRevisions=121509352
37.80 nbAssignments=161396 nbFailedAssignments=61301 nbBacktracks=99750 nbVisitedNodes=276103 nbRestartNogoods=117
37.80 => wckTime=36.874 cpuTime=36.76 mem=16M589
56.07
56.07 search
56.07 run=21 nbConstraintChecks=377287418 nbPropagations=13713232 nbRevisions=219758985 nbUselessRevisions=182227690
56.07 nbAssignments=240676 nbFailedAssignments=90680 nbBacktracks=149628 nbVisitedNodes=410917 nbRestartNogoods=125
56.07 => wckTime=55.143 cpuTime=54.97 mem=16M589
83.50
83.50 search
83.50 run=22 nbConstraintChecks=561488842 nbPropagations=20532534 nbRevisions=329809371 nbUselessRevisions=273611610
83.50 nbAssignments=361820 nbFailedAssignments=136994 nbBacktracks=224446 nbVisitedNodes=618681 nbRestartNogoods=143
83.50 => wckTime=82.574 cpuTime=82.36 mem=16M589
125.06
125.06 search
125.06 run=23 nbConstraintChecks=853712367 nbPropagations=30776705 nbRevisions=494472914 nbUselessRevisions=410080613
125.06 nbAssignments=541211 nbFailedAssignments=204147 nbBacktracks=336674 nbVisitedNodes=924900 nbRestartNogoods=151
125.06 => wckTime=124.13 cpuTime=123.87 mem=16M589
187.35
187.35 search
187.35 run=24 nbConstraintChecks=1278306930 nbPropagations=46146369 nbRevisions=743525150 nbUselessRevisions=616890374
187.35 nbAssignments=812348 nbFailedAssignments=306931 nbBacktracks=505016 nbVisitedNodes=1389629 nbRestartNogoods=170
187.35 => wckTime=186.421 cpuTime=186.06 mem=16M589
276.49
276.49 search
276.49 run=25 nbConstraintChecks=1894838787 nbPropagations=68925471 nbRevisions=1109938393
276.49 nbUselessRevisions=920699980 nbAssignments=1209046 nbFailedAssignments=451105 nbBacktracks=757527
276.49 nbVisitedNodes=2060756 nbRestartNogoods=185
276.49 => wckTime=275.567 cpuTime=275.12 mem=16M589
422.41
422.41 search
422.41 run=26 nbConstraintChecks=2901234315 nbPropagations=103671163 nbRevisions=1673686037
422.41 nbUselessRevisions=1388887248 nbAssignments=1829777 nbFailedAssignments=693040 nbBacktracks=1136295
422.41 nbVisitedNodes=3131835 nbRestartNogoods=200
422.41 => wckTime=421.484 cpuTime=420.9 mem=16M589
631.31
631.31 search
631.31 run=27 nbConstraintChecks=4341435750 nbPropagations=155712557 nbRevisions=2516674419
631.31 nbUselessRevisions=2088632493 nbAssignments=2745415 nbFailedAssignments=1040512 nbBacktracks=1704447
631.31 nbVisitedNodes=4697379 nbRestartNogoods=215
631.31 => wckTime=630.384 cpuTime=629.58 mem=16M589
935.96
935.96 search
935.96 run=28 nbConstraintChecks=6433391934 nbPropagations=233019501 nbRevisions=3765251797
935.96 nbUselessRevisions=3124865614 nbAssignments=4095621 nbFailedAssignments=1538483 nbBacktracks=2556673
935.96 nbVisitedNodes=6993236 nbRestartNogoods=235
935.96 => wckTime=935.03 cpuTime=933.95 mem=16M589
1420.90
1420.90 search
1420.90 run=29 nbConstraintChecks=9762162459 nbPropagations=350163917 nbRevisions=5665726233
1420.90 nbUselessRevisions=4703233803 nbAssignments=6172039 nbFailedAssignments=2336549 nbBacktracks=3835013
1420.90 nbVisitedNodes=10570243 nbRestartNogoods=249
1420.90 => wckTime=1419.97 cpuTime=1418.37 mem=16M589
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-195060-1168110020 -o ROOT/results/node72/solver-195060-1168110020 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195060-1168110020/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.93 1.99 1.92 5/86 9851
/proc/meminfo: memFree=1346952/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=18540 CPUtime=0
/proc/9850/stat : 9850 (runsolver) R 9848 9850 9252 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 159410822 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9850/statm: 4635 279 244 17 0 2626 0
[startup+0.105006 s]
/proc/loadavg: 1.93 1.99 1.92 5/86 9851
/proc/meminfo: memFree=1346952/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=911488 CPUtime=0.07
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 2634 0 1 0 5 2 0 0 20 0 8 0 159410822 933363712 2381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9850/statm: 227872 2381 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.513042 s]
/proc/loadavg: 1.93 1.99 1.92 5/86 9851
/proc/meminfo: memFree=1346952/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915328 CPUtime=0.46
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 6756 0 1 0 41 5 0 0 16 0 8 0 159410822 937295872 6495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073586844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9850/statm: 228832 6495 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33412 s]
/proc/loadavg: 1.93 1.99 1.92 2/88 9873
/proc/meminfo: memFree=1343632/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1.28
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9694 0 1 0 120 8 0 0 17 0 8 0 159410822 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9432 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.2
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 159410831 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915548
[startup+2.97427 s]
/proc/loadavg: 1.93 1.99 1.92 3/101 9932
/proc/meminfo: memFree=1336296/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=2.91
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9712 0 1 0 283 8 0 0 18 0 8 0 159410822 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9449 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 17 0 8 0 159410826 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 400 0 0 0 22 2 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915548
[startup+6.18256 s]
/proc/loadavg: 1.94 1.99 1.92 3/101 9932
/proc/meminfo: memFree=1330096/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=6.13
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9713 0 1 0 604 9 0 0 25 0 8 0 159410822 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9449 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915548
[startup+12.6561 s]
/proc/loadavg: 1.94 1.99 1.92 4/101 9932
/proc/meminfo: memFree=1330032/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=12.6
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9713 0 1 0 1251 9 0 0 25 0 8 0 159410822 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9449 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915548
[startup+25.5243 s]
/proc/loadavg: 1.95 1.99 1.92 3/101 9932
/proc/meminfo: memFree=1330096/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=25.45
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9713 0 1 0 2536 9 0 0 25 0 8 0 159410822 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9449 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915548
[startup+51.1497 s]
/proc/loadavg: 1.97 1.99 1.92 3/107 10004
/proc/meminfo: memFree=1328856/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=51.01
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9713 0 1 0 5088 13 0 0 25 0 8 0 159410822 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837337 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9449 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 400 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9449 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915548
[startup+102.4 s]
/proc/loadavg: 1.98 1.99 1.92 3/107 10084
/proc/meminfo: memFree=1328944/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=102.18
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9715 0 1 0 10199 19 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 915548
[startup+162.493 s]
/proc/loadavg: 1.99 1.99 1.92 3/101 10134
/proc/meminfo: memFree=1329968/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=162.21
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 16199 22 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823026 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 915548
[startup+1483.85 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 10136
/proc/meminfo: memFree=1329968/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1482.21
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 148197 24 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 915548
[startup+1543.87 s]
/proc/loadavg: 2.04 2.01 1.95 3/101 10136
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1542.18
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 154193 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.18
Current children cumulated vsize (KiB) 915548
[startup+1603.96 s]
/proc/loadavg: 2.01 2.01 1.95 3/101 10136
/proc/meminfo: memFree=1329968/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1602.2
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 160195 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 915548
[startup+1664.03 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 10136
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1662.2
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 166195 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 915548
[startup+1724.13 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 10136
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1722.25
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 172200 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 915548
[startup+1784.23 s]
/proc/loadavg: 2.00 2.00 1.95 4/101 10136
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1782.29
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 178204 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 915548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.03 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 10136
/proc/meminfo: memFree=1329904/2055920 swapFree=4192812/4192956
[pid=9850] ppid=9848 vsize=915548 CPUtime=1800.07
/proc/9850/stat : 9850 (java) R 9848 9850 9252 0 -1 0 9716 0 1 0 179982 25 0 0 25 0 8 0 159410822 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817868 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9850/statm: 228887 9451 2524 14 0 215357 0
[pid=9850/tid=9852] ppid=9848 vsize=915548 CPUtime=0.03
/proc/9850/task/9852/stat : 9852 (java) S 9848 9850 9252 0 -1 64 415 0 0 0 3 0 0 0 16 0 8 0 159410826 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9853] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9853/stat : 9853 (java) S 9848 9850 9252 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9854] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9854/stat : 9854 (java) S 9848 9850 9252 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159410827 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9855] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9855/stat : 9855 (java) S 9848 9850 9252 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9856] ppid=9848 vsize=915548 CPUtime=0.24
/proc/9850/task/9856/stat : 9856 (java) S 9848 9850 9252 0 -1 64 402 0 0 0 22 2 0 0 16 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9850/tid=9857] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9857/stat : 9857 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9850/tid=9858] ppid=9848 vsize=915548 CPUtime=0
/proc/9850/task/9858/stat : 9858 (java) S 9848 9850 9252 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159410831 937521152 9451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.06
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.26296
CPU usage (%): 99.8913
Max. virtual memory (cumulated for all children) (KiB): 915548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.26296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9735
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= 37357
involuntary context switches= 62640
runsolver used 2.49862 s user time and 5.49616 s system time
The end
Begin job on node72 on Sat Jan 6 19:00:20 UTC 2007
IDJOB= 195060
IDBENCH= 3247
FILE ID= node72/195060-1168110020
PBS_JOBID= 3477328
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195060-1168110020/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-195060-1168110020 -o ROOT/results/node72/solver-195060-1168110020 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195060-1168110020/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f948212b2819e3fd0e98ce18eeb5756
RANDOM SEED= 936435044
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1347432 kB
Buffers: 47424 kB
Cached: 517112 kB
SwapCached: 0 kB
Active: 208696 kB
Inactive: 426740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1347432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2080 kB
Writeback: 0 kB
Mapped: 91120 kB
Slab: 57864 kB
Committed_AS: 2858424 kB
PageTables: 2288 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= 66550 MiB
End job on node72 on Sat Jan 6 19:30:22 UTC 2007