0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=epfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/281404-1169312046/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=15 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.48 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.48
0.48 relations being loaded...
0.53
0.53 constraints being loaded...
0.58 nbConstraints=105 nbRelationTypes=105 nbExtensionStructures=105 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=105 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2010 maxDegree=14
0.58 maxArity=2
0.58 => wckTime=0.198 cpuTime=0.14 mem=8M847
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.281 cpuTime=0.19 mem=5M461
0.67
0.67 s SATISFIABLE
0.67 o 9
0.67 c 96
0.67 o 12
0.67 c 93
0.67 o 15
0.67 c 90
0.67 o 19
0.67 c 86
0.67 o 22
0.67 c 83
0.67 o 25
0.67 c 80
0.67 o 28
0.67 c 77
0.67 o 31
0.67 c 74
0.68 o 33
0.68 c 72
0.68 o 34
0.68 c 71
0.68 o 35
0.68 c 70
2.77
2.77 search
2.77 run=0 nbConstraintChecks=15117789 nbAssignments=10000
2.77 => wckTime=2.11 cpuTime=2.08 mem=5M461
4.84
4.84 search
4.84 run=1 nbConstraintChecks=30225786 nbAssignments=20000
4.84 => wckTime=4.177 cpuTime=4.13 mem=5M461
6.91
6.91 search
6.91 run=2 nbConstraintChecks=45291910 nbAssignments=30000
6.91 => wckTime=6.247 cpuTime=6.18 mem=5M461
8.98
8.98 search
8.98 run=3 nbConstraintChecks=60447375 nbAssignments=40000
8.98 => wckTime=8.318 cpuTime=8.24 mem=5M461
11.05
11.05 search
11.05 run=4 nbConstraintChecks=75516647 nbAssignments=50000
11.05 => wckTime=10.386 cpuTime=10.3 mem=5M461
13.12
13.12 search
13.12 run=5 nbConstraintChecks=90644835 nbAssignments=60000
13.12 => wckTime=12.461 cpuTime=12.35 mem=5M461
15.19
15.19 search
15.19 run=6 nbConstraintChecks=105762545 nbAssignments=70000
15.19 => wckTime=14.525 cpuTime=14.39 mem=5M461
17.25
17.25 search
17.25 run=7 nbConstraintChecks=120919446 nbAssignments=80000
17.25 => wckTime=16.589 cpuTime=16.44 mem=5M461
19.31
19.31 search
19.31 run=8 nbConstraintChecks=136037682 nbAssignments=90000
19.31 => wckTime=18.647 cpuTime=18.49 mem=5M461
21.35
21.35 search
21.35 run=9 nbConstraintChecks=151097004 nbAssignments=100000
21.35 => wckTime=20.689 cpuTime=20.52 mem=5M461
23.40
23.40 search
23.40 run=10 nbConstraintChecks=166163924 nbAssignments=110000
23.40 => wckTime=22.742 cpuTime=22.56 mem=5M461
25.47
25.47 search
25.47 run=11 nbConstraintChecks=181254415 nbAssignments=120000
25.47 => wckTime=24.813 cpuTime=24.61 mem=5M461
27.54
27.54 search
27.54 run=12 nbConstraintChecks=196300062 nbAssignments=130000
27.54 => wckTime=26.881 cpuTime=26.66 mem=5M461
29.62
29.62 search
29.62 run=13 nbConstraintChecks=211370974 nbAssignments=140000
29.62 => wckTime=28.955 cpuTime=28.72 mem=5M461
30.94
30.94 search
30.94 run=14 nbConstraintChecks=220990657 nbAssignments=146379
30.94 => wckTime=30.275 cpuTime=30.03 mem=5M461
30.94
30.94 global
30.94 nbConstraintChecks=220990657 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.94 solvingWckTime=30.274 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.94 globalCpuTime=30.27
30.94 => wckTime=30.557 cpuTime=30.22 mem=5M461
30.94
30.94 solver IterativeSystematicSolver being built...
31.07 => wckTime=30.689 cpuTime=30.32 mem=16M368
31.10
31.10 preprocessing
31.10 nbConstraintChecks=35874 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.10 detectedInconsistency=no
31.10 => wckTime=0.028 cpuTime=0.02 mem=16M368
31.14
31.14 search
31.14 run=0 nbConstraintChecks=65546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
31.14 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
31.14 => wckTime=0.064 cpuTime=0.05 mem=16M368
31.18
31.18 search
31.18 run=1 nbConstraintChecks=220672 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103
31.18 nbFailedAssignments=66 nbBacktracks=25 nbVisitedNodes=195 nbRestartNogoods=4
31.18 => wckTime=0.111 cpuTime=0.08 mem=16M368
31.23
31.23 search
31.23 run=2 nbConstraintChecks=446517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198
31.23 nbFailedAssignments=134 nbBacktracks=47 nbVisitedNodes=380 nbRestartNogoods=11
31.23 => wckTime=0.16 cpuTime=0.13 mem=16M368
31.28
31.29 search
31.29 run=3 nbConstraintChecks=731828 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=317
31.29 nbFailedAssignments=216 nbBacktracks=80 nbVisitedNodes=614 nbRestartNogoods=21
31.29 => wckTime=0.214 cpuTime=0.18 mem=16M368
31.39
31.39 search
31.39 run=4 nbConstraintChecks=1284432 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=530
31.39 nbFailedAssignments=375 nbBacktracks=130 nbVisitedNodes=1036 nbRestartNogoods=28
31.39 => wckTime=0.316 cpuTime=0.28 mem=16M368
31.54
31.54 search
31.54 run=5 nbConstraintChecks=2055027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=870
31.54 nbFailedAssignments=636 nbBacktracks=205 nbVisitedNodes=1712 nbRestartNogoods=32
31.54 => wckTime=0.466 cpuTime=0.43 mem=16M368
31.76
31.76 search
31.76 run=6 nbConstraintChecks=3213397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1344
31.76 nbFailedAssignments=992 nbBacktracks=318 nbVisitedNodes=2655 nbRestartNogoods=36
31.76 => wckTime=0.69 cpuTime=0.64 mem=16M368
32.07
32.07 search
32.07 run=7 nbConstraintChecks=4876436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1993
32.07 nbFailedAssignments=1468 nbBacktracks=488 nbVisitedNodes=3950 nbRestartNogoods=43
32.07 => wckTime=0.997 cpuTime=0.93 mem=16M368
32.57
32.57 search
32.57 run=8 nbConstraintChecks=7737959 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3125
32.57 nbFailedAssignments=2341 nbBacktracks=744 nbVisitedNodes=6211 nbRestartNogoods=57
32.57 => wckTime=1.495 cpuTime=1.42 mem=16M368
33.18
33.18 search
33.18 run=9 nbConstraintChecks=11138262 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4638
33.18 nbFailedAssignments=3464 nbBacktracks=1128 nbVisitedNodes=9231 nbRestartNogoods=79
33.18 => wckTime=2.104 cpuTime=2.02 mem=16M368
34.19
34.19 search
34.19 run=10 nbConstraintChecks=16896186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6940
34.19 nbFailedAssignments=5185 nbBacktracks=1704 nbVisitedNodes=13829 nbRestartNogoods=88
34.19 => wckTime=3.117 cpuTime=3.02 mem=16M368
35.78
35.78 search
35.78 run=11 nbConstraintChecks=26084782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10596
35.78 nbFailedAssignments=7974 nbBacktracks=2568 nbVisitedNodes=21137 nbRestartNogoods=94
35.78 => wckTime=4.708 cpuTime=4.6 mem=16M368
37.79
37.79 search
37.79 run=12 nbConstraintChecks=37461533 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15686
37.79 nbFailedAssignments=11763 nbBacktracks=3865 nbVisitedNodes=31312 nbRestartNogoods=118
37.79 => wckTime=6.716 cpuTime=6.58 mem=16M368
41.35
41.35 search
41.35 run=13 nbConstraintChecks=58015334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23829
41.35 nbFailedAssignments=17956 nbBacktracks=5811 nbVisitedNodes=47586 nbRestartNogoods=131
41.35 => wckTime=10.281 cpuTime=10.12 mem=16M368
46.38
46.38 search
46.38 run=14 nbConstraintChecks=86537577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35379
46.38 nbFailedAssignments=26583 nbBacktracks=8730 nbVisitedNodes=70676 nbRestartNogoods=151
46.38 => wckTime=15.311 cpuTime=15.1 mem=16M368
53.94
53.94 search
53.94 run=15 nbConstraintChecks=129672825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52987
53.94 nbFailedAssignments=39809 nbBacktracks=13108 nbVisitedNodes=105876 nbRestartNogoods=164
53.94 => wckTime=22.87 cpuTime=22.61 mem=16M368
65.76
65.76 search
65.76 run=16 nbConstraintChecks=197560681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79415
65.76 nbFailedAssignments=59665 nbBacktracks=19676 nbVisitedNodes=158710 nbRestartNogoods=192
65.76 => wckTime=34.686 cpuTime=34.33 mem=16M368
82.05
82.05 search
82.05 run=17 nbConstraintChecks=292963701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118385
82.05 nbFailedAssignments=88780 nbBacktracks=29528 nbVisitedNodes=236625 nbRestartNogoods=211
82.05 => wckTime=50.981 cpuTime=50.54 mem=16M368
105.76
105.76 search
105.76 run=18 nbConstraintChecks=439263695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=176796
105.76 nbFailedAssignments=132410 nbBacktracks=44306 nbVisitedNodes=353387 nbRestartNogoods=231
105.76 => wckTime=74.685 cpuTime=74.23 mem=16M368
139.57
139.57 search
139.57 run=19 nbConstraintChecks=646826257 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=260931
139.57 nbFailedAssignments=194373 nbBacktracks=66474 nbVisitedNodes=521497 nbRestartNogoods=247
139.57 => wckTime=108.499 cpuTime=108.03 mem=16M368
186.48
186.48 search
186.48 run=20 nbConstraintChecks=933435804 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374878
186.48 nbFailedAssignments=275064 nbBacktracks=99726 nbVisitedNodes=748470 nbRestartNogoods=272
186.48 => wckTime=155.408 cpuTime=154.93 mem=16M368
253.95
253.95 search
253.95 run=21 nbConstraintChecks=1346561590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=532714
253.95 nbFailedAssignments=383019 nbBacktracks=149604 nbVisitedNodes=1062356 nbRestartNogoods=285
253.95 => wckTime=222.879 cpuTime=222.37 mem=16M368
299.28
299.28 search
299.28 run=22 nbConstraintChecks=1622830519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=640210
299.28 nbFailedAssignments=454938 nbBacktracks=185182 nbVisitedNodes=1274932 nbRestartNogoods=305
299.28 => wckTime=268.212 cpuTime=267.69 mem=16M368
299.28
299.28 global
299.28 nbConstraintChecks=1622866393 nbRestartNogoods=305 solvingWckTime=268.213 solvingCpuTime=267.69 expiredTime=no
299.28 totalExploration=yes nbFoundSolutions=0 globalCpuTime=298.06
299.28 => wckTime=298.903 cpuTime=298.01 mem=16M368
299.29
299.29 s OPTIMUM FOUND
299.29 v 7 5 1 4 3 3 5 8 1 4 6 3 3 2 1
299.29
299.29 totalWckTime=298.985 totalCpuTime=298.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-281404-1169312046 -o ROOT/results/node45/solver-281404-1169312046 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281404-1169312046/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.86 1.97 1.89 4/73 17534
/proc/meminfo: memFree=1422584/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=47892 CPUtime=0
/proc/17533/stat : 17533 (java) D 17531 17533 16867 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 279603533 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17533/statm: 11973 968 766 14 0 1707 0
[startup+0.104828 s]
/proc/loadavg: 1.86 1.97 1.89 4/73 17534
/proc/meminfo: memFree=1422584/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=906128 CPUtime=0.02
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 1953 0 1 0 1 1 0 0 17 0 1 0 279603533 927875072 1702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 1 0 0
/proc/17533/statm: 226532 1702 984 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128
[startup+0.512898 s]
/proc/loadavg: 1.86 1.97 1.89 4/73 17534
/proc/meminfo: memFree=1422584/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915332 CPUtime=0.42
/proc/17533/stat : 17533 (java) S 17531 17533 16867 0 -1 0 6152 0 1 0 38 4 0 0 18 0 8 0 279603533 937299968 5891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228833 5891 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33505 s]
/proc/loadavg: 1.86 1.97 1.89 3/80 17541
/proc/meminfo: memFree=1405184/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915444 CPUtime=1.23
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 7007 0 1 0 105 18 0 0 22 0 8 0 279603533 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228861 6745 2479 14 0 215331 0
[pid=17533/tid=17535] ppid=17531 vsize=915444 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279603544 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915444 CPUtime=0.11
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 279603548 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937414656 6745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915444
[startup+2.97834 s]
/proc/loadavg: 1.87 1.97 1.89 3/80 17541
/proc/meminfo: memFree=1405184/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=2.87
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 7010 0 1 0 238 49 0 0 20 0 8 0 279603533 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228860 6747 2479 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.11
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915440
[startup+6.26693 s]
/proc/loadavg: 1.87 1.97 1.89 3/80 17541
/proc/meminfo: memFree=1405184/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=6.13
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 7010 0 1 0 500 113 0 0 25 0 8 0 279603533 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228860 6747 2479 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.11
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915440
[startup+12.7471 s]
/proc/loadavg: 1.89 1.97 1.89 3/80 17541
/proc/meminfo: memFree=1405184/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=12.56
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 7010 0 1 0 1017 239 0 0 25 0 8 0 279603533 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228860 6747 2479 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.11
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 6747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915440
[startup+25.5884 s]
/proc/loadavg: 1.91 1.97 1.89 3/80 17541
/proc/meminfo: memFree=1405248/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915444 CPUtime=25.31
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 7011 0 1 0 2042 489 0 0 25 0 8 0 279603533 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228861 6748 2479 14 0 215331 0
[pid=17533/tid=17535] ppid=17531 vsize=915444 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279603544 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915444 CPUtime=0.12
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 279603548 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915444 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937414656 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915444
[startup+51.1901 s]
/proc/loadavg: 1.94 1.97 1.90 3/80 17541
/proc/meminfo: memFree=1397632/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=50.69
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 8991 0 1 0 4469 600 0 0 25 0 8 0 279603533 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783760 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17533/statm: 228860 8723 2532 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.22
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279603548 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915440
[startup+102.479 s]
/proc/loadavg: 1.62 1.89 1.88 2/72 17630
/proc/meminfo: memFree=1406280/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=101.78
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 8998 0 1 0 9577 601 0 0 25 0 8 0 279603533 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17533/statm: 228860 8730 2532 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.22
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279603548 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 8730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 915440
[startup+162.482 s]
/proc/loadavg: 1.23 1.73 1.82 2/72 17630
/proc/meminfo: memFree=1406280/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=161.77
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 9003 0 1 0 15575 602 0 0 25 0 8 0 279603533 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17533/statm: 228860 8735 2532 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.22
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279603548 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 915440
[startup+222.494 s]
/proc/loadavg: 1.08 1.59 1.76 2/72 17630
/proc/meminfo: memFree=1406344/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=221.76
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 9005 0 1 0 21574 602 0 0 25 0 8 0 279603533 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17533/statm: 228860 8737 2532 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.22
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279603548 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.76
Current children cumulated vsize (KiB) 915440
[startup+282.507 s]
/proc/loadavg: 1.03 1.49 1.72 2/72 17630
/proc/meminfo: memFree=1406344/2055920 swapFree=4184076/4192956
[pid=17533] ppid=17531 vsize=915440 CPUtime=281.75
/proc/17533/stat : 17533 (java) R 17531 17533 16867 0 -1 0 9008 0 1 0 27573 602 0 0 25 0 8 0 279603533 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17533/statm: 228860 8740 2532 14 0 215330 0
[pid=17533/tid=17535] ppid=17531 vsize=915440 CPUtime=0.02
/proc/17533/task/17535/stat : 17535 (java) S 17531 17533 16867 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279603544 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17536] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17536/stat : 17536 (java) S 17531 17533 16867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279603545 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17537] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17537/stat : 17537 (java) S 17531 17533 16867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279603545 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17538] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17538/stat : 17538 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279603548 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17539] ppid=17531 vsize=915440 CPUtime=0.22
/proc/17533/task/17539/stat : 17539 (java) S 17531 17533 16867 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279603548 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17540] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17540/stat : 17540 (java) S 17531 17533 16867 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279603548 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17533/tid=17541] ppid=17531 vsize=915440 CPUtime=0
/proc/17533/task/17541/stat : 17541 (java) S 17531 17533 16867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279603548 937410560 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.75
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 299.305
CPU time (s): 298.538
CPU user time (s): 292.51
CPU system time (s): 6.02808
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 292.51
system time used= 6.02808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9101
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= 7016
involuntary context switches= 7644
runsolver used 0.304953 s user time and 0.775882 s system time
The end
Begin job on node45 on Sat Jan 20 16:54:06 UTC 2007
IDJOB= 281404
IDBENCH= 12179
IDSOLVER= 68
FILE ID= node45/281404-1169312046
PBS_JOBID= 3610218
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeTight/vcsp-15-10-100-93-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281404-1169312046/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-281404-1169312046 -o ROOT/results/node45/solver-281404-1169312046 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281404-1169312046/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7da290b0680d43bdfd5554ebc9988510
RANDOM SEED= 848829730
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.259
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.259
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: 1423064 kB
Buffers: 52356 kB
Cached: 491428 kB
SwapCached: 2868 kB
Active: 143732 kB
Inactive: 416152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1423064 kB
SwapTotal: 4192956 kB
SwapFree: 4184076 kB
Dirty: 3776 kB
Writeback: 0 kB
Mapped: 23508 kB
Slab: 58528 kB
Committed_AS: 5133672 kB
PageTables: 1704 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= 66563 MiB
End job on node45 on Sat Jan 20 16:59:05 UTC 2007