0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277688-1169269861/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.092 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.42
0.42 constraints being loaded...
0.57 nbConstraints=611 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=597
0.57 nbConflictsStructures=14 nbSharedConflictsStructures=597 nbSharedBinaryRepresentations=52 maxDegree=35
0.57 maxArity=2
0.57 => wckTime=0.252 cpuTime=0.18 mem=8M860
0.61
0.61 solver LocalSearchSolver being built...
0.65 => wckTime=0.333 cpuTime=0.22 mem=5M667
0.65
0.65 s SATISFIABLE
0.65 o 379
0.65 c 232
0.65 o 385
0.65 c 226
0.66 o 393
0.66 c 218
0.66 o 398
0.66 c 213
0.66 o 402
0.66 c 209
0.66 o 407
0.66 c 204
0.66 o 409
0.66 c 202
0.66 o 412
0.66 c 199
0.66 o 416
0.66 c 195
0.66 o 420
0.66 c 191
0.66 o 422
0.66 c 189
0.66 o 425
0.66 c 186
0.66 o 427
0.66 c 184
0.66 o 432
0.66 c 179
0.66 o 433
0.66 c 178
0.78 o 434
0.78 c 177
0.82 o 436
0.82 c 175
0.82 o 438
0.82 c 173
2.82
2.82 search
2.82 run=0 nbConstraintChecks=9916497 nbAssignments=10000
2.82 => wckTime=2.175 cpuTime=2.15 mem=5M667
3.08 o 440
3.08 c 171
4.95
4.95 search
4.95 run=1 nbConstraintChecks=19963003 nbAssignments=20000
4.95 => wckTime=4.299 cpuTime=4.25 mem=5M667
7.05
7.05 search
7.05 run=2 nbConstraintChecks=29883439 nbAssignments=30000
7.05 => wckTime=6.401 cpuTime=6.35 mem=5M667
9.17
9.17 search
9.17 run=3 nbConstraintChecks=39927409 nbAssignments=40000
9.17 => wckTime=8.528 cpuTime=8.46 mem=5M667
11.29
11.29 search
11.29 run=4 nbConstraintChecks=49848897 nbAssignments=50000
11.29 => wckTime=10.642 cpuTime=10.57 mem=5M667
13.43
13.43 search
13.43 run=5 nbConstraintChecks=59887419 nbAssignments=60000
13.43 => wckTime=12.78 cpuTime=12.7 mem=5M667
15.55
15.55 search
15.55 run=6 nbConstraintChecks=69813970 nbAssignments=70000
15.55 => wckTime=14.902 cpuTime=14.81 mem=5M667
17.69
17.69 search
17.69 run=7 nbConstraintChecks=79851428 nbAssignments=80000
17.69 => wckTime=17.041 cpuTime=16.94 mem=5M667
19.80
19.80 search
19.80 run=8 nbConstraintChecks=89763370 nbAssignments=90000
19.80 => wckTime=19.151 cpuTime=19.04 mem=5M667
21.92
21.92 search
21.92 run=9 nbConstraintChecks=99798777 nbAssignments=100000
21.92 => wckTime=21.271 cpuTime=21.15 mem=5M667
24.02
24.02 search
24.02 run=10 nbConstraintChecks=109725287 nbAssignments=110000
24.02 => wckTime=23.375 cpuTime=23.24 mem=5M667
26.14
26.14 search
26.14 run=11 nbConstraintChecks=119749988 nbAssignments=120000
26.14 => wckTime=25.495 cpuTime=25.35 mem=5M667
28.24
28.24 search
28.24 run=12 nbConstraintChecks=129674370 nbAssignments=130000
28.24 => wckTime=27.593 cpuTime=27.44 mem=5M667
30.37
30.37 search
30.37 run=13 nbConstraintChecks=139703649 nbAssignments=140000
30.37 => wckTime=29.728 cpuTime=29.57 mem=5M667
32.49
32.49 search
32.49 run=14 nbConstraintChecks=149619874 nbAssignments=150000
32.49 => wckTime=31.848 cpuTime=31.67 mem=5M667
33.24
33.24 search
33.24 run=15 nbConstraintChecks=153101890 nbAssignments=153462
33.24 => wckTime=32.592 cpuTime=32.42 mem=5M667
33.24
33.24 global
33.24 nbConstraintChecks=153101890 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.24 solvingWckTime=32.591 solvingCpuTime=32.42 expiredTime=no totalExploration=no nbFoundSolutions=0
33.24 globalCpuTime=32.69
33.24 => wckTime=32.926 cpuTime=32.64 mem=5M667
33.24
33.24 solver IterativeSystematicSolver being built...
33.38 => wckTime=33.071 cpuTime=32.75 mem=16M786
33.40
33.40 preprocessing
33.40 nbConstraintChecks=554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.40 detectedInconsistency=no
33.40 => wckTime=0.0090 cpuTime=0.01 mem=16M786
33.46
33.46 search
33.46 run=0 nbConstraintChecks=54287 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40
33.46 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
33.46 => wckTime=0.071 cpuTime=0.04 mem=16M786
33.51
33.51 search
33.51 run=1 nbConstraintChecks=121827 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87
33.51 nbFailedAssignments=21 nbBacktracks=25 nbVisitedNodes=134 nbRestartNogoods=2
33.51 => wckTime=0.122 cpuTime=0.08 mem=16M786
33.55
33.55 search
33.55 run=2 nbConstraintChecks=212527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144
33.55 nbFailedAssignments=38 nbBacktracks=49 nbVisitedNodes=232 nbRestartNogoods=4
33.55 => wckTime=0.164 cpuTime=0.13 mem=16M786
33.60
33.60 search
33.60 run=3 nbConstraintChecks=323265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=214
33.60 nbFailedAssignments=55 nbBacktracks=82 nbVisitedNodes=352 nbRestartNogoods=5
33.60 => wckTime=0.212 cpuTime=0.17 mem=16M786
33.67
33.67 search
33.67 run=4 nbConstraintChecks=486435 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=309
33.67 nbFailedAssignments=81 nbBacktracks=134 nbVisitedNodes=525 nbRestartNogoods=8
33.67 => wckTime=0.283 cpuTime=0.24 mem=16M786
33.78
33.78 search
33.78 run=5 nbConstraintChecks=734915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=447
33.78 nbFailedAssignments=126 nbBacktracks=210 nbVisitedNodes=784 nbRestartNogoods=11
33.78 => wckTime=0.393 cpuTime=0.35 mem=16M786
33.94
33.94 search
33.94 run=6 nbConstraintChecks=1105611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=647
33.94 nbFailedAssignments=197 nbBacktracks=324 nbVisitedNodes=1169 nbRestartNogoods=15
33.94 => wckTime=0.552 cpuTime=0.5 mem=16M786
34.19
34.19 search
34.19 run=7 nbConstraintChecks=1678873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=953
34.19 nbFailedAssignments=315 nbBacktracks=494 nbVisitedNodes=1763 nbRestartNogoods=18
34.19 => wckTime=0.807 cpuTime=0.75 mem=16M786
34.58
34.58 search
34.58 run=8 nbConstraintChecks=2556610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1405
34.58 nbFailedAssignments=492 nbBacktracks=752 nbVisitedNodes=2650 nbRestartNogoods=22
34.58 => wckTime=1.196 cpuTime=1.13 mem=16M786
35.16
35.16 search
35.16 run=9 nbConstraintChecks=3846795 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2065
35.16 nbFailedAssignments=752 nbBacktracks=1136 nbVisitedNodes=3954 nbRestartNogoods=26
35.16 => wckTime=1.773 cpuTime=1.69 mem=16M786
35.94
35.94 search
35.95 run=10 nbConstraintChecks=5709567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3019
35.95 nbFailedAssignments=1117 nbBacktracks=1712 nbVisitedNodes=5849 nbRestartNogoods=31
35.95 => wckTime=2.56 cpuTime=2.47 mem=16M786
37.16
37.16 search
37.16 run=11 nbConstraintChecks=8614735 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4488
37.16 nbFailedAssignments=1707 nbBacktracks=2576 nbVisitedNodes=8771 nbRestartNogoods=36
37.16 => wckTime=3.777 cpuTime=3.68 mem=16M786
38.81
38.81 search
38.81 run=12 nbConstraintChecks=12607615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6511
38.81 nbFailedAssignments=2419 nbBacktracks=3873 nbVisitedNodes=12803 nbRestartNogoods=42
38.81 => wckTime=5.429 cpuTime=5.32 mem=16M786
41.41
41.41 search
41.41 run=13 nbConstraintChecks=18851743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9684
41.41 nbFailedAssignments=3631 nbBacktracks=5819 nbVisitedNodes=19130 nbRestartNogoods=47
41.41 => wckTime=8.025 cpuTime=7.9 mem=16M786
45.59
45.59 search
45.59 run=14 nbConstraintChecks=28690184 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14690
45.59 nbFailedAssignments=5703 nbBacktracks=8740 nbVisitedNodes=29064 nbRestartNogoods=52
45.59 => wckTime=12.205 cpuTime=12.06 mem=16M786
51.83
51.83 search
51.83 run=15 nbConstraintChecks=43154501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21961
51.83 nbFailedAssignments=8584 nbBacktracks=13118 nbVisitedNodes=43525 nbRestartNogoods=57
51.83 => wckTime=18.44 cpuTime=18.27 mem=16M786
61.75
61.76 search
61.76 run=16 nbConstraintChecks=65189808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32812
61.76 nbFailedAssignments=12854 nbBacktracks=19687 nbVisitedNodes=65167 nbRestartNogoods=62
61.76 => wckTime=28.37 cpuTime=28.16 mem=16M786
75.10
75.10 search
75.10 run=17 nbConstraintChecks=96686144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48903
75.10 nbFailedAssignments=19081 nbBacktracks=29539 nbVisitedNodes=97286 nbRestartNogoods=67
75.10 => wckTime=41.714 cpuTime=41.44 mem=16M786
96.26
96.26 search
96.26 run=18 nbConstraintChecks=143523686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72329
96.26 nbFailedAssignments=27712 nbBacktracks=44317 nbVisitedNodes=144088 nbRestartNogoods=73
96.26 => wckTime=62.871 cpuTime=62.49 mem=16M786
128.97
128.98 search
128.98 run=19 nbConstraintChecks=215210607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107739
128.98 nbFailedAssignments=40944 nbBacktracks=66485 nbVisitedNodes=214454 nbRestartNogoods=78
128.98 => wckTime=95.59 cpuTime=95.05 mem=16M786
176.95
176.95 search
176.95 run=20 nbConstraintChecks=320282630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=160468
176.95 nbFailedAssignments=60409 nbBacktracks=99738 nbVisitedNodes=319518 nbRestartNogoods=85
176.95 => wckTime=143.562 cpuTime=142.81 mem=16M786
250.04
250.04 search
250.04 run=21 nbConstraintChecks=481582347 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241607
250.04 nbFailedAssignments=91655 nbBacktracks=149616 nbVisitedNodes=481472 nbRestartNogoods=93
250.04 => wckTime=216.659 cpuTime=215.55 mem=16M786
323.32
323.32 search
323.32 run=22 nbConstraintChecks=642122153 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=323532
323.32 nbFailedAssignments=123253 nbBacktracks=199944 nbVisitedNodes=645146 nbRestartNogoods=97
323.32 => wckTime=289.937 cpuTime=288.49 mem=16M786
323.32
323.32 global
323.32 nbConstraintChecks=642122707 nbRestartNogoods=97 solvingWckTime=289.938 solvingCpuTime=288.49 expiredTime=no
323.32 totalExploration=yes nbFoundSolutions=0 globalCpuTime=321.29
323.32 => wckTime=323.009 cpuTime=321.24 mem=16M786
323.33
323.33 s OPTIMUM FOUND
323.33 v 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0
323.33
323.33 totalWckTime=323.089 totalCpuTime=321.3
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-277688-1169269861 -o ROOT/results/node17/solver-277688-1169269861 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277688-1169269861/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.92 1.96 1.91 4/94 14505
/proc/meminfo: memFree=1253984/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=18540 CPUtime=0
/proc/14504/stat : 14504 (runsolver) R 14502 14504 14060 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275380894 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14504/statm: 4635 279 244 17 0 2626 0
[startup+0.108094 s]
/proc/loadavg: 1.92 1.96 1.91 4/94 14505
/proc/meminfo: memFree=1253984/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=914988 CPUtime=0.09
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 275380894 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516139 s]
/proc/loadavg: 1.92 1.96 1.91 4/94 14505
/proc/meminfo: memFree=1253984/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915332 CPUtime=0.49
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 6407 0 1 0 45 4 0 0 18 0 8 0 275380894 937299968 6146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228833 6146 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33822 s]
/proc/loadavg: 1.92 1.96 1.91 3/101 14512
/proc/meminfo: memFree=1235752/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=1.31
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 7228 0 1 0 116 15 0 0 25 0 8 0 275380894 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3182295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 6966 2476 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.13
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 340 0 0 0 13 0 0 0 16 0 8 0 275380902 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 6966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 6966 18446744073709551615 134512640 134570532 4294956480 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.99139 s]
/proc/loadavg: 1.92 1.96 1.91 3/101 14512
/proc/meminfo: memFree=1235752/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=2.95
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 7231 0 1 0 251 44 0 0 25 0 8 0 275380894 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073699703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 6968 2476 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.13
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.28773 s]
/proc/loadavg: 1.93 1.96 1.91 3/101 14512
/proc/meminfo: memFree=1235624/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=6.23
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 7231 0 1 0 516 107 0 0 25 0 8 0 275380894 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 6968 2476 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.13
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7724 s]
/proc/loadavg: 1.93 1.97 1.91 3/101 14512
/proc/meminfo: memFree=1235632/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=12.69
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 7231 0 1 0 1035 234 0 0 25 0 8 0 275380894 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 6968 2476 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.13
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915460
[startup+25.6138 s]
/proc/loadavg: 1.95 1.97 1.91 3/101 14512
/proc/meminfo: memFree=1235632/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=25.48
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 7231 0 1 0 2067 481 0 0 25 0 8 0 275380894 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702966 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 6968 2476 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.13
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2294 s]
/proc/loadavg: 1.96 1.97 1.91 3/101 14512
/proc/meminfo: memFree=1228144/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=50.97
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 9175 0 1 0 4468 629 0 0 25 0 8 0 275380894 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 8908 2527 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.25
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 275380902 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 8908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915460
[startup+102.444 s]
/proc/loadavg: 1.98 1.97 1.91 3/101 14512
/proc/meminfo: memFree=1228144/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=101.94
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 9184 0 1 0 9565 629 0 0 25 0 8 0 275380894 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 8917 2527 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.25
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 275380902 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 8917 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915460
[startup+162.504 s]
/proc/loadavg: 1.99 1.97 1.91 3/101 14512
/proc/meminfo: memFree=1228080/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=161.72
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 9188 0 1 0 15542 630 0 0 25 0 8 0 275380894 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 8921 2527 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.26
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 275380902 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 8921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 915460
[startup+222.561 s]
/proc/loadavg: 2.03 1.99 1.91 3/101 14512
/proc/meminfo: memFree=1228080/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=221.5
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 9191 0 1 0 21519 631 0 0 25 0 8 0 275380894 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 8923 2527 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.26
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 275380902 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 8923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.5
Current children cumulated vsize (KiB) 915460
[startup+282.618 s]
/proc/loadavg: 2.01 1.99 1.91 3/101 14512
/proc/meminfo: memFree=1228080/2055920 swapFree=4192812/4192956
[pid=14504] ppid=14502 vsize=915460 CPUtime=281.27
/proc/14504/stat : 14504 (java) R 14502 14504 14060 0 -1 0 9194 0 1 0 27496 631 0 0 25 0 8 0 275380894 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073877151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14504/statm: 228865 8926 2527 14 0 215335 0
[pid=14504/tid=14506] ppid=14502 vsize=915460 CPUtime=0.02
/proc/14504/task/14506/stat : 14506 (java) S 14502 14504 14060 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 275380898 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14507] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14507/stat : 14507 (java) S 14502 14504 14060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275380899 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14508] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14508/stat : 14508 (java) S 14502 14504 14060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275380899 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14509] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14509/stat : 14509 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275380902 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14510] ppid=14502 vsize=915460 CPUtime=0.26
/proc/14504/task/14510/stat : 14510 (java) S 14502 14504 14060 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 275380902 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14511] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14511/stat : 14511 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275380902 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14504/tid=14512] ppid=14502 vsize=915460 CPUtime=0
/proc/14504/task/14512/stat : 14512 (java) S 14502 14504 14060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275380902 937431040 8926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.27
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 323.347
CPU time (s): 321.809
CPU user time (s): 315.484
CPU system time (s): 6.32504
CPU usage (%): 99.5242
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 315.484
system time used= 6.32504
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9292
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= 7700
involuntary context switches= 22827
runsolver used 0.411937 s user time and 1.02884 s system time
The end
Begin job on node17 on Sat Jan 20 05:11:01 UTC 2007
IDJOB= 277688
IDBENCH= 7560
IDSOLVER= 69
FILE ID= node17/277688-1169269861
PBS_JOBID= 3607410
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-1100-2000/cnf-2-40-1200-713321_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277688-1169269861/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-277688-1169269861 -o ROOT/results/node17/solver-277688-1169269861 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277688-1169269861/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5ffdfd6693618ccdb6e65fbb60b76122
RANDOM SEED= 253110054
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.236
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.236
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: 1254400 kB
Buffers: 47056 kB
Cached: 500548 kB
SwapCached: 0 kB
Active: 375856 kB
Inactive: 349604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1254400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1756 kB
Writeback: 0 kB
Mapped: 204808 kB
Slab: 60480 kB
Committed_AS: 8369636 kB
PageTables: 2564 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 node17 on Sat Jan 20 05:16:24 UTC 2007