0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281836-1169314617/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.098 cpuTime=0.08 mem=6M887
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.50 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1332 maxDegree=10
0.50 maxArity=2
0.50 => wckTime=0.187 cpuTime=0.14 mem=7M872
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.27 cpuTime=0.19 mem=5M439
0.59
0.59 s SATISFIABLE
0.59 o 15
0.59 c 60
0.59 o 18
0.59 c 57
0.59 o 19
0.59 c 56
0.59 o 21
0.59 c 54
0.59 o 22
0.59 c 53
0.59 o 24
0.59 c 51
0.60 o 26
0.60 c 49
0.60 o 28
0.60 c 47
0.60 o 30
0.60 c 45
0.60 o 31
0.60 c 44
0.60 o 32
0.60 c 43
0.60 o 33
0.60 c 42
0.60 o 34
0.60 c 41
0.60 o 35
0.60 c 40
0.60 o 36
0.60 c 39
0.60 o 37
0.60 c 38
0.60 o 38
0.60 c 37
0.61 o 39
0.61 c 36
0.61 o 40
0.61 c 35
0.61 o 41
0.61 c 34
0.61 o 42
0.61 c 33
0.61 o 44
0.61 c 31
0.63 o 45
0.63 c 30
0.64 o 46
0.64 c 29
0.64 o 47
0.64 c 28
2.15
2.15 search
2.15 run=0 nbConstraintChecks=8757546 nbAssignments=10000
2.15 => wckTime=1.572 cpuTime=1.54 mem=5M439
3.70
3.70 search
3.70 run=1 nbConstraintChecks=17629699 nbAssignments=20000
3.70 => wckTime=3.117 cpuTime=3.06 mem=5M439
5.23
5.23 search
5.23 run=2 nbConstraintChecks=26510932 nbAssignments=30000
5.23 => wckTime=4.648 cpuTime=4.57 mem=5M439
6.75
6.75 search
6.75 run=3 nbConstraintChecks=35273435 nbAssignments=40000
6.75 => wckTime=6.171 cpuTime=6.09 mem=5M439
8.29
8.29 search
8.29 run=4 nbConstraintChecks=43971036 nbAssignments=50000
8.29 => wckTime=7.711 cpuTime=7.62 mem=5M439
9.82
9.82 search
9.82 run=5 nbConstraintChecks=52636181 nbAssignments=60000
9.82 => wckTime=9.239 cpuTime=9.13 mem=5M439
11.36
11.36 search
11.36 run=6 nbConstraintChecks=61402597 nbAssignments=70000
11.36 => wckTime=10.781 cpuTime=10.65 mem=5M439
12.94
12.94 search
12.94 run=7 nbConstraintChecks=70548638 nbAssignments=80000
12.94 => wckTime=12.356 cpuTime=12.22 mem=5M439
14.47
14.47 search
14.47 run=8 nbConstraintChecks=79292795 nbAssignments=90000
14.47 => wckTime=13.892 cpuTime=13.74 mem=5M439
16.02
16.02 search
16.02 run=9 nbConstraintChecks=88144186 nbAssignments=100000
16.03 => wckTime=15.443 cpuTime=15.28 mem=5M439
17.55
17.55 search
17.55 run=10 nbConstraintChecks=96814487 nbAssignments=110000
17.55 => wckTime=16.968 cpuTime=16.79 mem=5M439
19.09
19.09 search
19.09 run=11 nbConstraintChecks=105772258 nbAssignments=120000
19.09 => wckTime=18.507 cpuTime=18.32 mem=5M439
20.63
20.63 search
20.63 run=12 nbConstraintChecks=114620160 nbAssignments=130000
20.63 => wckTime=20.046 cpuTime=19.84 mem=5M439
22.14
22.14 search
22.14 run=13 nbConstraintChecks=123236661 nbAssignments=140000
22.14 => wckTime=21.557 cpuTime=21.34 mem=5M439
23.65
23.65 search
23.65 run=14 nbConstraintChecks=131872260 nbAssignments=150000
23.65 => wckTime=23.067 cpuTime=22.84 mem=5M439
25.19
25.19 search
25.19 run=15 nbConstraintChecks=140670012 nbAssignments=160000
25.19 => wckTime=24.606 cpuTime=24.36 mem=5M439
26.71
26.71 search
26.71 run=16 nbConstraintChecks=149434918 nbAssignments=170000
26.71 => wckTime=26.129 cpuTime=25.88 mem=5M439
28.28
28.28 search
28.28 run=17 nbConstraintChecks=158345942 nbAssignments=180000
28.28 => wckTime=27.697 cpuTime=27.43 mem=5M439
29.81
29.81 search
29.81 run=18 nbConstraintChecks=166985440 nbAssignments=190000
29.81 => wckTime=29.225 cpuTime=28.94 mem=5M439
30.92
30.92 search
30.92 run=19 nbConstraintChecks=173386628 nbAssignments=197154
30.92 => wckTime=30.338 cpuTime=30.05 mem=5M439
30.92
30.92 global
30.92 nbConstraintChecks=173386628 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.92 solvingWckTime=30.337 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.92 globalCpuTime=30.3
30.92 => wckTime=30.609 cpuTime=30.24 mem=5M439
30.92
30.92 solver IterativeSystematicSolver being built...
31.06 => wckTime=30.744 cpuTime=30.35 mem=16M396
31.09
31.09 preprocessing
31.09 nbConstraintChecks=39978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.09 detectedInconsistency=no
31.09 => wckTime=0.031 cpuTime=0.02 mem=16M396
31.13
31.13 search
31.13 run=0 nbConstraintChecks=71474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
31.13 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=66 nbRestartNogoods=0
31.13 => wckTime=0.069 cpuTime=0.04 mem=16M396
31.16
31.16 search
31.16 run=1 nbConstraintChecks=169953 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
31.16 nbFailedAssignments=46 nbBacktracks=25 nbVisitedNodes=159 nbRestartNogoods=8
31.16 => wckTime=0.106 cpuTime=0.07 mem=16M396
31.20
31.20 search
31.20 run=2 nbConstraintChecks=306631 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156
31.20 nbFailedAssignments=84 nbBacktracks=47 nbVisitedNodes=288 nbRestartNogoods=22
31.20 => wckTime=0.145 cpuTime=0.11 mem=16M396
31.27
31.27 search
31.27 run=3 nbConstraintChecks=523157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261
31.27 nbFailedAssignments=148 nbBacktracks=80 nbVisitedNodes=490 nbRestartNogoods=29
31.27 => wckTime=0.208 cpuTime=0.17 mem=16M396
31.35
31.35 search
31.35 run=4 nbConstraintChecks=860014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=430
31.35 nbFailedAssignments=259 nbBacktracks=130 nbVisitedNodes=820 nbRestartNogoods=32
31.35 => wckTime=0.289 cpuTime=0.25 mem=16M396
31.48
31.48 search
31.48 run=5 nbConstraintChecks=1370606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=699
31.48 nbFailedAssignments=442 nbBacktracks=205 nbVisitedNodes=1347 nbRestartNogoods=35
31.48 => wckTime=0.419 cpuTime=0.38 mem=16M396
31.71
31.71 search
31.71 run=6 nbConstraintChecks=2293116 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1138
31.71 nbFailedAssignments=762 nbBacktracks=318 nbVisitedNodes=2219 nbRestartNogoods=43
31.71 => wckTime=0.652 cpuTime=0.59 mem=16M396
31.98
31.98 search
31.98 run=7 nbConstraintChecks=3301870 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1652
31.98 nbFailedAssignments=1099 nbBacktracks=488 nbVisitedNodes=3238 nbRestartNogoods=53
31.98 => wckTime=0.92 cpuTime=0.85 mem=16M396
32.33
32.33 search
32.33 run=8 nbConstraintChecks=4804797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2327
32.33 nbFailedAssignments=1512 nbBacktracks=744 nbVisitedNodes=4582 nbRestartNogoods=59
32.33 => wckTime=1.267 cpuTime=1.19 mem=16M396
32.88
32.88 search
32.88 run=9 nbConstraintChecks=7146086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3482
32.88 nbFailedAssignments=2276 nbBacktracks=1128 nbVisitedNodes=6885 nbRestartNogoods=70
32.88 => wckTime=1.82 cpuTime=1.73 mem=16M396
33.75
33.75 search
33.75 run=10 nbConstraintChecks=10705633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5192
33.75 nbFailedAssignments=3403 nbBacktracks=1704 nbVisitedNodes=10297 nbRestartNogoods=77
33.75 => wckTime=2.688 cpuTime=2.59 mem=16M396
35.33
35.33 search
35.33 run=11 nbConstraintChecks=17504802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8236
35.33 nbFailedAssignments=5575 nbBacktracks=2568 nbVisitedNodes=16375 nbRestartNogoods=81
35.33 => wckTime=4.27 cpuTime=4.15 mem=16M396
36.96
36.96 search
36.96 run=12 nbConstraintChecks=24637695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11629
36.96 nbFailedAssignments=7664 nbBacktracks=3865 nbVisitedNodes=23105 nbRestartNogoods=93
36.96 => wckTime=5.901 cpuTime=5.77 mem=16M396
40.45
40.45 search
40.45 run=13 nbConstraintChecks=39867065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18392
40.45 nbFailedAssignments=12474 nbBacktracks=5811 nbVisitedNodes=36596 nbRestartNogoods=105
40.45 => wckTime=9.39 cpuTime=9.24 mem=16M396
44.81
44.81 search
44.81 run=14 nbConstraintChecks=58769501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27157
44.81 nbFailedAssignments=18312 nbBacktracks=8731 nbVisitedNodes=54106 nbRestartNogoods=123
44.81 => wckTime=13.755 cpuTime=13.57 mem=16M396
51.95
51.95 search
51.95 run=15 nbConstraintChecks=90222475 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41551
51.95 nbFailedAssignments=28322 nbBacktracks=13109 nbVisitedNodes=82767 nbRestartNogoods=139
51.95 => wckTime=20.894 cpuTime=20.65 mem=16M396
61.17
61.17 search
61.17 run=16 nbConstraintChecks=132081027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62153
61.17 nbFailedAssignments=42347 nbBacktracks=19677 nbVisitedNodes=123848 nbRestartNogoods=151
61.17 => wckTime=30.116 cpuTime=29.8 mem=16M396
77.30
77.30 search
77.30 run=17 nbConstraintChecks=201272647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95563
77.30 nbFailedAssignments=65899 nbBacktracks=29529 nbVisitedNodes=190329 nbRestartNogoods=175
77.30 => wckTime=46.242 cpuTime=45.79 mem=16M396
100.83
100.83 search
100.83 run=18 nbConstraintChecks=302405685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145398
100.83 nbFailedAssignments=100948 nbBacktracks=44307 nbVisitedNodes=289721 nbRestartNogoods=188
100.83 => wckTime=69.775 cpuTime=69.12 mem=16M396
133.78
133.78 search
133.78 run=19 nbConstraintChecks=440120828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215774
133.78 nbFailedAssignments=149149 nbBacktracks=66476 nbVisitedNodes=429798 nbRestartNogoods=220
133.78 => wckTime=102.718 cpuTime=101.77 mem=16M396
186.04
186.04 search
186.04 run=20 nbConstraintChecks=660312078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=327718
186.04 nbFailedAssignments=227837 nbBacktracks=99728 nbVisitedNodes=652330 nbRestartNogoods=233
186.04 => wckTime=154.978 cpuTime=153.62 mem=16M396
259.65
259.65 search
259.65 run=21 nbConstraintChecks=951518410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=486934
259.65 nbFailedAssignments=337170 nbBacktracks=149606 nbVisitedNodes=967870 nbRestartNogoods=256
259.65 => wckTime=228.595 cpuTime=226.59 mem=16M396
370.16
370.16 search
370.16 run=22 nbConstraintChecks=1399094044 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=718475
370.16 nbFailedAssignments=493887 nbBacktracks=224425 nbVisitedNodes=1426898 nbRestartNogoods=272
370.16 => wckTime=339.1 cpuTime=336.18 mem=16M396
529.40
529.40 search
529.40 run=23 nbConstraintChecks=2044422693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1053708
529.40 nbFailedAssignments=716889 nbBacktracks=336652 nbVisitedNodes=2090075 nbRestartNogoods=285
529.40 => wckTime=498.338 cpuTime=494.11 mem=16M396
566.01
566.01 search
566.01 run=24 nbConstraintChecks=2192419729 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1131007
566.01 nbFailedAssignments=766308 nbBacktracks=364533 nbVisitedNodes=2241988 nbRestartNogoods=298
566.01 => wckTime=534.947 cpuTime=530.41 mem=16M396
566.01
566.01 global
566.01 nbConstraintChecks=2192459707 nbRestartNogoods=298 solvingWckTime=534.949 solvingCpuTime=530.41 expiredTime=no
566.01 totalExploration=yes nbFoundSolutions=0 globalCpuTime=560.82
566.01 => wckTime=565.693 cpuTime=560.76 mem=16M396
566.01
566.01 s OPTIMUM FOUND
566.01 v 2 3 7 7 1 4 8 7 7 3 1 9 0 0 2 8 4 6 6 8 8 7 0 3 8
566.01
566.01 totalWckTime=565.775 totalCpuTime=560.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-281836-1169314617 -o ROOT/results/node59/solver-281836-1169314617 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281836-1169314617/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.84 1.94 1.74 2/74 24036
/proc/meminfo: memFree=1345016/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=18540 CPUtime=0
/proc/24035/stat : 24035 (runsolver) R 24033 24035 23383 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 279859675 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24035/statm: 4635 279 244 17 0 2626 0
[startup+0.102552 s]
/proc/loadavg: 1.84 1.94 1.74 2/74 24036
/proc/meminfo: memFree=1345016/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=914988 CPUtime=0.08
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 2956 0 1 0 6 2 0 0 20 0 8 0 279859675 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510598 s]
/proc/loadavg: 1.84 1.94 1.74 2/74 24036
/proc/meminfo: memFree=1345016/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915332 CPUtime=0.48
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6492 0 1 0 44 4 0 0 18 0 8 0 279859675 937299968 6230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228833 6230 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33168 s]
/proc/loadavg: 1.84 1.94 1.74 3/81 24043
/proc/meminfo: memFree=1327808/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=1.3
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6977 0 1 0 106 24 0 0 25 0 8 0 279859675 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 6715 2479 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.1
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279859683 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 6715 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 6715 18446744073709551615 134512640 134570532 4294956464 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) 915436
[startup+2.96886 s]
/proc/loadavg: 1.84 1.94 1.74 3/81 24043
/proc/meminfo: memFree=1327744/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=2.92
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6980 0 1 0 226 66 0 0 25 0 8 0 279859675 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 6717 2479 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.11
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915436
[startup+6.25822 s]
/proc/loadavg: 1.85 1.94 1.74 3/81 24043
/proc/meminfo: memFree=1327744/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915440 CPUtime=6.18
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6980 0 1 0 464 154 0 0 25 0 8 0 279859675 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228860 6717 2479 14 0 215330 0
[pid=24035/tid=24037] ppid=24033 vsize=915440 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279859679 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915440 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915440 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915440 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915440 CPUtime=0.11
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 279859683 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915440 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915440 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915440
[startup+12.7349 s]
/proc/loadavg: 1.86 1.94 1.74 3/81 24043
/proc/meminfo: memFree=1327808/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=12.6
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6980 0 1 0 943 317 0 0 25 0 8 0 279859675 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 6717 2479 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.11
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915436
[startup+25.6054 s]
/proc/loadavg: 1.89 1.94 1.74 4/81 24043
/proc/meminfo: memFree=1327880/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=25.38
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 6982 0 1 0 1885 653 0 0 25 0 8 0 279859675 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650217 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 6718 2479 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.11
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 331 0 0 0 11 0 0 0 16 0 8 0 279859683 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 6718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915436
[startup+51.2112 s]
/proc/loadavg: 1.93 1.94 1.75 3/81 24043
/proc/meminfo: memFree=1320072/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=50.77
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9002 0 1 0 4287 790 0 0 25 0 8 0 279859675 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814292 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8734 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 384 0 0 0 21 1 0 0 15 0 8 0 279859683 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915436
[startup+102.513 s]
/proc/loadavg: 1.97 1.95 1.76 3/81 24043
/proc/meminfo: memFree=1320072/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=101.64
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9016 0 1 0 9374 790 0 0 25 0 8 0 279859675 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8746 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 915436
[startup+162.552 s]
/proc/loadavg: 2.02 1.97 1.77 3/81 24043
/proc/meminfo: memFree=1320008/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=161.18
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9019 0 1 0 15328 790 0 0 25 0 8 0 279859675 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073656342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8748 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) R 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 915436
[startup+222.592 s]
/proc/loadavg: 2.00 1.97 1.79 3/81 24043
/proc/meminfo: memFree=1320008/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=220.71
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9022 0 1 0 21281 790 0 0 25 0 8 0 279859675 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758605 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8751 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (KiB) 915436
[startup+282.631 s]
/proc/loadavg: 2.00 1.97 1.80 3/81 24043
/proc/meminfo: memFree=1320008/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=280.23
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9024 0 1 0 27232 791 0 0 25 0 8 0 279859675 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073656358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8753 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.23
Current children cumulated vsize (KiB) 915436
[startup+342.68 s]
/proc/loadavg: 2.00 1.97 1.81 4/81 24043
/proc/meminfo: memFree=1320072/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=339.78
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9024 0 1 0 33187 791 0 0 25 0 8 0 279859675 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781860 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8753 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8753 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (KiB) 915436
[startup+402.731 s]
/proc/loadavg: 2.00 1.97 1.82 3/81 24043
/proc/meminfo: memFree=1320008/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=399.34
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9026 0 1 0 39142 792 0 0 25 0 8 0 279859675 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8755 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.34
Current children cumulated vsize (KiB) 915436
[startup+462.776 s]
/proc/loadavg: 2.00 1.97 1.83 3/81 24043
/proc/meminfo: memFree=1320008/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=458.89
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9026 0 1 0 45097 792 0 0 25 0 8 0 279859675 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8755 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 915436
[startup+522.816 s]
/proc/loadavg: 2.00 1.97 1.83 3/81 24043
/proc/meminfo: memFree=1320072/2055920 swapFree=4192680/4192956
[pid=24035] ppid=24033 vsize=915436 CPUtime=518.43
/proc/24035/stat : 24035 (java) R 24033 24035 23383 0 -1 0 9026 0 1 0 51051 792 0 0 25 0 8 0 279859675 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24035/statm: 228859 8755 2532 14 0 215329 0
[pid=24035/tid=24037] ppid=24033 vsize=915436 CPUtime=0.02
/proc/24035/task/24037/stat : 24037 (java) S 24033 24035 23383 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 279859679 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24038] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24038/stat : 24038 (java) S 24033 24035 23383 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24039] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24039/stat : 24039 (java) S 24033 24035 23383 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279859680 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24040] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24040/stat : 24040 (java) S 24033 24035 23383 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24041] ppid=24033 vsize=915436 CPUtime=0.22
/proc/24035/task/24041/stat : 24041 (java) S 24033 24035 23383 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24042] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24042/stat : 24042 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24035/tid=24043] ppid=24033 vsize=915436 CPUtime=0
/proc/24035/task/24043/stat : 24043 (java) S 24033 24035 23383 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279859683 937406464 8755 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.43
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 566.028
CPU time (s): 561.299
CPU user time (s): 553.36
CPU system time (s): 7.93879
CPU usage (%): 99.1644
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 553.36
system time used= 7.93879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9125
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= 12492
involuntary context switches= 22923
runsolver used 0.729889 s user time and 1.65275 s system time
The end
Begin job on node59 on Sat Jan 20 17:36:57 UTC 2007
IDJOB= 281836
IDBENCH= 12283
IDSOLVER= 68
FILE ID= node59/281836-1169314617
PBS_JOBID= 3610285
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseTight/vcsp-25-10-25-87-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281836-1169314617/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-281836-1169314617 -o ROOT/results/node59/solver-281836-1169314617 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281836-1169314617/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c085c7656b4e5753dc2b163c22418691
RANDOM SEED= 162703523
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.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.239
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1345496 kB
Buffers: 49840 kB
Cached: 507080 kB
SwapCached: 0 kB
Active: 182504 kB
Inactive: 451676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1345496 kB
SwapTotal: 4192956 kB
SwapFree: 4192680 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 88580 kB
Slab: 61400 kB
Committed_AS: 5619880 kB
PageTables: 1988 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= 66561 MiB
End job on node59 on Sat Jan 20 17:46:24 UTC 2007