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/279929-1169299344/unknown.xml
0.37
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=30 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.09 cpuTime=0.07 mem=6M910
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.51 nbConstraints=330 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=329
0.51 nbConflictsStructures=1 nbSharedConflictsStructures=329 nbSharedBinaryRepresentations=2 maxDegree=26 maxArity=2
0.51 => wckTime=0.201 cpuTime=0.14 mem=7M885
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.28 cpuTime=0.19 mem=5M518
0.60
0.60 s SATISFIABLE
0.60 o 174
0.60 c 156
0.60 o 177
0.60 c 153
0.60 o 181
0.60 c 149
0.60 o 182
0.60 c 148
0.60 o 183
0.60 c 147
0.60 o 184
0.60 c 146
0.60 o 186
0.60 c 144
0.60 o 189
0.60 c 141
0.61 o 191
0.61 c 139
0.61 o 192
0.61 c 138
0.62 o 193
0.62 c 137
0.65 o 194
0.65 c 136
2.01
2.01 search
2.01 run=0 nbConstraintChecks=5529290 nbAssignments=10000
2.01 => wckTime=1.424 cpuTime=1.4 mem=5M518
3.38
3.38 search
3.38 run=1 nbConstraintChecks=11096415 nbAssignments=20000
3.38 => wckTime=2.793 cpuTime=2.76 mem=5M518
4.74
4.74 search
4.74 run=2 nbConstraintChecks=16625185 nbAssignments=30000
4.74 => wckTime=4.153 cpuTime=4.1 mem=5M518
6.11
6.11 search
6.11 run=3 nbConstraintChecks=22192330 nbAssignments=40000
6.11 => wckTime=5.515 cpuTime=5.45 mem=5M518
7.46
7.46 search
7.46 run=4 nbConstraintChecks=27719319 nbAssignments=50000
7.46 => wckTime=6.873 cpuTime=6.81 mem=5M518
8.83
8.83 search
8.83 run=5 nbConstraintChecks=33279841 nbAssignments=60000
8.83 => wckTime=8.24 cpuTime=8.16 mem=5M518
10.21
10.21 search
10.21 run=6 nbConstraintChecks=38812787 nbAssignments=70000
10.21 => wckTime=9.619 cpuTime=9.53 mem=5M518
11.58
11.58 search
11.58 run=7 nbConstraintChecks=44379552 nbAssignments=80000
11.58 => wckTime=10.993 cpuTime=10.89 mem=5M518
12.95
12.95 search
12.95 run=8 nbConstraintChecks=49909006 nbAssignments=90000
12.95 => wckTime=12.363 cpuTime=12.25 mem=5M518
14.24
14.24 search
14.24 run=9 nbConstraintChecks=55475246 nbAssignments=100000
14.24 => wckTime=13.653 cpuTime=13.54 mem=5M518
15.50
15.50 search
15.50 run=10 nbConstraintChecks=61005359 nbAssignments=110000
15.50 => wckTime=14.909 cpuTime=14.79 mem=5M518
16.76
16.76 search
16.76 run=11 nbConstraintChecks=66573360 nbAssignments=120000
16.76 => wckTime=16.166 cpuTime=16.05 mem=5M518
18.01
18.01 search
18.01 run=12 nbConstraintChecks=72100115 nbAssignments=130000
18.01 => wckTime=17.422 cpuTime=17.3 mem=5M518
19.30
19.30 search
19.30 run=13 nbConstraintChecks=77667008 nbAssignments=140000
19.30 => wckTime=18.714 cpuTime=18.57 mem=5M518
20.57
20.57 search
20.57 run=14 nbConstraintChecks=83198360 nbAssignments=150000
20.57 => wckTime=19.977 cpuTime=19.84 mem=5M518
21.83
21.83 search
21.84 run=15 nbConstraintChecks=88762648 nbAssignments=160000
21.84 => wckTime=21.244 cpuTime=21.11 mem=5M518
23.10
23.10 search
23.10 run=16 nbConstraintChecks=94294309 nbAssignments=170000
23.10 => wckTime=22.507 cpuTime=22.36 mem=5M518
24.37
24.37 search
24.37 run=17 nbConstraintChecks=99863124 nbAssignments=180000
24.37 => wckTime=23.775 cpuTime=23.63 mem=5M518
25.64
25.64 search
25.64 run=18 nbConstraintChecks=105395567 nbAssignments=190000
25.64 => wckTime=25.047 cpuTime=24.9 mem=5M518
26.94
26.94 search
26.94 run=19 nbConstraintChecks=110960791 nbAssignments=200000
26.94 => wckTime=26.345 cpuTime=26.19 mem=5M518
28.20
28.20 search
28.20 run=20 nbConstraintChecks=116488816 nbAssignments=210000
28.20 => wckTime=27.612 cpuTime=27.46 mem=5M518
29.46
29.46 search
29.46 run=21 nbConstraintChecks=122057447 nbAssignments=220000
29.46 => wckTime=28.871 cpuTime=28.72 mem=5M518
30.72
30.72 search
30.72 run=22 nbConstraintChecks=127586509 nbAssignments=230000
30.72 => wckTime=30.125 cpuTime=29.97 mem=5M518
30.80
30.80 search
30.80 run=23 nbConstraintChecks=127944781 nbAssignments=230641
30.80 => wckTime=30.206 cpuTime=30.06 mem=5M518
30.80
30.80 global
30.80 nbConstraintChecks=127944781 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.80 solvingWckTime=30.205 solvingCpuTime=30.05 expiredTime=no totalExploration=no nbFoundSolutions=0
30.80 globalCpuTime=30.29
30.80 => wckTime=30.487 cpuTime=30.24 mem=5M518
30.80
30.80 solver IterativeSystematicSolver being built...
30.93 => wckTime=30.619 cpuTime=30.34 mem=16M602
30.94
30.94 preprocessing
30.94 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.94 detectedInconsistency=no
30.94 => wckTime=0.0050 cpuTime=0.0 mem=16M602
30.98
30.98 search
30.98 run=0 nbConstraintChecks=26010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
30.98 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0
30.98 => wckTime=0.047 cpuTime=0.03 mem=16M602
31.01
31.01 search
31.01 run=1 nbConstraintChecks=60978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
31.01 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=141 nbRestartNogoods=1
31.01 => wckTime=0.079 cpuTime=0.05 mem=16M602
31.03
31.03 search
31.03 run=2 nbConstraintChecks=103851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
31.03 nbFailedAssignments=46 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=3
31.03 => wckTime=0.101 cpuTime=0.07 mem=16M602
31.06
31.06 search
31.06 run=3 nbConstraintChecks=168253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=221
31.06 nbFailedAssignments=76 nbBacktracks=81 nbVisitedNodes=379 nbRestartNogoods=5
31.06 => wckTime=0.129 cpuTime=0.1 mem=16M602
31.10
31.10 search
31.10 run=4 nbConstraintChecks=261543 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=328
31.10 nbFailedAssignments=117 nbBacktracks=132 nbVisitedNodes=578 nbRestartNogoods=9
31.10 => wckTime=0.169 cpuTime=0.13 mem=16M602
31.16
31.16 search
31.16 run=5 nbConstraintChecks=401183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=486
31.16 nbFailedAssignments=185 nbBacktracks=207 nbVisitedNodes=879 nbRestartNogoods=12
31.16 => wckTime=0.229 cpuTime=0.19 mem=16M602
31.24
31.24 search
31.24 run=6 nbConstraintChecks=610158 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=709
31.24 nbFailedAssignments=280 nbBacktracks=320 nbVisitedNodes=1310 nbRestartNogoods=16
31.24 => wckTime=0.309 cpuTime=0.27 mem=16M602
31.38
31.38 search
31.38 run=7 nbConstraintChecks=947497 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1072
31.38 nbFailedAssignments=460 nbBacktracks=490 nbVisitedNodes=2023 nbRestartNogoods=22
31.38 => wckTime=0.444 cpuTime=0.4 mem=16M602
31.57
31.57 search
31.57 run=8 nbConstraintChecks=1440009 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1596
31.57 nbFailedAssignments=715 nbBacktracks=746 nbVisitedNodes=3058 nbRestartNogoods=24
31.57 => wckTime=0.638 cpuTime=0.58 mem=16M602
31.84
31.84 search
31.84 run=9 nbConstraintChecks=2200037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2383
31.84 nbFailedAssignments=1105 nbBacktracks=1130 nbVisitedNodes=4619 nbRestartNogoods=30
31.84 => wckTime=0.907 cpuTime=0.84 mem=16M602
32.22
32.22 search
32.22 run=10 nbConstraintChecks=3279903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3510
32.22 nbFailedAssignments=1643 nbBacktracks=1706 nbVisitedNodes=6860 nbRestartNogoods=34
32.22 => wckTime=1.29 cpuTime=1.22 mem=16M602
32.78
32.78 search
32.78 run=11 nbConstraintChecks=4875263 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5185
32.78 nbFailedAssignments=2441 nbBacktracks=2570 nbVisitedNodes=10197 nbRestartNogoods=40
32.78 => wckTime=1.846 cpuTime=1.78 mem=16M602
33.66
33.66 search
33.66 run=12 nbConstraintChecks=7337977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7726
33.66 nbFailedAssignments=3671 nbBacktracks=3867 nbVisitedNodes=15265 nbRestartNogoods=47
33.66 => wckTime=2.724 cpuTime=2.66 mem=16M602
35.08
35.08 search
35.08 run=13 nbConstraintChecks=11265388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11703
35.08 nbFailedAssignments=5692 nbBacktracks=5813 nbVisitedNodes=23209 nbRestartNogoods=53
35.08 => wckTime=4.151 cpuTime=4.08 mem=16M602
37.15
37.15 search
37.15 run=14 nbConstraintChecks=16981789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17529
37.15 nbFailedAssignments=8586 nbBacktracks=8732 nbVisitedNodes=34848 nbRestartNogoods=59
37.15 => wckTime=6.214 cpuTime=6.14 mem=16M602
40.31
40.31 search
40.31 run=15 nbConstraintChecks=25571053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26093
40.31 nbFailedAssignments=12759 nbBacktracks=13111 nbVisitedNodes=51964 nbRestartNogoods=66
40.31 => wckTime=9.379 cpuTime=9.3 mem=16M602
44.85
44.85 search
44.85 run=16 nbConstraintChecks=37962099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38983
44.85 nbFailedAssignments=19066 nbBacktracks=19679 nbVisitedNodes=77729 nbRestartNogoods=72
44.85 => wckTime=13.919 cpuTime=13.84 mem=16M602
51.93
51.93 search
51.93 run=17 nbConstraintChecks=57013319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58480
51.93 nbFailedAssignments=28700 nbBacktracks=29531 nbVisitedNodes=116712 nbRestartNogoods=76
51.93 => wckTime=21.002 cpuTime=20.93 mem=16M602
62.58
62.59 search
62.59 run=18 nbConstraintChecks=85639342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=87928
62.59 nbFailedAssignments=43363 nbBacktracks=44309 nbVisitedNodes=175600 nbRestartNogoods=79
62.59 => wckTime=31.653 cpuTime=31.57 mem=16M602
78.96
78.96 search
78.96 run=19 nbConstraintChecks=129164810 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132338
78.96 nbFailedAssignments=65592 nbBacktracks=66477 nbVisitedNodes=264397 nbRestartNogoods=83
78.96 => wckTime=48.026 cpuTime=47.91 mem=16M602
103.43
103.43 search
103.43 run=20 nbConstraintChecks=193681241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=198042
103.43 nbFailedAssignments=98034 nbBacktracks=99729 nbVisitedNodes=395660 nbRestartNogoods=89
103.43 => wckTime=72.494 cpuTime=72.37 mem=16M602
140.20
140.20 search
140.20 run=21 nbConstraintChecks=291354273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=298052
140.20 nbFailedAssignments=148157 nbBacktracks=149607 nbVisitedNodes=595376 nbRestartNogoods=96
140.20 => wckTime=109.267 cpuTime=109.1 mem=16M602
193.24
193.24 search
193.24 run=22 nbConstraintChecks=434488417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=446767
193.24 nbFailedAssignments=222044 nbBacktracks=224425 nbVisitedNodes=890629 nbRestartNogoods=107
193.24 => wckTime=162.308 cpuTime=162.1 mem=16M602
269.68
269.68 search
269.69 run=23 nbConstraintChecks=644768581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=671056
269.69 nbFailedAssignments=334093 nbBacktracks=336652 nbVisitedNodes=1332476 nbRestartNogoods=119
269.69 => wckTime=238.753 cpuTime=238.45 mem=16M602
377.55
377.55 search
377.55 run=24 nbConstraintChecks=948330867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=998104
377.55 nbFailedAssignments=492785 nbBacktracks=504993 nbVisitedNodes=1970695 nbRestartNogoods=128
377.55 => wckTime=346.623 cpuTime=346.22 mem=16M602
414.34
414.34 search
414.34 run=25 nbConstraintChecks=1052212947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1110102
414.34 nbFailedAssignments=546261 nbBacktracks=563516 nbVisitedNodes=2185091 nbRestartNogoods=138
414.34 => wckTime=383.403 cpuTime=382.96 mem=16M602
414.34
414.34 global
414.34 nbConstraintChecks=1052212947 nbRestartNogoods=138 solvingWckTime=383.404 solvingCpuTime=382.96 expiredTime=no
414.34 totalExploration=yes nbFoundSolutions=0 globalCpuTime=413.35
414.34 => wckTime=414.025 cpuTime=413.3 mem=16M602
414.34
414.34 s OPTIMUM FOUND
414.34 v 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1
414.34
414.34 totalWckTime=414.104 totalCpuTime=413.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-279929-1169299344 -o ROOT/results/node71/solver-279929-1169299344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279929-1169299344/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.08 1.02 1.00 5/73 31577
/proc/meminfo: memFree=1285888/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=18540 CPUtime=0
/proc/31576/stat : 31576 (runsolver) R 31574 31576 31154 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 77431230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31576/statm: 4635 279 244 17 0 2626 0
[startup+0.107615 s]
/proc/loadavg: 1.08 1.02 1.00 5/73 31577
/proc/meminfo: memFree=1285888/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=914988 CPUtime=0.08
/proc/31576/stat : 31576 (java) S 31574 31576 31154 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 77431230 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515672 s]
/proc/loadavg: 1.08 1.02 1.00 5/73 31577
/proc/meminfo: memFree=1285888/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915332 CPUtime=0.49
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6473 0 1 0 45 4 0 0 18 0 8 0 77431230 937299968 6212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228833 6212 2157 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33879 s]
/proc/loadavg: 1.08 1.02 1.00 3/80 31584
/proc/meminfo: memFree=1268616/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915444 CPUtime=1.3
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6983 0 1 0 105 25 0 0 25 0 8 0 77431230 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228861 6721 2476 14 0 215331 0
[pid=31576/tid=31578] ppid=31574 vsize=915444 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 77431235 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915444 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915444 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915444 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915444 CPUtime=0.11
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 77431238 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915444 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937414656 6721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915444 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937414656 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.3
Current children cumulated vsize (KiB) 915444
[startup+2.98301 s]
/proc/loadavg: 1.08 1.02 1.00 3/80 31584
/proc/meminfo: memFree=1268552/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=2.94
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6988 0 1 0 221 73 0 0 25 0 8 0 77431230 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228860 6725 2476 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.12
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 325 0 0 0 12 0 0 0 16 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.26246 s]
/proc/loadavg: 1.16 1.03 1.01 3/80 31584
/proc/meminfo: memFree=1268552/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=6.19
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6988 0 1 0 454 165 0 0 25 0 8 0 77431230 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228860 6725 2476 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.12
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 325 0 0 0 12 0 0 0 16 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7483 s]
/proc/loadavg: 1.22 1.05 1.01 3/80 31584
/proc/meminfo: memFree=1268560/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=12.63
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6988 0 1 0 912 351 0 0 25 0 8 0 77431230 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31576/statm: 228860 6725 2476 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.12
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 325 0 0 0 12 0 0 0 16 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.5971 s]
/proc/loadavg: 1.39 1.09 1.03 3/81 31662
/proc/meminfo: memFree=1267600/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=25.44
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 6988 0 1 0 1826 718 0 0 25 0 8 0 77431230 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228861 6725 2476 14 0 215331 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.12
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 325 0 0 0 12 0 0 0 16 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 6725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 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.44
Current children cumulated vsize (KiB) 915440
[startup+51.2076 s]
/proc/loadavg: 1.60 1.16 1.05 3/88 31748
/proc/meminfo: memFree=1254296/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=51.03
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9104 0 1 0 4230 873 0 0 25 0 8 0 77431230 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8839 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 382 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915440
[startup+102.423 s]
/proc/loadavg: 1.83 1.29 1.10 4/88 31748
/proc/meminfo: memFree=1254360/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=102.2
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9112 0 1 0 9347 873 0 0 25 0 8 0 77431230 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8846 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915440
[startup+162.497 s]
/proc/loadavg: 1.93 1.42 1.15 3/88 31748
/proc/meminfo: memFree=1254360/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=162.21
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9117 0 1 0 15347 874 0 0 25 0 8 0 77431230 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8851 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8851 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 915440
[startup+222.573 s]
/proc/loadavg: 1.97 1.52 1.20 3/88 31748
/proc/meminfo: memFree=1254296/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=222.23
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9121 0 1 0 21349 874 0 0 25 0 8 0 77431230 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8854 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 915440
[startup+282.632 s]
/proc/loadavg: 1.99 1.61 1.25 3/88 31748
/proc/meminfo: memFree=1254296/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=282.24
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9124 0 1 0 27350 874 0 0 25 0 8 0 77431230 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8857 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 915440
[startup+342.707 s]
/proc/loadavg: 1.99 1.67 1.30 3/88 31748
/proc/meminfo: memFree=1254296/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=342.24
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9124 0 1 0 33350 874 0 0 25 0 8 0 77431230 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8857 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 915440
[startup+402.725 s]
/proc/loadavg: 1.99 1.73 1.34 4/88 31748
/proc/meminfo: memFree=1254296/2055920 swapFree=4192812/4192956
[pid=31576] ppid=31574 vsize=915440 CPUtime=402.2
/proc/31576/stat : 31576 (java) R 31574 31576 31154 0 -1 0 9126 0 1 0 39346 874 0 0 25 0 8 0 77431230 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31576/statm: 228860 8859 2527 14 0 215330 0
[pid=31576/tid=31578] ppid=31574 vsize=915440 CPUtime=0.02
/proc/31576/task/31578/stat : 31578 (java) S 31574 31576 31154 0 -1 64 157 0 0 0 2 0 0 0 16 0 8 0 77431235 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31579] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31579/stat : 31579 (java) S 31574 31576 31154 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77431235 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31580] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31580/stat : 31580 (java) S 31574 31576 31154 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77431235 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31581] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31581/stat : 31581 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77431238 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31582] ppid=31574 vsize=915440 CPUtime=0.21
/proc/31576/task/31582/stat : 31582 (java) S 31574 31576 31154 0 -1 64 384 0 0 0 21 0 0 0 16 0 8 0 77431238 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31576/tid=31583] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31583/stat : 31583 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77431238 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31576/tid=31584] ppid=31574 vsize=915440 CPUtime=0
/proc/31576/task/31584/stat : 31584 (java) S 31574 31576 31154 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 77431238 937410560 8859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 414.363
CPU time (s): 413.827
CPU user time (s): 405.076
CPU system time (s): 8.75067
CPU usage (%): 99.8706
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.076
system time used= 8.75067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9224
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= 9489
involuntary context switches= 4238
runsolver used 0.541917 s user time and 1.2908 s system time
The end
Begin job on node71 on Sat Jan 20 13:22:24 UTC 2007
IDJOB= 279929
IDBENCH= 10512
IDSOLVER= 69
FILE ID= node71/279929-1169299344
PBS_JOBID= 3609863
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxcut/maxcut-30/maxcut-30-330-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279929-1169299344/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-279929-1169299344 -o ROOT/results/node71/solver-279929-1169299344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279929-1169299344/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5785840d9fb924e1b0f1237663bee825
RANDOM SEED= 146541028
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: 1286368 kB
Buffers: 51960 kB
Cached: 620764 kB
SwapCached: 0 kB
Active: 132396 kB
Inactive: 561660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1286368 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4300 kB
Writeback: 0 kB
Mapped: 32916 kB
Slab: 60960 kB
Committed_AS: 939560 kB
PageTables: 1776 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 node71 on Sat Jan 20 13:29:18 UTC 2007