0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275124-1169217429/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=13 nbDomainTypes=1 minDomainSize=71 maxDomainSize=71
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
1.00 nbConstraints=2795 nbConvertedConstraints=78 nbConvertConstraintsChecks=5041 nbExtensionStructures=1
1.00 nbSharedExtensionStructures=77 nbConflictsStructures=1 nbSharedConflictsStructures=77
1.00 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=1 nbEvaluationManagers=5
1.00 nbSharedEvaluationManagers=2712 maxDegree=804 maxArity=4
1.00 => wckTime=0.681 cpuTime=0.53 mem=21M570
1.08
1.08 solver LocalSearchSolver being built...
1.12 => wckTime=0.798 cpuTime=0.58 mem=7M167
1.16
1.16 s SATISFIABLE
1.16 o 2758
1.16 c 37
1.20 o 2762
1.20 c 33
1.24 o 2765
1.24 c 30
1.25 o 2769
1.26 c 26
1.30 o 2771
1.30 c 24
1.32 o 2773
1.32 c 22
1.39 o 2774
1.39 c 21
1.44 o 2778
1.44 c 17
1.53 o 2779
1.53 c 16
1.54 o 2780
1.54 c 15
1.56 o 2781
1.56 c 14
1.72 o 2782
1.72 c 13
11.13 o 2783
11.16 c 12
24.82 o 2784
24.82 c 11
55.00
55.00 search
55.00 run=0 nbConstraintChecks=125579217 nbAssignments=1410
55.00 => wckTime=53.88 cpuTime=53.6 mem=7M167
55.00
55.00 global
55.00 nbConstraintChecks=125579217 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.00 solvingWckTime=53.877 solvingCpuTime=53.6 expiredTime=no totalExploration=no nbFoundSolutions=0
55.00 globalCpuTime=54.24
55.00 => wckTime=54.678 cpuTime=54.18 mem=7M167
55.00
55.00 solver IterativeSystematicSolver being built...
55.44 => wckTime=55.121 cpuTime=54.47 mem=38M423
55.96
55.96 preprocessing
55.96 nbConstraintChecks=775332 nbValidityChecks=23386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.96 nbRemovedValues=2 detectedInconsistency=no
55.96 => wckTime=0.519 cpuTime=0.5 mem=38M423
68.89
68.89 search
68.89 run=0 nbConstraintChecks=12693100 nbValidityChecks=47280157 nbPropagations=0 nbRevisions=0
68.89 nbUselessRevisions=0 nbAssignments=40 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=79
68.89 nbRestartNogoods=0
68.89 => wckTime=13.45 cpuTime=13.37 mem=38M423
84.47
84.47 search
84.47 run=1 nbConstraintChecks=27992908 nbValidityChecks=104757137 nbPropagations=0 nbRevisions=0
84.47 nbUselessRevisions=0 nbAssignments=94 nbFailedAssignments=64 nbBacktracks=25 nbVisitedNodes=184
84.47 nbRestartNogoods=7
84.47 => wckTime=29.032 cpuTime=28.93 mem=38M423
126.42
126.42 search
126.42 run=2 nbConstraintChecks=70158563 nbValidityChecks=254104702 nbPropagations=0 nbRevisions=0
126.42 nbUselessRevisions=0 nbAssignments=246 nbFailedAssignments=192 nbBacktracks=47 nbVisitedNodes=485
126.42 nbRestartNogoods=18
126.42 => wckTime=70.976 cpuTime=70.81 mem=38M423
142.80
142.80 search
142.80 run=3 nbConstraintChecks=84192991 nbValidityChecks=309122154 nbPropagations=0 nbRevisions=0
142.80 nbUselessRevisions=0 nbAssignments=450 nbFailedAssignments=357 nbBacktracks=80 nbVisitedNodes=887
142.80 nbRestartNogoods=21
142.80 => wckTime=87.359 cpuTime=87.19 mem=38M423
201.85
201.85 search
201.85 run=4 nbConstraintChecks=135069051 nbValidityChecks=554652995 nbPropagations=0 nbRevisions=0
201.85 nbUselessRevisions=0 nbAssignments=693 nbFailedAssignments=547 nbBacktracks=130 nbVisitedNodes=1370
201.85 nbRestartNogoods=80
201.85 => wckTime=146.409 cpuTime=146.07 mem=38M423
230.50
230.50 search
230.50 run=5 nbConstraintChecks=153723812 nbValidityChecks=647763283 nbPropagations=0 nbRevisions=0
230.50 nbUselessRevisions=0 nbAssignments=1205 nbFailedAssignments=979 nbBacktracks=205 nbVisitedNodes=2389
230.50 nbRestartNogoods=138
230.50 => wckTime=175.057 cpuTime=174.68 mem=38M423
338.78
338.78 search
338.78 run=6 nbConstraintChecks=246474546 nbValidityChecks=1057959355 nbPropagations=0 nbRevisions=0
338.78 nbUselessRevisions=0 nbAssignments=2134 nbFailedAssignments=1790 nbBacktracks=318 nbVisitedNodes=4242
338.78 nbRestartNogoods=186
338.78 => wckTime=283.336 cpuTime=282.79 mem=38M423
647.04
647.04 search
647.04 run=7 nbConstraintChecks=539520188 nbValidityChecks=2179785263 nbPropagations=0 nbRevisions=0
647.04 nbUselessRevisions=0 nbAssignments=3803 nbFailedAssignments=3284 nbBacktracks=489 nbVisitedNodes=7569
647.04 nbRestartNogoods=228
647.04 => wckTime=591.595 cpuTime=590.72 mem=38M423
1131.99
1131.99 search
1131.99 run=8 nbConstraintChecks=964448741 nbValidityChecks=3928612086 nbPropagations=0 nbRevisions=0
1131.99 nbUselessRevisions=0 nbAssignments=8110 nbFailedAssignments=7327 nbBacktracks=745 nbVisitedNodes=16175
1131.99 nbRestartNogoods=249
1131.99 => wckTime=1076.549 cpuTime=1075.16 mem=38M423
1271.38
1271.38 search
1271.38 run=9 nbConstraintChecks=1045232173 nbValidityChecks=4362586519 nbPropagations=0 nbRevisions=0
1271.38 nbUselessRevisions=0 nbAssignments=12571 nbFailedAssignments=11397 nbBacktracks=1129 nbVisitedNodes=25073
1271.38 nbRestartNogoods=317
1271.38 => wckTime=1215.938 cpuTime=1214.4 mem=38M423
1421.53
1421.53 search
1421.53 run=10 nbConstraintChecks=1132868176 nbValidityChecks=4766033624 nbPropagations=0 nbRevisions=0
1421.53 nbUselessRevisions=0 nbAssignments=18243 nbFailedAssignments=16485 nbBacktracks=1706 nbVisitedNodes=36366
1421.53 nbRestartNogoods=467
1421.53 => wckTime=1366.085 cpuTime=1364.36 mem=39M408
1572.13
1572.13 search
1572.13 run=11 nbConstraintChecks=1225864300 nbValidityChecks=5178829912 nbPropagations=0 nbRevisions=0
1572.13 nbUselessRevisions=0 nbAssignments=23174 nbFailedAssignments=20547 nbBacktracks=2570 nbVisitedNodes=46121
1572.13 nbRestartNogoods=506
1572.13 => wckTime=1516.685 cpuTime=1514.72 mem=39M408
1777.83
1777.83 search
1777.83 run=12 nbConstraintChecks=1350104984 nbValidityChecks=5759282374 nbPropagations=0 nbRevisions=0
1777.83 nbUselessRevisions=0 nbAssignments=29722 nbFailedAssignments=25791 nbBacktracks=3867 nbVisitedNodes=59012
1777.83 nbRestartNogoods=550
1777.83 => wckTime=1722.385 cpuTime=1720.18 mem=39M408
2060.88
2060.88 search
2060.88 run=13 nbConstraintChecks=1535078580 nbValidityChecks=6573638829 nbPropagations=0 nbRevisions=0
2060.88 nbUselessRevisions=0 nbAssignments=37201 nbFailedAssignments=31317 nbBacktracks=5813 nbVisitedNodes=73491
2060.88 nbRestartNogoods=581
2060.88 => wckTime=2005.435 cpuTime=2002.94 mem=39M408
2403.02 v 0 7 5 17 28 32 48 61 62 67 68 70 70
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-275124-1169217429 -o ROOT/results/node25/solver-275124-1169217429 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275124-1169217429/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.97 1.99 1.99 4/94 10364
/proc/meminfo: memFree=851848/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=18540 CPUtime=0
/proc/10363/stat : 10363 (runsolver) R 10361 10363 9750 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 270135339 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 215781797159 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10363/statm: 4635 279 244 17 0 2626 0
[startup+0.109908 s]
/proc/loadavg: 1.97 1.99 1.99 4/94 10364
/proc/meminfo: memFree=851848/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=914988 CPUtime=0.09
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 3004 0 1 0 8 1 0 0 17 0 8 0 270135339 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228747 2750 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517981 s]
/proc/loadavg: 1.97 1.99 1.99 4/94 10364
/proc/meminfo: memFree=851848/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915332 CPUtime=0.49
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 6408 0 1 0 45 4 0 0 19 0 8 0 270135339 937299968 6147 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228833 6147 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33911 s]
/proc/loadavg: 1.97 1.99 1.99 4/101 10371
/proc/meminfo: memFree=814544/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=1.3
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10894 0 1 0 111 19 0 0 24 0 8 0 270135339 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775520 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10632 2494 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 17 0 8 0 270135343 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 425 0 0 0 20 0 0 0 16 0 8 0 270135347 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10632 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) 915632
[startup+2.98039 s]
/proc/loadavg: 1.97 1.99 1.99 3/101 10371
/proc/meminfo: memFree=814416/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2.94
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10896 0 1 0 274 20 0 0 25 0 8 0 270135339 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10633 2494 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 17 0 8 0 270135343 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 426 0 0 0 20 0 0 0 16 0 8 0 270135347 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10633 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) 915632
[startup+6.27795 s]
/proc/loadavg: 1.97 1.99 1.99 4/101 10371
/proc/meminfo: memFree=809872/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=6.22
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10899 0 1 0 601 21 0 0 25 0 8 0 270135339 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10636 2496 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 16 0 8 0 270135343 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 429 0 0 0 20 0 0 0 16 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915632
[startup+12.7611 s]
/proc/loadavg: 1.97 1.99 1.99 3/101 10371
/proc/meminfo: memFree=803088/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=12.68
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10899 0 1 0 1246 22 0 0 25 0 8 0 270135339 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10636 2496 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 16 0 8 0 270135343 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 429 0 0 0 20 0 0 0 16 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915632
[startup+25.6352 s]
/proc/loadavg: 1.98 1.99 1.99 3/101 10371
/proc/meminfo: memFree=787792/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=25.49
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10899 0 1 0 2524 25 0 0 25 0 8 0 270135339 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10636 2496 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 16 0 8 0 270135343 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 429 0 0 0 20 0 0 0 16 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915632
[startup+51.2726 s]
/proc/loadavg: 1.98 1.99 1.99 3/101 10371
/proc/meminfo: memFree=782608/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=51
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 10900 0 1 0 5071 29 0 0 25 0 8 0 270135339 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10363/statm: 228908 10637 2496 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.05
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 562 0 0 0 5 0 0 0 16 0 8 0 270135343 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 270135344 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.2
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 430 0 0 0 20 0 0 0 17 0 8 0 270135347 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 10637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915632
[startup+102.551 s]
/proc/loadavg: 1.95 1.97 1.99 3/101 10443
/proc/meminfo: memFree=1357648/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=102.22
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23845 0 1 0 10184 38 0 0 25 0 8 0 270135339 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23571 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.31
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 489 0 0 0 30 1 0 0 17 0 8 0 270135347 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915632
[startup+162.577 s]
/proc/loadavg: 2.06 1.99 1.99 3/101 10443
/proc/meminfo: memFree=1357584/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=162.07
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23847 0 1 0 16169 38 0 0 25 0 8 0 270135339 937607168 23572 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.07
Current children cumulated vsize (KiB) 915632
[startup+2083.73 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10641
/proc/meminfo: memFree=1357136/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2081.05
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 208042 63 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.05
Current children cumulated vsize (KiB) 915632
[startup+2143.79 s]
/proc/loadavg: 2.21 2.06 2.01 3/101 10641
/proc/meminfo: memFree=1357072/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2141.04
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 214040 64 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.04
Current children cumulated vsize (KiB) 915632
[startup+2203.85 s]
/proc/loadavg: 2.08 2.05 2.01 3/101 10641
/proc/meminfo: memFree=1357136/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2201.04
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 220040 64 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.04
Current children cumulated vsize (KiB) 915632
[startup+2263.91 s]
/proc/loadavg: 2.03 2.04 2.00 3/101 10641
/proc/meminfo: memFree=1357072/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2261.04
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 226040 64 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.04
Current children cumulated vsize (KiB) 915632
[startup+2323.92 s]
/proc/loadavg: 2.01 2.03 2.00 4/101 10641
/proc/meminfo: memFree=1357136/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2320.99
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 232034 65 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.99
Current children cumulated vsize (KiB) 915632
[startup+2383.95 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10641
/proc/meminfo: memFree=1357072/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2380.95
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 238030 65 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074004865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.95
Current children cumulated vsize (KiB) 915632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.01 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 10641
/proc/meminfo: memFree=1357072/2055920 swapFree=4170284/4192956
[pid=10363] ppid=10361 vsize=915632 CPUtime=2400.01
/proc/10363/stat : 10363 (java) R 10361 10363 9750 0 -1 0 23870 0 1 0 239936 65 0 0 25 0 8 0 270135339 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10363/statm: 228908 23587 2550 14 0 215378 0
[pid=10363/tid=10365] ppid=10361 vsize=915632 CPUtime=0.16
/proc/10363/task/10365/stat : 10365 (java) S 10361 10363 9750 0 -1 64 6696 0 0 0 14 2 0 0 16 0 8 0 270135343 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10366] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10366/stat : 10366 (java) S 10361 10363 9750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10367] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10367/stat : 10367 (java) S 10361 10363 9750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270135344 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10368] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10368/stat : 10368 (java) S 10361 10363 9750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10369] ppid=10361 vsize=915632 CPUtime=0.35
/proc/10363/task/10369/stat : 10369 (java) S 10361 10363 9750 0 -1 64 510 0 0 0 34 1 0 0 16 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10363/tid=10370] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10370/stat : 10370 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10363/tid=10371] ppid=10361 vsize=915632 CPUtime=0
/proc/10363/task/10371/stat : 10371 (java) S 10361 10363 9750 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270135347 937607168 23587 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.08
CPU time (s): 2400.07
CPU user time (s): 2399.4
CPU system time (s): 0.666898
CPU usage (%): 99.8749
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.4
system time used= 0.666898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23893
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= 49927
involuntary context switches= 63654
runsolver used 3.81442 s user time and 8.40372 s system time
The end
Begin job on node25 on Fri Jan 19 14:37:09 UTC 2007
IDJOB= 275124
IDBENCH= 3534
IDSOLVER= 69
FILE ID= node25/275124-1169217429
PBS_JOBID= 3589103
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-70-13-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275124-1169217429/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-275124-1169217429 -o ROOT/results/node25/solver-275124-1169217429 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275124-1169217429/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8550458df6e804e35921814f1d43a5d8
RANDOM SEED= 371959519
TIME LIMIT= 2400 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.279
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.279
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: 852264 kB
Buffers: 41132 kB
Cached: 417616 kB
SwapCached: 2768 kB
Active: 780888 kB
Inactive: 349060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 852264 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 688340 kB
Slab: 56904 kB
Committed_AS: 5495148 kB
PageTables: 3648 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= 66562 MiB
End job on node25 on Fri Jan 19 15:17:13 UTC 2007