0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/211108-1168205498/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.62 nbVariables=3655 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.62 => wckTime=0.289 cpuTime=0.2 mem=13M728
0.62
0.62 predicates being loaded...
0.64
0.64 constraints being loaded...
4.37 nbConstraints=8070 nbMergedConstraints=615 nbSingletonDomainVariables=519 nbConvertedConstraints=5233
4.37 nbConvertConstraintsChecks=557166 nbExtensionStructures=9 nbSharedExtensionStructures=5224
4.37 nbConflictsStructures=57 nbSharedConflictsStructures=8013 nbSharedBinaryRepresentations=21
4.37 nbEvaluationManagers=48 nbSharedEvaluationManagers=2789 maxDegree=166 maxArity=15
4.37 => wckTime=4.035 cpuTime=3.61 mem=26M731
4.48
4.48 solver IterativeSystematicSolver being built...
4.93 => wckTime=4.598 cpuTime=3.95 mem=20M246
14.94
14.94 preprocessing
14.94 nbConstraintChecks=942233 nbValidityChecks=251718 nbPropagations=15966 nbRevisions=171010
14.94 nbUselessRevisions=162188 nbSingletonTests=3673 nbEffectiveSingletonTests=0 nbESACBranches=15 nbRemovedValues=0
14.94 detectedInconsistency=no
14.94 => wckTime=9.991 cpuTime=9.84 mem=21M254
17.01
17.01 search
17.01 run=0 nbConstraintChecks=60129 nbValidityChecks=50440 nbPropagations=18350 nbRevisions=204995
17.01 nbUselessRevisions=193857 nbAssignments=421 nbFailedAssignments=7 nbBacktracks=18 nbVisitedNodes=433
17.01 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
17.01 => wckTime=12.064 cpuTime=11.87 mem=22M263
21.67
21.67 search
21.67 run=1 nbConstraintChecks=705809 nbValidityChecks=311065 nbPropagations=50512 nbRevisions=592299
21.67 nbUselessRevisions=556873 nbAssignments=2319 nbFailedAssignments=9 nbBacktracks=49 nbVisitedNodes=848
21.67 nbRestartNogoods=7 mapSize=7 nbInferences=0 nbTooLargeKeys=0
21.67 => wckTime=16.724 cpuTime=16.48 mem=22M263
23.61
23.61 search
23.61 run=2 nbConstraintChecks=743637 nbValidityChecks=360053 nbPropagations=85052 nbRevisions=1012829
23.61 nbUselessRevisions=950813 nbAssignments=2743 nbFailedAssignments=11 nbBacktracks=82 nbVisitedNodes=1279
23.61 nbRestartNogoods=8 mapSize=13 nbInferences=0 nbTooLargeKeys=0
23.61 => wckTime=18.669 cpuTime=18.4 mem=22M263
25.62
25.62 search
25.62 run=3 nbConstraintChecks=781360 nbValidityChecks=409011 nbPropagations=121946 nbRevisions=1466479
25.62 nbUselessRevisions=1375602 nbAssignments=3177 nbFailedAssignments=13 nbBacktracks=119 nbVisitedNodes=1719
25.62 nbRestartNogoods=9 mapSize=18 nbInferences=0 nbTooLargeKeys=0
25.62 => wckTime=20.679 cpuTime=20.39 mem=23M271
27.69
27.69 search
27.69 run=4 nbConstraintChecks=819108 nbValidityChecks=458515 nbPropagations=161203 nbRevisions=1953549
27.69 nbUselessRevisions=1831556 nbAssignments=3627 nbFailedAssignments=16 nbBacktracks=170 nbVisitedNodes=2176
27.69 nbRestartNogoods=10 mapSize=23 nbInferences=0 nbTooLargeKeys=0
27.69 => wckTime=22.753 cpuTime=22.44 mem=23M271
29.97
29.97 search
29.97 run=5 nbConstraintChecks=910889 nbValidityChecks=510500 nbPropagations=203046 nbRevisions=2476086
29.97 nbUselessRevisions=2320430 nbAssignments=4090 nbFailedAssignments=25 nbBacktracks=248 nbVisitedNodes=2658
29.97 nbRestartNogoods=12 mapSize=41 nbInferences=0 nbTooLargeKeys=0
29.97 => wckTime=25.03 cpuTime=24.69 mem=24M280
32.48
32.48 search
32.48 run=6 nbConstraintChecks=1016551 nbValidityChecks=566626 nbPropagations=249093 nbRevisions=3042525
32.48 nbUselessRevisions=2848863 nbAssignments=4593 nbFailedAssignments=47 nbBacktracks=365 nbVisitedNodes=3207
32.48 nbRestartNogoods=13 mapSize=85 nbInferences=2 nbTooLargeKeys=0
32.48 => wckTime=27.535 cpuTime=27.18 mem=24M280
34.64
34.64 search
34.64 run=7 nbConstraintChecks=1055105 nbValidityChecks=614772 nbPropagations=299252 nbRevisions=3647862
34.64 nbUselessRevisions=3412020 nbAssignments=5085 nbFailedAssignments=68 nbBacktracks=549 nbVisitedNodes=3737
34.64 nbRestartNogoods=14 mapSize=120 nbInferences=2 nbTooLargeKeys=0
34.64 => wckTime=29.695 cpuTime=29.32 mem=24M280
37.38
37.38 search
37.38 run=8 nbConstraintChecks=1108128 nbValidityChecks=666562 nbPropagations=356443 nbRevisions=4304838
37.38 nbUselessRevisions=4019623 nbAssignments=5751 nbFailedAssignments=100 nbBacktracks=824 nbVisitedNodes=4404
37.38 nbRestartNogoods=17 mapSize=184 nbInferences=2 nbTooLargeKeys=0
37.38 => wckTime=32.442 cpuTime=32.04 mem=25M288
40.58
40.58 search
40.58 run=9 nbConstraintChecks=1165350 nbValidityChecks=720528 nbPropagations=421290 nbRevisions=5017775
40.58 nbUselessRevisions=4675441 nbAssignments=6593 nbFailedAssignments=135 nbBacktracks=1217 nbVisitedNodes=5174
40.58 nbRestartNogoods=20 mapSize=258 nbInferences=2 nbTooLargeKeys=0
40.58 => wckTime=35.634 cpuTime=35.2 mem=26M297
45.62
45.62 search
45.62 run=10 nbConstraintChecks=1398467 nbValidityChecks=806389 nbPropagations=498499 nbRevisions=5820708
45.62 nbUselessRevisions=5408071 nbAssignments=7541 nbFailedAssignments=226 nbBacktracks=1797 nbVisitedNodes=6312
45.62 nbRestartNogoods=22 mapSize=430 nbInferences=5 nbTooLargeKeys=0
45.62 => wckTime=40.679 cpuTime=40.19 mem=26M297
50.90
50.90 search
50.90 run=11 nbConstraintChecks=1600354 nbValidityChecks=900716 nbPropagations=591221 nbRevisions=6729980
50.90 nbUselessRevisions=6230718 nbAssignments=8803 nbFailedAssignments=322 nbBacktracks=2670 nbVisitedNodes=7705
50.90 nbRestartNogoods=26 mapSize=613 nbInferences=5 nbTooLargeKeys=0
50.90 => wckTime=45.958 cpuTime=45.42 mem=27M305
62.48
62.48 search
62.48 run=12 nbConstraintChecks=1821340 nbValidityChecks=1030038 nbPropagations=698698 nbRevisions=7763370
62.48 nbUselessRevisions=7162593 nbAssignments=11507 nbFailedAssignments=403 nbBacktracks=3967 nbVisitedNodes=9840
62.48 nbRestartNogoods=32 mapSize=750 nbInferences=5 nbTooLargeKeys=0
62.48 => wckTime=57.535 cpuTime=56.88 mem=29M323
87.08
87.08 search
87.08 run=13 nbConstraintChecks=3044492 nbValidityChecks=1622947 nbPropagations=835293 nbRevisions=9243369
87.08 nbUselessRevisions=8512441 nbAssignments=17627 nbFailedAssignments=686 nbBacktracks=5922 nbVisitedNodes=13677
87.08 nbRestartNogoods=41 mapSize=1310 nbInferences=9 nbTooLargeKeys=0
87.08 => wckTime=82.139 cpuTime=81.27 mem=31M340
117.74
117.74 search
117.74 run=14 nbConstraintChecks=4558366 nbValidityChecks=2167101 nbPropagations=1009450 nbRevisions=11136172
117.74 nbUselessRevisions=10238342 nbAssignments=25392 nbFailedAssignments=931 nbBacktracks=8842 nbVisitedNodes=18761
117.74 nbRestartNogoods=51 mapSize=2259 nbInferences=439 nbTooLargeKeys=0
117.74 => wckTime=112.794 cpuTime=111.65 mem=32M348
156.80
156.80 search
156.80 run=15 nbConstraintChecks=5868019 nbValidityChecks=2591719 nbPropagations=1223215 nbRevisions=13393686
156.80 nbUselessRevisions=12288931 nbAssignments=32607 nbFailedAssignments=1354 nbBacktracks=13233
156.80 nbVisitedNodes=26135 nbRestartNogoods=58 mapSize=3577 nbInferences=859 nbTooLargeKeys=0
156.80 => wckTime=151.861 cpuTime=150.35 mem=35M374
187.11
187.11 search
187.11 run=16 nbConstraintChecks=7135530 nbValidityChecks=3120947 nbPropagations=1582874 nbRevisions=16524821
187.11 nbUselessRevisions=15060524 nbAssignments=41982 nbFailedAssignments=2022 nbBacktracks=19806
187.11 nbVisitedNodes=35160 nbRestartNogoods=67 mapSize=5104 nbInferences=935 nbTooLargeKeys=0
187.11 => wckTime=182.165 cpuTime=180.37 mem=40M417
258.13
258.13 search
258.13 run=17 nbConstraintChecks=8155337 nbValidityChecks=3453177 nbPropagations=2044016 nbRevisions=20192029
258.13 nbUselessRevisions=18262418 nbAssignments=53800 nbFailedAssignments=3340 nbBacktracks=29675
258.13 nbVisitedNodes=49790 nbRestartNogoods=75 mapSize=7861 nbInferences=1195 nbTooLargeKeys=0
258.13 => wckTime=253.188 cpuTime=250.74 mem=46M468
340.67
340.67 search
340.67 run=18 nbConstraintChecks=10310957 nbValidityChecks=4146922 nbPropagations=2772732 nbRevisions=25344712
340.67 nbUselessRevisions=22662042 nbAssignments=70710 nbFailedAssignments=4369 nbBacktracks=44465
340.67 nbVisitedNodes=68356 nbRestartNogoods=85 mapSize=10266 nbInferences=1326 nbTooLargeKeys=0
340.67 => wckTime=335.733 cpuTime=332.55 mem=57M562
472.16
472.16 search
472.16 run=19 nbConstraintChecks=13530691 nbValidityChecks=5180224 nbPropagations=3936241 nbRevisions=32863262
472.16 nbUselessRevisions=28963585 nbAssignments=95149 nbFailedAssignments=6303 nbBacktracks=66633
472.16 nbVisitedNodes=97097 nbRestartNogoods=94 mapSize=14528 nbInferences=1425 nbTooLargeKeys=0
472.16 => wckTime=467.221 cpuTime=462.77 mem=36M310
666.59
666.59 search
666.59 run=20 nbConstraintChecks=19240756 nbValidityChecks=6717375 nbPropagations=5541655 nbRevisions=43413465
666.59 nbUselessRevisions=37833406 nbAssignments=132556 nbFailedAssignments=9537 nbBacktracks=99887
666.59 nbVisitedNodes=141456 nbRestartNogoods=107 mapSize=21773 nbInferences=1847 nbTooLargeKeys=0
666.59 => wckTime=661.65 cpuTime=655.45 mem=62M532
979.53
979.54 search
979.54 run=21 nbConstraintChecks=27399402 nbValidityChecks=11927641 nbPropagations=8172090 nbRevisions=61400640
979.54 nbUselessRevisions=53073183 nbAssignments=191629 nbFailedAssignments=13942 nbBacktracks=149769
979.54 nbVisitedNodes=213744 nbRestartNogoods=116 mapSize=35228 nbInferences=6048 nbTooLargeKeys=0
979.54 => wckTime=974.594 cpuTime=968.0 mem=60M578
1389.50
1389.50 search
1389.50 run=22 nbConstraintChecks=35197632 nbValidityChecks=14535725 nbPropagations=11750691 nbRevisions=85071830
1389.50 nbUselessRevisions=73011691 nbAssignments=277093 nbFailedAssignments=18576 nbBacktracks=224592
1389.50 nbVisitedNodes=313825 nbRestartNogoods=131 mapSize=50317 nbInferences=11421 nbTooLargeKeys=0
1389.50 => wckTime=1384.557 cpuTime=1377.49 mem=83M937
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-211108-1168205498 -o ROOT/results/node51/solver-211108-1168205498 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/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: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=18540 CPUtime=0
/proc/4539/stat : 4539 (runsolver) R 4537 4539 3446 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 168948337 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4539/statm: 4635 279 244 17 0 2626 0
[startup+0.107528 s]
/proc/loadavg: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=912908 CPUtime=0.08
/proc/4539/stat : 4539 (java) S 4537 4539 3446 0 -1 0 2838 0 1 0 7 1 0 0 18 0 8 0 168948337 934817792 2584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228227 2584 1392 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908
[startup+0.515599 s]
/proc/loadavg: 2.08 2.02 1.93 4/73 4540
/proc/meminfo: memFree=1562704/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915328 CPUtime=0.48
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 6386 0 1 0 43 5 0 0 18 0 8 0 168948337 937295872 6125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228832 6125 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33774 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1501592/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915644 CPUtime=1.3
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 17697 0 1 0 114 16 0 0 24 0 8 0 168948337 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228911 17435 2178 14 0 215381 0
[pid=4539/tid=4541] ppid=4537 vsize=915644 CPUtime=0.05
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 1086 0 0 0 5 0 0 0 17 0 8 0 168948341 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915644 CPUtime=0.2
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 417 0 0 0 19 1 0 0 16 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915644 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937619456 17435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644
[startup+2.98803 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1494488/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915648 CPUtime=2.94
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 19426 0 1 0 247 47 0 0 25 0 8 0 168948337 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228912 19162 2179 14 0 215382 0
[pid=4539/tid=4541] ppid=4537 vsize=915648 CPUtime=0.11
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 2784 0 0 0 10 1 0 0 17 0 8 0 168948341 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915648 CPUtime=0.24
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 445 0 0 0 23 1 0 0 16 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915648 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937623552 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648
[startup+6.27958 s]
/proc/loadavg: 2.07 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=6.2
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22938 0 1 0 569 51 0 0 25 0 8 0 168948337 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074218280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22654 2547 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 17 0 8 0 168948341 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.37
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 514 0 0 0 36 1 0 0 16 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915852
[startup+12.7707 s]
/proc/loadavg: 2.06 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481752/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=12.63
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22950 0 1 0 1212 51 0 0 25 0 8 0 168948337 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22661 2547 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.39
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 525 0 0 0 38 1 0 0 15 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915852
[startup+25.6499 s]
/proc/loadavg: 2.05 2.01 1.93 3/80 4547
/proc/meminfo: memFree=1481816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=25.39
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22978 0 1 0 2488 51 0 0 25 0 8 0 168948337 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22681 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.44
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 545 0 0 0 42 2 0 0 16 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915852
[startup+51.3202 s]
/proc/loadavg: 2.03 2.01 1.93 3/80 4547
/proc/meminfo: memFree=1481944/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=50.82
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22991 0 1 0 5030 52 0 0 25 0 8 0 168948337 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073887474 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22688 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 554 0 0 0 44 2 0 0 15 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 915852
[startup+102.616 s]
/proc/loadavg: 2.09 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481880/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=101.65
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22993 0 1 0 10113 52 0 0 25 0 8 0 168948337 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4539/statm: 228963 22689 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.29
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 5780 0 0 0 27 2 0 0 16 0 8 0 168948341 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 555 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 915852
[startup+162.644 s]
/proc/loadavg: 2.03 2.02 1.93 3/80 4547
/proc/meminfo: memFree=1481880/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=161.13
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 22993 0 1 0 16061 52 0 0 25 0 8 0 168948337 937832448 22689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074274942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.58
Current children cumulated vsize (KiB) 915852
[startup+1483.48 s]
/proc/loadavg: 2.03 2.03 2.00 3/88 4689
/proc/meminfo: memFree=1399512/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1476.55
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 147583 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.55
Current children cumulated vsize (KiB) 915852
[startup+1543.49 s]
/proc/loadavg: 2.04 2.03 2.00 3/88 4689
/proc/meminfo: memFree=1398808/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1536.5
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 153578 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.5
Current children cumulated vsize (KiB) 915852
[startup+1603.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/88 4689
/proc/meminfo: memFree=1398232/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1596.43
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 159571 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074274979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.43
Current children cumulated vsize (KiB) 915852
[startup+1663.61 s]
/proc/loadavg: 2.00 2.02 2.00 3/88 4689
/proc/meminfo: memFree=1397720/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1656.48
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 165576 72 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074259538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.48
Current children cumulated vsize (KiB) 915852
[startup+1723.63 s]
/proc/loadavg: 2.07 2.03 2.00 3/88 4760
/proc/meminfo: memFree=1409368/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1716.43
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 33560 0 1 0 171564 79 0 0 25 0 8 0 168948337 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074261115 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 33251 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.51
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 16340 0 0 0 44 7 0 0 16 0 8 0 168948341 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 33251 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.43
Current children cumulated vsize (KiB) 915852
[startup+1783.69 s]
/proc/loadavg: 2.02 2.02 2.00 3/94 4844
/proc/meminfo: memFree=1355640/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1776.37
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 36393 0 1 0 177551 86 0 0 25 0 8 0 168948337 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161079 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 36083 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.56
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 19172 0 0 0 48 8 0 0 16 0 8 0 168948341 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.37
Current children cumulated vsize (KiB) 915852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.39 s]
/proc/loadavg: 2.09 2.04 2.01 3/94 4900
/proc/meminfo: memFree=1342816/2055920 swapFree=4192812/4192956
[pid=4539] ppid=4537 vsize=915852 CPUtime=1800.05
/proc/4539/stat : 4539 (java) R 4537 4539 3446 0 -1 0 36393 0 1 0 179913 92 0 0 25 0 8 0 168948337 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074171034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4539/statm: 228963 36083 2548 14 0 215433 0
[pid=4539/tid=4541] ppid=4537 vsize=915852 CPUtime=0.56
/proc/4539/task/4541/stat : 4541 (java) S 4537 4539 3446 0 -1 64 19172 0 0 0 48 8 0 0 16 0 8 0 168948341 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4539/tid=4542] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4542/stat : 4542 (java) S 4537 4539 3446 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4543] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4543/stat : 4543 (java) S 4537 4539 3446 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168948342 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4544] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4544/stat : 4544 (java) S 4537 4539 3446 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4545] ppid=4537 vsize=915852 CPUtime=0.46
/proc/4539/task/4545/stat : 4545 (java) S 4537 4539 3446 0 -1 64 557 0 0 0 44 2 0 0 16 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4546] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4546/stat : 4546 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4539/tid=4547] ppid=4537 vsize=915852 CPUtime=0
/proc/4539/task/4547/stat : 4547 (java) S 4537 4539 3446 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168948346 937832448 36083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.46
CPU time (s): 1800.12
CPU user time (s): 1799.17
CPU system time (s): 0.945856
CPU usage (%): 99.5939
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.945856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36409
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= 38434
involuntary context switches= 31262
runsolver used 2.81557 s user time and 5.82411 s system time
The end
Begin job on node51 on Sun Jan 7 21:31:38 UTC 2007
IDJOB= 211108
IDBENCH= 4669
FILE ID= node51/211108-1168205498
PBS_JOBID= 3480758
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/43s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-211108-1168205498 -o ROOT/results/node51/solver-211108-1168205498 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211108-1168205498/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f109fba1726e5b50bd902881991bb051
RANDOM SEED= 526781825
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.277
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.277
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: 1563184 kB
Buffers: 33428 kB
Cached: 331120 kB
SwapCached: 0 kB
Active: 155860 kB
Inactive: 283988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1563184 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3052 kB
Writeback: 0 kB
Mapped: 88928 kB
Slab: 38296 kB
Committed_AS: 3598672 kB
PageTables: 1840 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 node51 on Sun Jan 7 22:01:45 UTC 2007