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/279875-1169299005/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.092 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.54 nbConstraints=380 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=379
0.54 nbConflictsStructures=1 nbSharedConflictsStructures=379 nbSharedBinaryRepresentations=2 maxDegree=28 maxArity=2
0.54 => wckTime=0.225 cpuTime=0.16 mem=8M893
0.58
0.58 solver LocalSearchSolver being built...
0.62 => wckTime=0.306 cpuTime=0.2 mem=5M543
0.63
0.63 s SATISFIABLE
0.63 o 201
0.63 c 179
0.63 o 203
0.63 c 177
0.63 o 204
0.63 c 176
0.63 o 205
0.63 c 175
0.63 o 207
0.63 c 173
0.63 o 210
0.63 c 170
0.63 o 211
0.63 c 169
0.63 o 212
0.63 c 168
0.64 o 214
0.64 c 166
0.64 o 215
0.64 c 165
2.22
2.22 search
2.22 run=0 nbConstraintChecks=6621734 nbAssignments=10000
2.22 => wckTime=1.602 cpuTime=1.56 mem=5M543
3.77
3.77 search
3.77 run=1 nbConstraintChecks=13281043 nbAssignments=20000
3.77 => wckTime=3.145 cpuTime=3.09 mem=5M543
5.29
5.29 search
5.29 run=2 nbConstraintChecks=19901091 nbAssignments=30000
5.29 => wckTime=4.668 cpuTime=4.6 mem=5M543
6.82
6.82 search
6.82 run=3 nbConstraintChecks=26559589 nbAssignments=40000
6.82 => wckTime=6.197 cpuTime=6.11 mem=5M543
8.33
8.33 search
8.33 run=4 nbConstraintChecks=33178109 nbAssignments=50000
8.33 => wckTime=7.714 cpuTime=7.61 mem=5M543
9.86
9.86 search
9.86 run=5 nbConstraintChecks=39840945 nbAssignments=60000
9.86 => wckTime=9.243 cpuTime=9.13 mem=5M543
11.38
11.38 search
11.38 run=6 nbConstraintChecks=46462529 nbAssignments=70000
11.38 => wckTime=10.762 cpuTime=10.63 mem=5M543
12.90
12.90 search
12.90 run=7 nbConstraintChecks=53123868 nbAssignments=80000
12.90 => wckTime=12.284 cpuTime=12.14 mem=5M543
14.43
14.43 search
14.43 run=8 nbConstraintChecks=59743537 nbAssignments=90000
14.43 => wckTime=13.808 cpuTime=13.65 mem=5M543
15.97
15.97 search
15.97 run=9 nbConstraintChecks=66405904 nbAssignments=100000
15.97 => wckTime=15.348 cpuTime=15.17 mem=5M543
17.50
17.50 search
17.50 run=10 nbConstraintChecks=73025422 nbAssignments=110000
17.50 => wckTime=16.876 cpuTime=16.7 mem=5M543
19.04
19.04 search
19.04 run=11 nbConstraintChecks=79688451 nbAssignments=120000
19.04 => wckTime=18.416 cpuTime=18.22 mem=5M543
20.57
20.57 search
20.57 run=12 nbConstraintChecks=86311087 nbAssignments=130000
20.57 => wckTime=19.95 cpuTime=19.74 mem=5M543
22.10
22.10 search
22.10 run=13 nbConstraintChecks=92969648 nbAssignments=140000
22.10 => wckTime=21.484 cpuTime=21.27 mem=5M543
23.64
23.64 search
23.64 run=14 nbConstraintChecks=99588971 nbAssignments=150000
23.64 => wckTime=23.018 cpuTime=22.78 mem=5M543
25.17
25.17 search
25.17 run=15 nbConstraintChecks=106249987 nbAssignments=160000
25.17 => wckTime=24.547 cpuTime=24.3 mem=5M543
26.68
26.68 search
26.68 run=16 nbConstraintChecks=112870420 nbAssignments=170000
26.68 => wckTime=26.063 cpuTime=25.81 mem=5M543
28.21
28.21 search
28.21 run=17 nbConstraintChecks=119531594 nbAssignments=180000
28.21 => wckTime=27.589 cpuTime=27.31 mem=5M543
29.73
29.73 search
29.73 run=18 nbConstraintChecks=126156603 nbAssignments=190000
29.73 => wckTime=29.111 cpuTime=28.82 mem=5M543
30.95
30.95 search
30.95 run=19 nbConstraintChecks=131486142 nbAssignments=198000
30.95 => wckTime=30.33 cpuTime=30.03 mem=5M543
30.95
30.95 global
30.95 nbConstraintChecks=131486142 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.95 solvingWckTime=30.33 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.95 globalCpuTime=30.28
30.95 => wckTime=30.637 cpuTime=30.23 mem=5M543
30.95
30.95 solver IterativeSystematicSolver being built...
31.09 => wckTime=30.778 cpuTime=30.34 mem=16M594
31.10
31.10 preprocessing
31.10 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.10 detectedInconsistency=no
31.10 => wckTime=0.0060 cpuTime=0.0 mem=16M594
31.15
31.15 search
31.15 run=0 nbConstraintChecks=30555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41
31.15 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=65 nbRestartNogoods=0
31.15 => wckTime=0.053 cpuTime=0.03 mem=16M594
31.19
31.19 search
31.19 run=1 nbConstraintChecks=75001 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94
31.19 nbFailedAssignments=33 nbBacktracks=25 nbVisitedNodes=153 nbRestartNogoods=2
31.19 => wckTime=0.091 cpuTime=0.05 mem=16M594
31.22
31.22 search
31.22 run=2 nbConstraintChecks=128246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=157
31.22 nbFailedAssignments=55 nbBacktracks=47 nbVisitedNodes=260 nbRestartNogoods=6
31.22 => wckTime=0.121 cpuTime=0.08 mem=16M594
31.25
31.25 search
31.25 run=3 nbConstraintChecks=205569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=240
31.25 nbFailedAssignments=90 nbBacktracks=80 nbVisitedNodes=411 nbRestartNogoods=8
31.25 => wckTime=0.159 cpuTime=0.11 mem=16M594
31.30
31.30 search
31.30 run=4 nbConstraintChecks=324910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=362
31.30 nbFailedAssignments=145 nbBacktracks=130 nbVisitedNodes=638 nbRestartNogoods=10
31.30 => wckTime=0.207 cpuTime=0.16 mem=16M594
31.38
31.38 search
31.38 run=5 nbConstraintChecks=505123 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=538
31.38 nbFailedAssignments=228 nbBacktracks=205 nbVisitedNodes=972 nbRestartNogoods=15
31.38 => wckTime=0.286 cpuTime=0.23 mem=16M594
31.49
31.49 search
31.49 run=6 nbConstraintChecks=769507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=789
31.49 nbFailedAssignments=352 nbBacktracks=318 nbVisitedNodes=1460 nbRestartNogoods=17
31.49 => wckTime=0.392 cpuTime=0.34 mem=16M594
31.65
31.65 search
31.65 run=7 nbConstraintChecks=1181423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1182
31.65 nbFailedAssignments=558 nbBacktracks=488 nbVisitedNodes=2229 nbRestartNogoods=22
31.65 => wckTime=0.556 cpuTime=0.5 mem=16M594
31.89
31.89 search
31.89 run=8 nbConstraintChecks=1767425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1731
31.89 nbFailedAssignments=836 nbBacktracks=744 nbVisitedNodes=3312 nbRestartNogoods=26
31.89 => wckTime=0.792 cpuTime=0.71 mem=16M594
32.20
32.20 search
32.20 run=9 nbConstraintChecks=2647682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2559
32.20 nbFailedAssignments=1261 nbBacktracks=1128 nbVisitedNodes=4949 nbRestartNogoods=31
32.20 => wckTime=1.11 cpuTime=1.03 mem=16M594
32.71
32.71 search
32.71 run=10 nbConstraintChecks=3986792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3795
32.71 nbFailedAssignments=1909 nbBacktracks=1704 nbVisitedNodes=7409 nbRestartNogoods=34
32.71 => wckTime=1.613 cpuTime=1.52 mem=16M594
33.44
33.44 search
33.44 run=11 nbConstraintChecks=5951478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5594
33.44 nbFailedAssignments=2832 nbBacktracks=2568 nbVisitedNodes=10995 nbRestartNogoods=40
33.44 => wckTime=2.341 cpuTime=2.24 mem=16M594
34.59
34.59 search
34.59 run=12 nbConstraintChecks=9084075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8430
34.59 nbFailedAssignments=4355 nbBacktracks=3865 nbVisitedNodes=16651 nbRestartNogoods=46
34.59 => wckTime=3.498 cpuTime=3.39 mem=16M594
36.39
36.39 search
36.39 run=13 nbConstraintChecks=13716528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12533
36.39 nbFailedAssignments=6499 nbBacktracks=5811 nbVisitedNodes=24844 nbRestartNogoods=52
36.39 => wckTime=5.295 cpuTime=5.16 mem=16M594
39.08
39.08 search
39.08 run=14 nbConstraintChecks=20650488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18736
39.08 nbFailedAssignments=9776 nbBacktracks=8730 nbVisitedNodes=37243 nbRestartNogoods=59
39.08 => wckTime=7.988 cpuTime=7.84 mem=16M594
43.19
43.19 search
43.19 run=15 nbConstraintChecks=31221073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28031
43.19 nbFailedAssignments=14679 nbBacktracks=13108 nbVisitedNodes=55819 nbRestartNogoods=60
43.19 => wckTime=12.09 cpuTime=11.9 mem=16M594
48.68
48.68 search
48.68 run=16 nbConstraintChecks=45948336 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41585
48.68 nbFailedAssignments=21650 nbBacktracks=19676 nbVisitedNodes=82912 nbRestartNogoods=68
48.68 => wckTime=17.588 cpuTime=17.35 mem=16M594
57.09
57.09 search
57.09 run=17 nbConstraintChecks=68371694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62019
57.09 nbFailedAssignments=32218 nbBacktracks=29528 nbVisitedNodes=123765 nbRestartNogoods=74
57.09 => wckTime=25.991 cpuTime=25.68 mem=16M594
70.15
70.15 search
70.15 run=18 nbConstraintChecks=102636071 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93046
70.15 nbFailedAssignments=48456 nbBacktracks=44306 nbVisitedNodes=185808 nbRestartNogoods=82
70.15 => wckTime=39.057 cpuTime=38.63 mem=16M594
89.83
89.83 search
89.83 run=19 nbConstraintChecks=154206941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139183
89.83 nbFailedAssignments=72415 nbBacktracks=66475 nbVisitedNodes=278073 nbRestartNogoods=91
89.83 => wckTime=58.733 cpuTime=58.13 mem=16M594
118.95
118.95 search
118.95 run=20 nbConstraintChecks=229625249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207249
118.95 nbFailedAssignments=107219 nbBacktracks=99727 nbVisitedNodes=414192 nbRestartNogoods=98
118.95 => wckTime=87.853 cpuTime=86.98 mem=16M594
163.39
163.39 search
163.39 run=21 nbConstraintChecks=343570595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=309927
163.39 nbFailedAssignments=160006 nbBacktracks=149605 nbVisitedNodes=619534 nbRestartNogoods=108
163.39 => wckTime=132.295 cpuTime=131.02 mem=16M594
231.40
231.40 search
231.40 run=22 nbConstraintChecks=517300577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=464482
231.40 nbFailedAssignments=239731 nbBacktracks=224424 nbVisitedNodes=928595 nbRestartNogoods=116
231.40 => wckTime=200.308 cpuTime=198.41 mem=16M594
328.27
328.27 search
328.27 run=23 nbConstraintChecks=767742633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=690432
328.27 nbFailedAssignments=353443 nbBacktracks=336652 nbVisitedNodes=1380437 nbRestartNogoods=121
328.27 => wckTime=297.171 cpuTime=294.39 mem=16M594
475.15
475.15 search
475.15 run=24 nbConstraintChecks=1148414154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1036910
475.15 nbFailedAssignments=531566 nbBacktracks=504993 nbVisitedNodes=2072826 nbRestartNogoods=131
475.15 => wckTime=444.057 cpuTime=439.95 mem=16M594
690.27
690.27 search
690.27 run=25 nbConstraintChecks=1717652251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1559809
690.27 nbFailedAssignments=801938 nbBacktracks=757504 nbVisitedNodes=3116430 nbRestartNogoods=137
690.27 => wckTime=659.173 cpuTime=653.12 mem=16M594
985.25
985.25 search
985.25 run=26 nbConstraintChecks=2536355536 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2336477
985.25 nbFailedAssignments=1199823 nbBacktracks=1136271 nbVisitedNodes=4651925 nbRestartNogoods=148
985.25 => wckTime=954.158 cpuTime=945.6 mem=16M594
1337.96
1337.96 search
1337.96 run=27 nbConstraintChecks=3599232851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3387889
1337.96 nbFailedAssignments=1683066 nbBacktracks=1704422 nbVisitedNodes=6646821 nbRestartNogoods=161
1337.96 => wckTime=1306.861 cpuTime=1296.66 mem=16M594
1443.88
1443.88 search
1443.88 run=28 nbConstraintChecks=3934043412 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3741846
1443.88 nbFailedAssignments=1810715 nbBacktracks=1930731 nbVisitedNodes=7263517 nbRestartNogoods=169
1443.88 => wckTime=1412.784 cpuTime=1402.08 mem=16M594
1443.88
1443.88 global
1443.88 nbConstraintChecks=3934043412 nbRestartNogoods=169 solvingWckTime=1412.785 solvingCpuTime=1402.08
1443.88 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1432.47
1443.88 => wckTime=1443.565 cpuTime=1432.42 mem=16M594
1443.88
1443.88 s OPTIMUM FOUND
1443.88 v 1 0 0 1 1 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1
1443.88
1443.88 totalWckTime=1443.646 totalCpuTime=1432.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-279875-1169299005 -o ROOT/results/node69/solver-279875-1169299005 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279875-1169299005/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.88 1.66 1.29 4/81 14127
/proc/meminfo: memFree=1329176/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=1784 CPUtime=0
/proc/14126/stat : 14126 (java) D 14124 14126 13829 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 77397464 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14126/statm: 446 136 102 14 0 91 0
[startup+0.107073 s]
/proc/loadavg: 1.88 1.66 1.29 4/81 14127
/proc/meminfo: memFree=1329176/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=914988 CPUtime=0.09
/proc/14126/stat : 14126 (java) D 14124 14126 13829 0 -1 0 2989 0 1 0 7 2 0 0 18 0 8 0 77397464 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515097 s]
/proc/loadavg: 1.88 1.66 1.29 4/81 14127
/proc/meminfo: memFree=1329176/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915332 CPUtime=0.49
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 6372 0 1 0 45 4 0 0 18 0 8 0 77397464 937299968 6111 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228833 6111 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33616 s]
/proc/loadavg: 1.88 1.66 1.29 3/88 14134
/proc/meminfo: memFree=1311712/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1.3
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 7034 0 1 0 109 21 0 0 25 0 8 0 77397464 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 6772 2476 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.12
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 77397472 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 6772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 6772 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) 915452
[startup+2.9733 s]
/proc/loadavg: 1.88 1.66 1.29 3/88 14134
/proc/meminfo: memFree=1311712/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=2.92
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 7037 0 1 0 231 61 0 0 25 0 8 0 77397464 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 6774 2476 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.12
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 77397472 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 6774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915452
[startup+6.26558 s]
/proc/loadavg: 1.89 1.66 1.29 3/88 14134
/proc/meminfo: memFree=1311648/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915456 CPUtime=6.19
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 7038 0 1 0 472 147 0 0 25 0 8 0 77397464 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228864 6775 2476 14 0 215334 0
[pid=14126/tid=14128] ppid=14124 vsize=915456 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 77397468 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915456 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915456 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915456 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915456 CPUtime=0.12
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 77397472 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915456 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937426944 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915456 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937426944 6775 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) 915456
[startup+12.7371 s]
/proc/loadavg: 1.90 1.67 1.30 3/88 14134
/proc/meminfo: memFree=1311776/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=12.6
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 7038 0 1 0 948 312 0 0 25 0 8 0 77397464 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 6775 2476 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.12
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
[startup+25.6012 s]
/proc/loadavg: 1.92 1.69 1.31 3/88 14134
/proc/meminfo: memFree=1311840/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=25.34
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 7038 0 1 0 1890 644 0 0 25 0 8 0 77397464 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 6775 2476 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.12
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 337 0 0 0 12 0 0 0 16 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 6775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.2214 s]
/proc/loadavg: 1.95 1.71 1.32 3/88 14134
/proc/meminfo: memFree=1303712/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=50.73
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9121 0 1 0 4288 785 0 0 25 0 8 0 77397464 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8855 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.22
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 77397472 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915452
[startup+102.43 s]
/proc/loadavg: 1.98 1.75 1.36 3/88 14134
/proc/meminfo: memFree=1303712/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=101.47
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9130 0 1 0 9362 785 0 0 25 0 8 0 77397464 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8863 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8863 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915452
[startup+162.472 s]
/proc/loadavg: 1.99 1.80 1.39 3/88 14134
/proc/meminfo: memFree=1303712/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=160.97
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9132 0 1 0 15312 785 0 0 25 0 8 0 77397464 937422848 8865 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) R 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.44
Current children cumulated vsize (KiB) 915452
[startup+1063.35 s]
/proc/loadavg: 2.08 2.02 1.76 3/88 14136
/proc/meminfo: memFree=1303584/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1054.19
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9147 0 1 0 104631 788 0 0 25 0 8 0 77397464 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8879 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.19
Current children cumulated vsize (KiB) 915452
[startup+1123.39 s]
/proc/loadavg: 2.03 2.01 1.77 4/88 14136
/proc/meminfo: memFree=1303584/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1113.95
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9147 0 1 0 110607 788 0 0 25 0 8 0 77397464 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8879 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.95
Current children cumulated vsize (KiB) 915452
[startup+1183.43 s]
/proc/loadavg: 2.01 2.00 1.78 3/88 14136
/proc/meminfo: memFree=1303584/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1173.71
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9147 0 1 0 116583 788 0 0 25 0 8 0 77397464 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8879 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.71
Current children cumulated vsize (KiB) 915452
[startup+1243.47 s]
/proc/loadavg: 2.00 2.00 1.79 3/88 14136
/proc/meminfo: memFree=1303584/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1233.47
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9147 0 1 0 122559 788 0 0 25 0 8 0 77397464 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846618 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8879 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1233.47
Current children cumulated vsize (KiB) 915452
[startup+1303.51 s]
/proc/loadavg: 2.07 2.02 1.81 3/88 14136
/proc/meminfo: memFree=1303520/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1293.23
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9147 0 1 0 128535 788 0 0 25 0 8 0 77397464 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8879 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1293.23
Current children cumulated vsize (KiB) 915452
[startup+1363.55 s]
/proc/loadavg: 2.02 2.01 1.82 3/88 14136
/proc/meminfo: memFree=1303520/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1353
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9150 0 1 0 134511 789 0 0 25 0 8 0 77397464 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8882 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1353
Current children cumulated vsize (KiB) 915452
[startup+1423.6 s]
/proc/loadavg: 2.01 2.00 1.83 3/88 14136
/proc/meminfo: memFree=1303520/2055920 swapFree=4191892/4192956
[pid=14126] ppid=14124 vsize=915452 CPUtime=1412.76
/proc/14126/stat : 14126 (java) R 14124 14126 13829 0 -1 0 9150 0 1 0 140487 789 0 0 25 0 8 0 77397464 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14126/statm: 228863 8882 2527 14 0 215333 0
[pid=14126/tid=14128] ppid=14124 vsize=915452 CPUtime=0.02
/proc/14126/task/14128/stat : 14128 (java) S 14124 14126 13829 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14129] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14129/stat : 14129 (java) S 14124 14126 13829 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14130] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14130/stat : 14130 (java) S 14124 14126 13829 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 77397468 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14131] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14131/stat : 14131 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14132] ppid=14124 vsize=915452 CPUtime=0.23
/proc/14126/task/14132/stat : 14132 (java) S 14124 14126 13829 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14133] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14133/stat : 14133 (java) S 14124 14126 13829 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14126/tid=14134] ppid=14124 vsize=915452 CPUtime=0
/proc/14126/task/14134/stat : 14134 (java) S 14124 14126 13829 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 77397472 937422848 8882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1412.76
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 1443.93
CPU time (s): 1432.97
CPU user time (s): 1425.07
CPU system time (s): 7.8978
CPU usage (%): 99.2413
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1425.07
system time used= 7.8978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9246
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= 30320
involuntary context switches= 55691
runsolver used 1.82972 s user time and 4.51631 s system time
The end
Begin job on node69 on Sat Jan 20 13:16:45 UTC 2007
IDJOB= 279875
IDBENCH= 10482
IDSOLVER= 69
FILE ID= node69/279875-1169299005
PBS_JOBID= 3609849
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxcut/maxcut-30/maxcut-30-380-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279875-1169299005/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-279875-1169299005 -o ROOT/results/node69/solver-279875-1169299005 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279875-1169299005/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c2dea12bb462df610a50a8a027d8f7a7
RANDOM SEED= 530157357
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.218
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.218
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: 1329592 kB
Buffers: 49352 kB
Cached: 578096 kB
SwapCached: 396 kB
Active: 124436 kB
Inactive: 530808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1329592 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 44116 kB
Slab: 56128 kB
Committed_AS: 931668 kB
PageTables: 1964 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 node69 on Sat Jan 20 13:40:49 UTC 2007