0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278462-1169288159/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.092 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.56 nbConstraints=673 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=659
0.56 nbConflictsStructures=14 nbSharedConflictsStructures=659 nbSharedBinaryRepresentations=52 maxDegree=38
0.56 maxArity=2
0.56 => wckTime=0.256 cpuTime=0.16 mem=8M860
0.61
0.61 solver LocalSearchSolver being built...
0.64 => wckTime=0.335 cpuTime=0.21 mem=5M698
0.65
0.65 s SATISFIABLE
0.65 o 313
0.65 c 360
0.65 o 319
0.65 c 354
0.65 o 325
0.65 c 348
0.65 o 331
0.65 c 342
0.65 o 333
0.65 c 340
0.65 o 336
0.65 c 337
0.65 o 339
0.65 c 334
0.65 o 342
0.66 c 331
0.66 o 344
0.66 c 329
0.66 o 347
0.66 c 326
0.66 o 349
0.66 c 324
0.66 o 353
0.66 c 320
0.66 o 356
0.66 c 317
0.66 o 358
0.66 c 315
0.67 o 359
0.67 c 314
0.67 o 362
0.67 c 311
0.67 o 363
0.67 c 310
0.69 o 366
0.69 c 307
0.72 o 367
0.72 c 306
0.72 o 368
0.72 c 305
1.01 o 369
1.01 c 304
1.01 o 370
1.01 c 303
1.01 o 373
1.01 c 300
3.13
3.13 search
3.13 run=0 nbConstraintChecks=12311786 nbAssignments=10000
3.13 => wckTime=2.484 cpuTime=2.46 mem=5M698
5.51
5.51 search
5.51 run=1 nbConstraintChecks=24683093 nbAssignments=20000
5.51 => wckTime=4.863 cpuTime=4.84 mem=5M698
7.87
7.87 search
7.87 run=2 nbConstraintChecks=36993572 nbAssignments=30000
7.87 => wckTime=7.232 cpuTime=7.21 mem=5M698
10.27
10.27 search
10.27 run=3 nbConstraintChecks=49368701 nbAssignments=40000
10.27 => wckTime=9.626 cpuTime=9.6 mem=5M698
12.67
12.67 search
12.67 run=4 nbConstraintChecks=61672260 nbAssignments=50000
12.67 => wckTime=12.032 cpuTime=12.0 mem=5M698
15.10
15.10 search
15.10 run=5 nbConstraintChecks=74059936 nbAssignments=60000
15.10 => wckTime=14.456 cpuTime=14.41 mem=5M698
17.50
17.50 search
17.50 run=6 nbConstraintChecks=86381196 nbAssignments=70000
17.50 => wckTime=16.857 cpuTime=16.81 mem=5M698
19.90
19.90 search
19.90 run=7 nbConstraintChecks=98758523 nbAssignments=80000
19.90 => wckTime=19.254 cpuTime=19.2 mem=5M698
22.28
22.28 search
22.28 run=8 nbConstraintChecks=111073812 nbAssignments=90000
22.28 => wckTime=21.638 cpuTime=21.58 mem=5M698
24.68
24.68 search
24.68 run=9 nbConstraintChecks=123457947 nbAssignments=100000
24.68 => wckTime=24.037 cpuTime=23.97 mem=5M698
27.05
27.05 search
27.05 run=10 nbConstraintChecks=135768893 nbAssignments=110000
27.05 => wckTime=26.408 cpuTime=26.33 mem=5M698
29.44
29.44 search
29.44 run=11 nbConstraintChecks=148144062 nbAssignments=120000
29.44 => wckTime=28.801 cpuTime=28.73 mem=5M698
31.08
31.08 search
31.08 run=12 nbConstraintChecks=156581002 nbAssignments=126859
31.08 => wckTime=30.437 cpuTime=30.37 mem=5M698
31.08
31.08 global
31.08 nbConstraintChecks=156581002 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.08 solvingWckTime=30.436 solvingCpuTime=30.36 expiredTime=no totalExploration=no nbFoundSolutions=0
31.08 globalCpuTime=30.64
31.08 => wckTime=30.773 cpuTime=30.58 mem=5M698
31.08
31.08 solver IterativeSystematicSolver being built...
31.22 => wckTime=30.908 cpuTime=30.68 mem=16M817
31.23
31.23 preprocessing
31.23 nbConstraintChecks=1464 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.23 detectedInconsistency=no
31.23 => wckTime=0.011 cpuTime=0.01 mem=16M817
31.28
31.28 search
31.28 run=0 nbConstraintChecks=67745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
31.28 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
31.28 => wckTime=0.064 cpuTime=0.04 mem=16M817
31.33
31.33 search
31.33 run=1 nbConstraintChecks=147680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85
31.33 nbFailedAssignments=12 nbBacktracks=26 nbVisitedNodes=124 nbRestartNogoods=2
31.33 => wckTime=0.116 cpuTime=0.08 mem=16M817
31.38
31.38 search
31.38 run=2 nbConstraintChecks=265229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
31.38 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=220 nbRestartNogoods=4
31.38 => wckTime=0.161 cpuTime=0.12 mem=16M817
31.44
31.44 search
31.44 run=3 nbConstraintChecks=416014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=219
31.44 nbFailedAssignments=47 nbBacktracks=82 nbVisitedNodes=349 nbRestartNogoods=6
31.44 => wckTime=0.219 cpuTime=0.18 mem=16M817
31.51
31.51 search
31.51 run=4 nbConstraintChecks=619835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310
31.51 nbFailedAssignments=70 nbBacktracks=132 nbVisitedNodes=513 nbRestartNogoods=8
31.51 => wckTime=0.297 cpuTime=0.26 mem=16M817
31.65
31.65 search
31.65 run=5 nbConstraintChecks=976860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=450
31.65 nbFailedAssignments=119 nbBacktracks=208 nbVisitedNodes=778 nbRestartNogoods=10
31.65 => wckTime=0.432 cpuTime=0.39 mem=16M817
31.83
31.83 search
31.83 run=6 nbConstraintChecks=1455316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=650
31.83 nbFailedAssignments=191 nbBacktracks=321 nbVisitedNodes=1163 nbRestartNogoods=13
31.83 => wckTime=0.61 cpuTime=0.56 mem=16M817
32.10
32.10 search
32.10 run=7 nbConstraintChecks=2201239 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=932
32.10 nbFailedAssignments=290 nbBacktracks=491 nbVisitedNodes=1714 nbRestartNogoods=15
32.10 => wckTime=0.881 cpuTime=0.83 mem=16M817
32.52
32.52 search
32.52 run=8 nbConstraintChecks=3299268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1359
32.52 nbFailedAssignments=447 nbBacktracks=747 nbVisitedNodes=2554 nbRestartNogoods=19
32.52 => wckTime=1.299 cpuTime=1.24 mem=16M817
33.19
33.19 search
33.19 run=9 nbConstraintChecks=5053136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2006
33.19 nbFailedAssignments=696 nbBacktracks=1132 nbVisitedNodes=3835 nbRestartNogoods=22
33.19 => wckTime=1.973 cpuTime=1.9 mem=16M817
34.00
34.00 search
34.00 run=10 nbConstraintChecks=7205163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2891
34.00 nbFailedAssignments=990 nbBacktracks=1708 nbVisitedNodes=5590 nbRestartNogoods=27
34.00 => wckTime=2.786 cpuTime=2.7 mem=16M817
35.48
35.48 search
35.48 run=11 nbConstraintChecks=11273053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4341
35.48 nbFailedAssignments=1566 nbBacktracks=2573 nbVisitedNodes=8481 nbRestartNogoods=30
35.48 => wckTime=4.26 cpuTime=4.17 mem=16M817
37.37
37.37 search
37.37 run=12 nbConstraintChecks=16589961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6360
37.37 nbFailedAssignments=2273 nbBacktracks=3870 nbVisitedNodes=12504 nbRestartNogoods=37
37.37 => wckTime=6.152 cpuTime=6.06 mem=16M817
40.28
40.28 search
40.28 run=13 nbConstraintChecks=24926188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9578
40.28 nbFailedAssignments=3533 nbBacktracks=5816 nbVisitedNodes=18928 nbRestartNogoods=42
40.28 => wckTime=9.065 cpuTime=8.97 mem=16M817
44.88
44.88 search
44.88 run=14 nbConstraintChecks=37619221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14335
44.88 nbFailedAssignments=5357 nbBacktracks=8736 nbVisitedNodes=28428 nbRestartNogoods=47
44.88 => wckTime=13.663 cpuTime=13.57 mem=16M817
52.23
52.23 search
52.23 run=15 nbConstraintChecks=58124758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21624
52.23 nbFailedAssignments=8257 nbBacktracks=13114 nbVisitedNodes=42986 nbRestartNogoods=53
52.23 => wckTime=21.015 cpuTime=20.92 mem=16M817
62.25
62.25 search
62.25 run=16 nbConstraintChecks=85457000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31841
62.25 nbFailedAssignments=11895 nbBacktracks=19682 nbVisitedNodes=63407 nbRestartNogoods=57
62.25 => wckTime=31.031 cpuTime=30.92 mem=16M817
78.02
78.02 search
78.02 run=17 nbConstraintChecks=130190762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48572
78.02 nbFailedAssignments=18758 nbBacktracks=29534 nbVisitedNodes=96832 nbRestartNogoods=66
78.02 => wckTime=46.805 cpuTime=46.69 mem=16M817
101.66
101.66 search
101.66 run=18 nbConstraintChecks=195537807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72751
101.66 nbFailedAssignments=28141 nbBacktracks=44313 nbVisitedNodes=144987 nbRestartNogoods=70
101.66 => wckTime=70.445 cpuTime=70.32 mem=16M817
123.48 o 374
123.48 c 299
138.37
138.37 search
138.37 run=19 nbConstraintChecks=292278508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=108612
138.37 nbFailedAssignments=41820 nbBacktracks=66482 nbVisitedNodes=216536 nbRestartNogoods=76
138.37 => wckTime=107.153 cpuTime=107.0 mem=16M817
193.28
193.28 search
193.28 run=20 nbConstraintChecks=442904431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164755
193.28 nbFailedAssignments=64704 nbBacktracks=99734 nbVisitedNodes=328602 nbRestartNogoods=81
193.28 => wckTime=162.062 cpuTime=161.87 mem=16M817
265.91
265.91 search
265.91 run=21 nbConstraintChecks=639338133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=237099
265.91 nbFailedAssignments=94009 nbBacktracks=142774 nbVisitedNodes=473065 nbRestartNogoods=89
265.91 => wckTime=234.694 cpuTime=234.46 mem=16M817
265.91
265.91 global
265.91 nbConstraintChecks=639339597 nbRestartNogoods=89 solvingWckTime=234.695 solvingCpuTime=234.46 expiredTime=no
265.91 totalExploration=yes nbFoundSolutions=1 globalCpuTime=265.2
265.91 => wckTime=265.604 cpuTime=265.14 mem=16M817
265.92
265.92 s OPTIMUM FOUND
265.92 v 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0
265.92
265.92 totalWckTime=265.683 totalCpuTime=265.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278462-1169288159 -o ROOT/results/node18/solver-278462-1169288159 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278462-1169288159/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: 0.81 1.16 1.51 4/86 14023
/proc/meminfo: memFree=1291984/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=18540 CPUtime=0
/proc/14022/stat : 14022 (runsolver) R 14020 14022 13648 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 277210651 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14022/statm: 4635 279 244 17 0 2626 0
[startup+0.109809 s]
/proc/loadavg: 0.81 1.16 1.51 4/86 14023
/proc/meminfo: memFree=1291984/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=914988 CPUtime=0.09
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 3053 0 1 0 7 2 0 0 20 0 8 0 277210651 936947712 2799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14022/statm: 228747 2799 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517848 s]
/proc/loadavg: 0.81 1.16 1.51 4/86 14023
/proc/meminfo: memFree=1291984/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=915332 CPUtime=0.49
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 6430 0 1 0 45 4 0 0 17 0 8 0 277210651 937299968 6169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 228833 6169 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33891 s]
/proc/loadavg: 0.81 1.16 1.51 2/88 14040
/proc/meminfo: memFree=1275328/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=915460 CPUtime=1.31
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 7271 0 1 0 116 15 0 0 18 0 8 0 277210651 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 228865 7009 2476 14 0 215335 0
[pid=14022/tid=14024] ppid=14020 vsize=915460 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277210655 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=915460 CPUtime=0.13
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98408 s]
/proc/loadavg: 0.83 1.15 1.50 2/88 14045
/proc/meminfo: memFree=1277248/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=915460 CPUtime=2.96
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 7272 0 1 0 256 40 0 0 25 0 8 0 277210651 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 228866 7009 2476 14 0 215336 0
[pid=14022/tid=14024] ppid=14020 vsize=915460 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277210655 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=915460 CPUtime=0.13
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=915460 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277210659 937431040 7009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.18638 s]
/proc/loadavg: 0.83 1.15 1.50 3/95 14110
/proc/meminfo: memFree=1273480/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=6.16
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 7275 0 1 0 527 89 0 0 23 0 8 0 277210651 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229122 7012 2476 14 0 215592 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.13
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 916484
[startup+12.658 s]
/proc/loadavg: 1.01 1.18 1.51 2/88 14133
/proc/meminfo: memFree=1274752/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=12.62
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 7275 0 1 0 1073 189 0 0 25 0 8 0 277210651 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229122 7012 2476 14 0 215592 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.13
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916484
[startup+25.5152 s]
/proc/loadavg: 1.09 1.19 1.51 3/88 14329
/proc/meminfo: memFree=1274176/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=25.43
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 7275 0 1 0 2153 390 0 0 25 0 8 0 277210651 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229121 7012 2476 14 0 215591 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916488 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938483712 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.13
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 7012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 916484
[startup+51.2127 s]
/proc/loadavg: 1.06 1.17 1.49 2/85 14336
/proc/meminfo: memFree=1275240/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=51.1
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 9182 0 1 0 4635 475 0 0 25 0 8 0 277210651 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229121 8916 2527 14 0 215591 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.22
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 400 0 0 0 22 0 0 0 16 0 8 0 277210659 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 8916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 916484
[startup+102.497 s]
/proc/loadavg: 1.02 1.14 1.46 2/85 14336
/proc/meminfo: memFree=1275240/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=102.36
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 9193 0 1 0 9760 476 0 0 25 0 8 0 277210651 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229121 8926 2527 14 0 215591 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.22
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 401 0 0 0 22 0 0 0 16 0 8 0 277210659 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 916484
[startup+162.516 s]
/proc/loadavg: 1.01 1.12 1.43 2/85 14336
/proc/meminfo: memFree=1275304/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=162.33
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 9196 0 1 0 15757 476 0 0 25 0 8 0 277210651 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229121 8929 2527 14 0 215591 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.22
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 401 0 0 0 22 0 0 0 16 0 8 0 277210659 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 8929 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 916484
[startup+222.538 s]
/proc/loadavg: 1.00 1.09 1.40 2/85 14336
/proc/meminfo: memFree=1275240/2055920 swapFree=4192812/4192956
[pid=14022] ppid=14020 vsize=916484 CPUtime=222.32
/proc/14022/stat : 14022 (java) R 14020 14022 13648 0 -1 0 9199 0 1 0 21756 476 0 0 25 0 8 0 277210651 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14022/statm: 229121 8931 2527 14 0 215591 0
[pid=14022/tid=14024] ppid=14020 vsize=916484 CPUtime=0.02
/proc/14022/task/14024/stat : 14024 (java) S 14020 14022 13648 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277210655 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14025] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14025/stat : 14025 (java) S 14020 14022 13648 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14026] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14026/stat : 14026 (java) S 14020 14022 13648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277210656 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14027] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14027/stat : 14027 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277210659 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14028] ppid=14020 vsize=916484 CPUtime=0.22
/proc/14022/task/14028/stat : 14028 (java) S 14020 14022 13648 0 -1 64 401 0 0 0 22 0 0 0 16 0 8 0 277210659 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14022/tid=14029] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14029/stat : 14029 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277210659 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14022/tid=14030] ppid=14020 vsize=916484 CPUtime=0
/proc/14022/task/14030/stat : 14030 (java) S 14020 14022 13648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277210659 938479616 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 265.978
CPU time (s): 265.694
CPU user time (s): 260.921
CPU system time (s): 4.77227
CPU usage (%): 99.8933
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.921
system time used= 4.77227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9293
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= 6376
involuntary context switches= 7548
runsolver used 0.302953 s user time and 0.678896 s system time
The end
Begin job on node18 on Sat Jan 20 10:16:00 UTC 2007
IDJOB= 278462
IDBENCH= 8406
IDSOLVER= 69
FILE ID= node18/278462-1169288159
PBS_JOBID= 3609540
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2800-324521_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278462-1169288159/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278462-1169288159 -o ROOT/results/node18/solver-278462-1169288159 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278462-1169288159/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9cd1b3951b7968dab312b10c5557044e
RANDOM SEED= 147644108
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.231
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.231
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: 1292400 kB
Buffers: 53368 kB
Cached: 568356 kB
SwapCached: 0 kB
Active: 255148 kB
Inactive: 428380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1292400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4304 kB
Writeback: 0 kB
Mapped: 82164 kB
Slab: 65008 kB
Committed_AS: 8666992 kB
PageTables: 2024 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 node18 on Sat Jan 20 10:20:26 UTC 2007