0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=pfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/278057-1169273511/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.093 cpuTime=0.08 mem=6M910
0.47
0.47 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=297 nbRelationTypes=9 nbExtensionStructures=9 nbSharedExtensionStructures=288
0.58 nbConflictsStructures=9 nbSharedConflictsStructures=288 nbSharedBinaryRepresentations=0 maxDegree=30 maxArity=3
0.58 => wckTime=0.204 cpuTime=0.14 mem=7M918
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.284 cpuTime=0.18 mem=5M508
0.66
0.66 s SATISFIABLE
0.66 o 270
0.66 c 27
0.66 o 272
0.66 c 25
0.66 o 276
0.66 c 21
0.66 o 277
0.66 c 20
0.66 o 278
0.66 c 19
0.66 o 280
0.66 c 17
0.67 o 281
0.67 c 16
0.67 o 282
0.67 c 15
0.68 o 284
0.68 c 13
0.68 o 285
0.68 c 12
0.68 o 286
0.68 c 11
0.70 o 287
0.70 c 10
0.70 o 288
0.70 c 9
1.85
1.85 search
1.85 run=0 nbConstraintChecks=4026867 nbAssignments=10000
1.85 => wckTime=1.193 cpuTime=1.17 mem=5M508
2.99
2.99 search
2.99 run=1 nbConstraintChecks=8155328 nbAssignments=20000
2.99 => wckTime=2.332 cpuTime=2.29 mem=5M508
4.10
4.10 search
4.10 run=2 nbConstraintChecks=12174323 nbAssignments=30000
4.10 => wckTime=3.449 cpuTime=3.4 mem=5M508
5.24
5.24 search
5.24 run=3 nbConstraintChecks=16315124 nbAssignments=40000
5.24 => wckTime=4.584 cpuTime=4.54 mem=5M508
6.36
6.36 search
6.36 run=4 nbConstraintChecks=20329160 nbAssignments=50000
6.36 => wckTime=5.702 cpuTime=5.64 mem=5M508
7.50
7.50 search
7.50 run=5 nbConstraintChecks=24513875 nbAssignments=60000
7.50 => wckTime=6.842 cpuTime=6.77 mem=5M508
8.62
8.62 search
8.62 run=6 nbConstraintChecks=28544587 nbAssignments=70000
8.62 => wckTime=7.961 cpuTime=7.88 mem=5M508
9.75
9.75 search
9.75 run=7 nbConstraintChecks=32707461 nbAssignments=80000
9.75 => wckTime=9.097 cpuTime=9.0 mem=5M508
10.87
10.87 search
10.87 run=8 nbConstraintChecks=36718036 nbAssignments=90000
10.87 => wckTime=10.213 cpuTime=10.11 mem=5M508
12.00
12.00 search
12.00 run=9 nbConstraintChecks=40850953 nbAssignments=100000
12.00 => wckTime=11.345 cpuTime=11.24 mem=5M508
13.13
13.13 search
13.13 run=10 nbConstraintChecks=44882976 nbAssignments=110000
13.13 => wckTime=12.472 cpuTime=12.35 mem=5M508
14.27
14.27 search
14.27 run=11 nbConstraintChecks=49007279 nbAssignments=120000
14.27 => wckTime=13.612 cpuTime=13.48 mem=5M508
15.39
15.39 search
15.40 run=12 nbConstraintChecks=53043416 nbAssignments=130000
15.40 => wckTime=14.74 cpuTime=14.6 mem=5M508
16.54
16.54 search
16.54 run=13 nbConstraintChecks=57192557 nbAssignments=140000
16.54 => wckTime=15.885 cpuTime=15.74 mem=5M508
17.67
17.67 search
17.67 run=14 nbConstraintChecks=61219125 nbAssignments=150000
17.67 => wckTime=17.012 cpuTime=16.85 mem=5M508
18.81
18.81 search
18.81 run=15 nbConstraintChecks=65352672 nbAssignments=160000
18.81 => wckTime=18.155 cpuTime=17.98 mem=5M508
19.94
19.94 search
19.94 run=16 nbConstraintChecks=69369332 nbAssignments=170000
19.94 => wckTime=19.282 cpuTime=19.1 mem=5M508
21.08
21.09 search
21.09 run=17 nbConstraintChecks=73520430 nbAssignments=180000
21.09 => wckTime=20.43 cpuTime=20.24 mem=5M508
22.21
22.21 search
22.21 run=18 nbConstraintChecks=77549803 nbAssignments=190000
22.21 => wckTime=21.558 cpuTime=21.36 mem=5M508
23.34
23.34 search
23.34 run=19 nbConstraintChecks=81642348 nbAssignments=200000
23.34 => wckTime=22.687 cpuTime=22.47 mem=5M508
24.46
24.46 search
24.46 run=20 nbConstraintChecks=85657369 nbAssignments=210000
24.46 => wckTime=23.808 cpuTime=23.58 mem=5M508
25.60
25.60 search
25.60 run=21 nbConstraintChecks=89814786 nbAssignments=220000
25.60 => wckTime=24.946 cpuTime=24.72 mem=5M508
26.72
26.72 search
26.72 run=22 nbConstraintChecks=93841177 nbAssignments=230000
26.72 => wckTime=26.067 cpuTime=25.82 mem=5M508
27.87
27.87 search
27.87 run=23 nbConstraintChecks=98041370 nbAssignments=240000
27.87 => wckTime=27.21 cpuTime=26.96 mem=5M508
28.99
28.99 search
28.99 run=24 nbConstraintChecks=102065544 nbAssignments=250000
28.99 => wckTime=28.33 cpuTime=28.07 mem=5M508
30.12
30.12 search
30.12 run=25 nbConstraintChecks=106179183 nbAssignments=260000
30.12 => wckTime=29.463 cpuTime=29.19 mem=5M508
30.99
30.99 search
30.99 run=26 nbConstraintChecks=109298361 nbAssignments=267791
30.99 => wckTime=30.336 cpuTime=30.06 mem=5M508
30.99
30.99 global
30.99 nbConstraintChecks=109298361 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.99 solvingWckTime=30.335 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
30.99 globalCpuTime=30.29
30.99 => wckTime=30.621 cpuTime=30.24 mem=5M508
30.99
30.99 solver IterativeSystematicSolver being built...
31.15 => wckTime=30.782 cpuTime=30.37 mem=18M611
31.16
31.16 preprocessing
31.16 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.16 detectedInconsistency=no
31.16 => wckTime=0.0060 cpuTime=0.0 mem=18M611
31.22
31.22 search
31.22 run=0 nbConstraintChecks=2670 nbValidityChecks=10970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.22 nbAssignments=32 nbFailedAssignments=6 nbBacktracks=11 nbVisitedNodes=49 nbRestartNogoods=0
31.22 => wckTime=0.066 cpuTime=0.04 mem=18M611
31.26
31.26 search
31.26 run=1 nbConstraintChecks=6043 nbValidityChecks=26122 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.26 nbAssignments=70 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=108 nbRestartNogoods=2
31.26 => wckTime=0.105 cpuTime=0.07 mem=18M611
31.29
31.29 search
31.29 run=2 nbConstraintChecks=10090 nbValidityChecks=45925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.29 nbAssignments=118 nbFailedAssignments=29 nbBacktracks=48 nbVisitedNodes=189 nbRestartNogoods=3
31.29 => wckTime=0.132 cpuTime=0.09 mem=18M611
31.32
31.32 search
31.32 run=3 nbConstraintChecks=16216 nbValidityChecks=75126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.32 nbAssignments=189 nbFailedAssignments=50 nbBacktracks=81 nbVisitedNodes=305 nbRestartNogoods=4
31.32 => wckTime=0.167 cpuTime=0.12 mem=18M611
31.38
31.38 search
31.38 run=4 nbConstraintChecks=26746 nbValidityChecks=125891 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.38 nbAssignments=281 nbFailedAssignments=79 nbBacktracks=131 nbVisitedNodes=472 nbRestartNogoods=7
31.38 => wckTime=0.223 cpuTime=0.18 mem=18M611
31.45
31.45 search
31.45 run=5 nbConstraintChecks=42535 nbValidityChecks=204864 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.45 nbAssignments=420 nbFailedAssignments=129 nbBacktracks=206 nbVisitedNodes=733 nbRestartNogoods=11
31.45 => wckTime=0.298 cpuTime=0.25 mem=18M611
31.56
31.56 search
31.56 run=6 nbConstraintChecks=65007 nbValidityChecks=319982 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.56 nbAssignments=621 nbFailedAssignments=203 nbBacktracks=320 nbVisitedNodes=1116 nbRestartNogoods=14
31.56 => wckTime=0.409 cpuTime=0.36 mem=18M611
31.73
31.73 search
31.73 run=7 nbConstraintChecks=99684 nbValidityChecks=480357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.73 nbAssignments=919 nbFailedAssignments=314 nbBacktracks=490 nbVisitedNodes=1682 nbRestartNogoods=18
31.73 => wckTime=0.578 cpuTime=0.52 mem=18M611
32.00
32.00 search
32.00 run=8 nbConstraintChecks=154145 nbValidityChecks=732007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.00 nbAssignments=1375 nbFailedAssignments=498 nbBacktracks=749 nbVisitedNodes=2550 nbRestartNogoods=21
32.00 => wckTime=0.849 cpuTime=0.78 mem=18M611
32.37
32.37 search
32.37 run=9 nbConstraintChecks=226774 nbValidityChecks=1068962 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.37 nbAssignments=2032 nbFailedAssignments=756 nbBacktracks=1133 nbVisitedNodes=3762 nbRestartNogoods=25
32.37 => wckTime=1.21 cpuTime=1.13 mem=18M611
32.89
32.89 search
32.89 run=10 nbConstraintChecks=351436 nbValidityChecks=1688060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.89 nbAssignments=3036 nbFailedAssignments=1169 nbBacktracks=1710 nbVisitedNodes=5695 nbRestartNogoods=29
32.89 => wckTime=1.735 cpuTime=1.64 mem=18M611
33.70
33.70 search
33.70 run=11 nbConstraintChecks=523733 nbValidityChecks=2501143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.70 nbAssignments=4538 nbFailedAssignments=1793 nbBacktracks=2575 nbVisitedNodes=8600 nbRestartNogoods=33
33.70 => wckTime=2.545 cpuTime=2.45 mem=18M611
34.80
34.80 search
34.80 run=12 nbConstraintChecks=758892 nbValidityChecks=3584227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.80 nbAssignments=6655 nbFailedAssignments=2600 nbBacktracks=3874 nbVisitedNodes=12620 nbRestartNogoods=39
34.80 => wckTime=3.644 cpuTime=3.53 mem=18M611
36.46
36.46 search
36.46 run=13 nbConstraintChecks=1162044 nbValidityChecks=5474326 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.46 nbAssignments=9866 nbFailedAssignments=3848 nbBacktracks=5820 nbVisitedNodes=18737 nbRestartNogoods=43
36.46 => wckTime=5.307 cpuTime=5.18 mem=18M611
38.71
38.71 search
38.71 run=14 nbConstraintChecks=1674341 nbValidityChecks=7891259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.71 nbAssignments=14464 nbFailedAssignments=5511 nbBacktracks=8741 nbVisitedNodes=27134 nbRestartNogoods=50
38.71 => wckTime=7.551 cpuTime=7.4 mem=18M611
42.24
42.24 search
42.24 run=15 nbConstraintChecks=2451185 nbValidityChecks=11792856 nbPropagations=0 nbRevisions=0
42.24 nbUselessRevisions=0 nbAssignments=21447 nbFailedAssignments=8101 nbBacktracks=13121 nbVisitedNodes=40073
42.24 nbRestartNogoods=57
42.24 => wckTime=11.082 cpuTime=10.9 mem=18M611
47.39
47.39 search
47.39 run=16 nbConstraintChecks=3739842 nbValidityChecks=17736682 nbPropagations=0 nbRevisions=0
47.40 nbUselessRevisions=0 nbAssignments=31888 nbFailedAssignments=11957 nbBacktracks=19692 nbVisitedNodes=59648
47.40 nbRestartNogoods=61
47.40 => wckTime=16.239 cpuTime=16.02 mem=18M611
54.32
54.32 search
54.32 run=17 nbConstraintChecks=5397267 nbValidityChecks=25121907 nbPropagations=0 nbRevisions=0
54.32 nbUselessRevisions=0 nbAssignments=47008 nbFailedAssignments=17211 nbBacktracks=29545 nbVisitedNodes=86360
54.32 nbRestartNogoods=67
54.32 => wckTime=23.163 cpuTime=22.88 mem=18M611
64.26
64.26 search
64.26 run=18 nbConstraintChecks=8093470 nbValidityChecks=36230432 nbPropagations=0 nbRevisions=0
64.26 nbUselessRevisions=0 nbAssignments=69007 nbFailedAssignments=24415 nbBacktracks=44323 nbVisitedNodes=125408
64.26 nbRestartNogoods=73
64.26 => wckTime=33.106 cpuTime=32.74 mem=18M611
77.99
77.99 search
77.99 run=19 nbConstraintChecks=11714363 nbValidityChecks=50902013 nbPropagations=0 nbRevisions=0
77.99 nbUselessRevisions=0 nbAssignments=101375 nbFailedAssignments=34603 nbBacktracks=66492 nbVisitedNodes=180029
77.99 nbRestartNogoods=80
77.99 => wckTime=46.831 cpuTime=46.35 mem=18M611
97.74
97.74 search
97.74 run=20 nbConstraintChecks=16893493 nbValidityChecks=71515691 nbPropagations=0 nbRevisions=0
97.74 nbUselessRevisions=0 nbAssignments=148826 nbFailedAssignments=48787 nbBacktracks=99746 nbVisitedNodes=258643
97.74 nbRestartNogoods=88
97.74 => wckTime=66.587 cpuTime=65.94 mem=18M611
127.00
127.00 search
127.00 run=21 nbConstraintChecks=24825812 nbValidityChecks=101736600 nbPropagations=0 nbRevisions=0
127.00 nbUselessRevisions=0 nbAssignments=220808 nbFailedAssignments=70871 nbBacktracks=149626 nbVisitedNodes=376301
127.00 nbRestartNogoods=92
127.00 => wckTime=95.847 cpuTime=94.95 mem=18M611
169.16
169.16 search
169.16 run=22 nbConstraintChecks=36970918 nbValidityChecks=147056927 nbPropagations=0 nbRevisions=0
169.16 nbUselessRevisions=0 nbAssignments=325959 nbFailedAssignments=101188 nbBacktracks=224446 nbVisitedNodes=547155
169.16 nbRestartNogoods=102
169.16 => wckTime=138.0 cpuTime=136.73 mem=18M611
192.59
192.59 search
192.59 run=23 nbConstraintChecks=43754873 nbValidityChecks=171491801 nbPropagations=0 nbRevisions=0
192.59 nbUselessRevisions=0 nbAssignments=384706 nbFailedAssignments=117727 nbBacktracks=266655 nbVisitedNodes=642182
192.59 nbRestartNogoods=106
192.59 => wckTime=161.435 cpuTime=159.97 mem=18M611
192.59
192.59 global
192.59 nbConstraintChecks=43754873 nbValidityChecks=171491801 nbRestartNogoods=106 solvingWckTime=161.437
192.59 solvingCpuTime=159.97 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=190.39
192.59 => wckTime=192.22 cpuTime=190.34 mem=18M611
192.60
192.60 s OPTIMUM FOUND
192.60 v 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1
192.60
192.60 totalWckTime=192.3 totalCpuTime=190.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-278057-1169273511 -o ROOT/results/node10/solver-278057-1169273511 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278057-1169273511/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: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=18540 CPUtime=0
/proc/18079/stat : 18079 (runsolver) R 18077 18079 16832 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275746238 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18079/statm: 4635 279 244 17 0 2626 0
[startup+0.107937 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=907676 CPUtime=0.04
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 2294 0 1 0 3 1 0 0 16 0 4 0 275746238 929460224 2041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020705 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 226919 2041 1148 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515991 s]
/proc/loadavg: 2.00 2.00 2.00 4/86 18080
/proc/meminfo: memFree=1279128/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915332 CPUtime=0.44
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6109 0 1 0 40 4 0 0 18 0 8 0 275746238 937299968 5848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228833 5848 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332
[startup+1.3371 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261920/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915452 CPUtime=1.25
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6983 0 1 0 98 27 0 0 25 0 8 0 275746238 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228863 6721 2475 14 0 215333 0
[pid=18079/tid=18081] ppid=18077 vsize=915452 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915452 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 324 0 0 0 12 0 0 0 16 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937422848 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452
[startup+2.97432 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261920/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=2.88
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 204 84 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155123562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915448
[startup+6.18176 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261792/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=6.05
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 411 194 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915448
[startup+12.6486 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261928/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=12.47
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6987 0 1 0 821 426 0 0 25 0 8 0 275746238 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 6724 2475 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 326 0 0 0 12 0 0 0 16 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 6724 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915448
[startup+25.5094 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1261992/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915452 CPUtime=25.22
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 6988 0 1 0 1646 876 0 0 25 0 8 0 275746238 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228863 6725 2475 14 0 215333 0
[pid=18079/tid=18081] ppid=18077 vsize=915452 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 275746247 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915452 CPUtime=0.12
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 327 0 0 0 12 0 0 0 16 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915452 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937422848 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 915452
[startup+51.1179 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251880/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=50.6
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9583 0 1 0 3992 1068 0 0 25 0 8 0 275746238 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9317 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915448
[startup+102.33 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251880/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=101.38
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9595 0 1 0 9070 1068 0 0 25 0 8 0 275746238 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9327 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915448
[startup+162.389 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18087
/proc/meminfo: memFree=1251816/2055920 swapFree=4178232/4192956
[pid=18079] ppid=18077 vsize=915448 CPUtime=160.93
/proc/18079/stat : 18079 (java) R 18077 18079 16832 0 -1 0 9598 0 1 0 15024 1069 0 0 25 0 8 0 275746238 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18079/statm: 228862 9330 2529 14 0 215332 0
[pid=18079/tid=18081] ppid=18077 vsize=915448 CPUtime=0.02
/proc/18079/task/18081/stat : 18081 (java) S 18077 18079 16832 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 275746247 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18082] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18082/stat : 18082 (java) S 18077 18079 16832 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275746248 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18083] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18083/stat : 18083 (java) S 18077 18079 16832 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275746248 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18084] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18084/stat : 18084 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18085] ppid=18077 vsize=915448 CPUtime=0.24
/proc/18079/task/18085/stat : 18085 (java) S 18077 18079 16832 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18086] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18086/stat : 18086 (java) S 18077 18079 16832 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18079/tid=18087] ppid=18077 vsize=915448 CPUtime=0
/proc/18079/task/18087/stat : 18087 (java) S 18077 18079 16832 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275746251 937418752 9330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 192.62
CPU time (s): 190.894
CPU user time (s): 180.193
CPU system time (s): 10.7014
CPU usage (%): 99.104
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.193
system time used= 10.7014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9698
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= 5037
involuntary context switches= 12710
runsolver used 0.252961 s user time and 0.617906 s system time
The end
Begin job on node10 on Sat Jan 20 06:11:51 UTC 2007
IDJOB= 278057
IDBENCH= 7970
IDSOLVER= 69
FILE ID= node10/278057-1169273511
PBS_JOBID= 3607293
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-100-1000/cnf-3-40-300-182021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278057-1169273511/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-278057-1169273511 -o ROOT/results/node10/solver-278057-1169273511 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278057-1169273511/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4b3f8effb72e3044a44f8241b8f3c581
RANDOM SEED= 696004084
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.232
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.232
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: 1279608 kB
Buffers: 60428 kB
Cached: 599328 kB
SwapCached: 2904 kB
Active: 209180 kB
Inactive: 490316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1279608 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 50324 kB
Slab: 61776 kB
Committed_AS: 7427364 kB
PageTables: 2176 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 node10 on Sat Jan 20 06:15:04 UTC 2007