0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=pfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/281594-1169313180/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.44 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.44 => wckTime=0.097 cpuTime=0.09 mem=6M910
0.44
0.44 relations being loaded...
0.48
0.48 constraints being loaded...
0.52 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.52 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1080 maxDegree=9
0.52 maxArity=2
0.52 => wckTime=0.176 cpuTime=0.13 mem=7M950
0.55
0.55 solver LocalSearchSolver being built...
0.60 => wckTime=0.255 cpuTime=0.17 mem=5M428
0.60
0.60 s SATISFIABLE
0.60 o 14
0.60 c 49
0.60 o 17
0.60 c 46
0.60 o 20
0.60 c 43
0.61 o 22
0.61 c 41
0.61 o 24
0.61 c 39
0.61 o 27
0.61 c 36
0.61 o 29
0.61 c 34
0.61 o 31
0.61 c 32
0.61 o 32
0.61 c 31
0.61 o 33
0.61 c 30
0.61 o 34
0.61 c 29
0.61 o 35
0.61 c 28
0.61 o 36
0.61 c 27
0.61 o 37
0.61 c 26
0.62 o 38
0.62 c 25
0.62 o 39
0.62 c 24
0.62 o 40
0.62 c 23
0.62 o 41
0.62 c 22
0.62 o 42
0.62 c 21
0.63 o 43
0.63 c 20
0.63 o 44
0.63 c 19
1.98
1.98 search
1.98 run=0 nbConstraintChecks=6683155 nbAssignments=10000
1.98 => wckTime=1.386 cpuTime=1.35 mem=5M428
3.24
3.24 search
3.24 run=1 nbConstraintChecks=13464223 nbAssignments=20000
3.24 => wckTime=2.63 cpuTime=2.58 mem=5M428
4.46
4.46 search
4.46 run=2 nbConstraintChecks=20194062 nbAssignments=30000
4.46 => wckTime=3.868 cpuTime=3.82 mem=5M428
5.70
5.70 search
5.70 run=3 nbConstraintChecks=26881299 nbAssignments=40000
5.70 => wckTime=5.105 cpuTime=5.04 mem=5M428
6.94
6.94 search
6.94 run=4 nbConstraintChecks=33661817 nbAssignments=50000
6.94 => wckTime=6.348 cpuTime=6.28 mem=5M428
8.20
8.20 search
8.20 run=5 nbConstraintChecks=40330000 nbAssignments=60000
8.20 => wckTime=7.603 cpuTime=7.53 mem=5M428
9.48
9.48 search
9.48 run=6 nbConstraintChecks=47079923 nbAssignments=70000
9.48 => wckTime=8.888 cpuTime=8.8 mem=5M428
10.76
10.77 search
10.77 run=7 nbConstraintChecks=53980894 nbAssignments=80000
10.77 => wckTime=10.169 cpuTime=10.05 mem=5M428
12.02
12.02 search
12.02 run=8 nbConstraintChecks=60728321 nbAssignments=90000
12.02 => wckTime=11.426 cpuTime=11.31 mem=5M428
13.27
13.27 search
13.27 run=9 nbConstraintChecks=67397644 nbAssignments=100000
13.27 => wckTime=12.675 cpuTime=12.54 mem=5M428
14.52
14.52 search
14.52 run=10 nbConstraintChecks=74091891 nbAssignments=110000
14.52 => wckTime=13.926 cpuTime=13.79 mem=5M428
15.83
15.83 search
15.83 run=11 nbConstraintChecks=80856962 nbAssignments=120000
15.83 => wckTime=15.237 cpuTime=15.1 mem=5M428
17.14
17.14 search
17.14 run=12 nbConstraintChecks=87499674 nbAssignments=130000
17.14 => wckTime=16.541 cpuTime=16.4 mem=5M428
18.44
18.44 search
18.44 run=13 nbConstraintChecks=94221316 nbAssignments=140000
18.44 => wckTime=17.837 cpuTime=17.68 mem=5M428
19.75
19.75 search
19.75 run=14 nbConstraintChecks=100942115 nbAssignments=150000
19.75 => wckTime=19.153 cpuTime=18.99 mem=5M428
21.08
21.08 search
21.08 run=15 nbConstraintChecks=107699346 nbAssignments=160000
21.08 => wckTime=20.474 cpuTime=20.32 mem=5M428
22.40
22.40 search
22.40 run=16 nbConstraintChecks=114478388 nbAssignments=170000
22.40 => wckTime=21.804 cpuTime=21.65 mem=5M428
23.72
23.72 search
23.72 run=17 nbConstraintChecks=121181702 nbAssignments=180000
23.72 => wckTime=23.122 cpuTime=22.96 mem=5M428
25.03
25.03 search
25.03 run=18 nbConstraintChecks=127757269 nbAssignments=190000
25.03 => wckTime=24.431 cpuTime=24.27 mem=5M428
26.35
26.35 search
26.35 run=19 nbConstraintChecks=134436117 nbAssignments=200000
26.35 => wckTime=25.748 cpuTime=25.58 mem=5M428
27.67
27.67 search
27.67 run=20 nbConstraintChecks=141187058 nbAssignments=210000
27.67 => wckTime=27.073 cpuTime=26.92 mem=5M428
28.99
28.99 search
28.99 run=21 nbConstraintChecks=147943984 nbAssignments=220000
28.99 => wckTime=28.398 cpuTime=28.24 mem=5M428
30.33
30.33 search
30.33 run=22 nbConstraintChecks=154668416 nbAssignments=230000
30.33 => wckTime=29.72 cpuTime=29.56 mem=5M428
30.79
30.79 search
30.79 run=23 nbConstraintChecks=157114550 nbAssignments=233598
30.79 => wckTime=30.195 cpuTime=30.04 mem=5M428
30.79
30.79 global
30.79 nbConstraintChecks=157114550 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.79 solvingWckTime=30.194 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.79 globalCpuTime=30.27
30.79 => wckTime=30.451 cpuTime=30.21 mem=5M428
30.79
30.79 solver IterativeSystematicSolver being built...
30.92 => wckTime=30.581 cpuTime=30.31 mem=16M433
30.93
30.93 preprocessing
30.93 nbConstraintChecks=1160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.93 detectedInconsistency=no
30.93 => wckTime=0.0050 cpuTime=0.01 mem=16M433
30.98
30.98 search
30.98 run=0 nbConstraintChecks=42668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28
30.98 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0
30.98 => wckTime=0.056 cpuTime=0.03 mem=16M433
31.01
31.01 search
31.01 run=1 nbConstraintChecks=109806 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=67
31.01 nbFailedAssignments=29 nbBacktracks=25 nbVisitedNodes=122 nbRestartNogoods=10
31.01 => wckTime=0.089 cpuTime=0.06 mem=16M433
31.04
31.04 search
31.04 run=2 nbConstraintChecks=191292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=118
31.04 nbFailedAssignments=51 nbBacktracks=47 nbVisitedNodes=216 nbRestartNogoods=16
31.04 => wckTime=0.118 cpuTime=0.09 mem=16M433
31.10
31.10 search
31.10 run=3 nbConstraintChecks=403256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250
31.10 nbFailedAssignments=143 nbBacktracks=80 nbVisitedNodes=473 nbRestartNogoods=24
31.10 => wckTime=0.178 cpuTime=0.14 mem=16M433
31.17
31.17 search
31.17 run=4 nbConstraintChecks=666240 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=409
31.17 nbFailedAssignments=244 nbBacktracks=132 nbVisitedNodes=784 nbRestartNogoods=33
31.17 => wckTime=0.248 cpuTime=0.21 mem=16M433
31.27
31.27 search
31.27 run=5 nbConstraintChecks=1028227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=628
31.27 nbFailedAssignments=377 nbBacktracks=207 nbVisitedNodes=1211 nbRestartNogoods=37
31.27 => wckTime=0.344 cpuTime=0.31 mem=16M433
31.46
31.46 search
31.46 run=6 nbConstraintChecks=1758005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1052
31.46 nbFailedAssignments=680 nbBacktracks=320 nbVisitedNodes=2048 nbRestartNogoods=49
31.46 => wckTime=0.532 cpuTime=0.49 mem=16M433
31.76
31.76 search
31.76 run=7 nbConstraintChecks=2801093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1646
31.76 nbFailedAssignments=1099 nbBacktracks=490 nbVisitedNodes=3224 nbRestartNogoods=65
31.76 => wckTime=0.833 cpuTime=0.78 mem=16M433
32.21
32.21 search
32.21 run=8 nbConstraintChecks=4494290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2528
32.21 nbFailedAssignments=1719 nbBacktracks=746 nbVisitedNodes=4970 nbRestartNogoods=80
32.22 => wckTime=1.291 cpuTime=1.23 mem=16M433
32.72
32.72 search
32.72 run=9 nbConstraintChecks=6577419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3625
32.72 nbFailedAssignments=2425 nbBacktracks=1130 nbVisitedNodes=7138 nbRestartNogoods=84
32.72 => wckTime=1.795 cpuTime=1.73 mem=16M433
33.34
33.34 search
33.34 run=10 nbConstraintChecks=9106362 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5096
33.34 nbFailedAssignments=3314 nbBacktracks=1706 nbVisitedNodes=10034 nbRestartNogoods=95
33.34 => wckTime=2.419 cpuTime=2.35 mem=16M433
34.79
34.79 search
34.79 run=11 nbConstraintChecks=14961443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8607
34.79 nbFailedAssignments=5953 nbBacktracks=2570 nbVisitedNodes=17047 nbRestartNogoods=102
34.79 => wckTime=3.868 cpuTime=3.8 mem=16M433
36.50
36.50 search
36.50 run=12 nbConstraintChecks=21837940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12677
36.50 nbFailedAssignments=8720 nbBacktracks=3867 nbVisitedNodes=25028 nbRestartNogoods=118
36.50 => wckTime=5.571 cpuTime=5.48 mem=16M433
39.15
39.15 search
39.15 run=13 nbConstraintChecks=32068859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18946
39.15 nbFailedAssignments=13034 nbBacktracks=5813 nbVisitedNodes=37516 nbRestartNogoods=129
39.15 => wckTime=8.228 cpuTime=8.12 mem=16M433
42.52
42.52 search
42.52 run=14 nbConstraintChecks=46327034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27782
42.52 nbFailedAssignments=18943 nbBacktracks=8732 nbVisitedNodes=54950 nbRestartNogoods=154
42.52 => wckTime=11.593 cpuTime=11.46 mem=16M433
47.85
47.85 search
47.85 run=15 nbConstraintChecks=68559659 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=40988
47.85 nbFailedAssignments=27764 nbBacktracks=13110 nbVisitedNodes=81175 nbRestartNogoods=169
47.85 => wckTime=16.922 cpuTime=16.75 mem=16M433
56.10
56.10 search
56.10 run=16 nbConstraintChecks=101612683 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61227
56.10 nbFailedAssignments=41428 nbBacktracks=19678 nbVisitedNodes=121432 nbRestartNogoods=190
56.10 => wckTime=25.18 cpuTime=24.95 mem=16M433
68.57
68.57 search
68.57 run=17 nbConstraintChecks=153119714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93152
68.57 nbFailedAssignments=63494 nbBacktracks=29531 nbVisitedNodes=184764 nbRestartNogoods=217
68.57 => wckTime=37.641 cpuTime=37.3 mem=16M433
89.55
89.55 search
89.55 run=18 nbConstraintChecks=241276484 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146236
89.55 nbFailedAssignments=101794 nbBacktracks=44309 nbVisitedNodes=289666 nbRestartNogoods=238
89.55 => wckTime=58.627 cpuTime=58.11 mem=16M433
119.94
119.94 search
119.94 run=19 nbConstraintChecks=358550665 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=220804
119.94 nbFailedAssignments=154187 nbBacktracks=66477 nbVisitedNodes=437517 nbRestartNogoods=255
119.94 => wckTime=89.018 cpuTime=88.22 mem=16M433
166.42
166.42 search
166.42 run=20 nbConstraintChecks=557011501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=345765
166.42 nbFailedAssignments=245890 nbBacktracks=99729 nbVisitedNodes=684941 nbRestartNogoods=270
166.42 => wckTime=135.497 cpuTime=134.31 mem=16M433
224.94
224.94 search
224.94 run=21 nbConstraintChecks=796074274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=499899
224.94 nbFailedAssignments=350137 nbBacktracks=149607 nbVisitedNodes=988715 nbRestartNogoods=299
224.94 => wckTime=194.015 cpuTime=192.34 mem=16M433
301.56
301.56 search
301.56 run=22 nbConstraintChecks=1105766395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=703027
301.56 nbFailedAssignments=478440 nbBacktracks=224426 nbVisitedNodes=1389033 nbRestartNogoods=310
301.56 => wckTime=270.636 cpuTime=268.31 mem=16M433
429.33
429.33 search
429.33 run=23 nbConstraintChecks=1618419092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1034159
429.33 nbFailedAssignments=697339 nbBacktracks=336653 nbVisitedNodes=2041088 nbRestartNogoods=321
429.33 => wckTime=398.407 cpuTime=395.01 mem=16M433
601.78
601.78 search
601.78 run=24 nbConstraintChecks=2321023696 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1497598
601.78 nbFailedAssignments=992429 nbBacktracks=504994 nbVisitedNodes=2954457 nbRestartNogoods=333
601.78 => wckTime=570.853 cpuTime=566.01 mem=16M433
841.73
841.73 search
841.73 run=25 nbConstraintChecks=3286602761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2143797
841.73 nbFailedAssignments=1415767 nbBacktracks=727856 nbVisitedNodes=4225068 nbRestartNogoods=350
841.73 => wckTime=810.805 cpuTime=803.95 mem=16M433
841.73
841.73 global
841.73 nbConstraintChecks=3286603921 nbRestartNogoods=350 solvingWckTime=810.806 solvingCpuTime=803.95 expiredTime=no
841.73 totalExploration=yes nbFoundSolutions=0 globalCpuTime=834.32
841.73 => wckTime=841.389 cpuTime=834.26 mem=16M433
841.73
841.73 s OPTIMUM FOUND
841.73 v 4 9 8 7 8 9 7 9 5 8 4 9 6 2 0 0 0 5 3 5 8 1 7 0 7
841.73
841.73 totalWckTime=841.464 totalCpuTime=834.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-281594-1169313180 -o ROOT/results/node12/solver-281594-1169313180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281594-1169313180/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.98 1.99 3/81 13309
/proc/meminfo: memFree=1359544/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=1460 CPUtime=0
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 124 0 0 0 0 0 0 0 19 0 1 0 279713024 1495040 96 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/13308/statm: 446 105 83 14 0 91 0
[startup+0.108214 s]
/proc/loadavg: 1.88 1.98 1.99 3/81 13309
/proc/meminfo: memFree=1359544/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=907808 CPUtime=0.05
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 2442 0 1 0 4 1 0 0 19 0 4 0 279713024 929595392 2189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152843360 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 226952 2189 1208 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.518283 s]
/proc/loadavg: 1.88 1.98 1.99 3/81 13309
/proc/meminfo: memFree=1359544/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915332 CPUtime=0.46
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6433 0 1 0 41 5 0 0 16 0 8 0 279713024 937299968 6172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13308/statm: 228833 6172 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33943 s]
/proc/loadavg: 1.88 1.98 1.99 2/88 13321
/proc/meminfo: memFree=1344320/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=1.29
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6949 0 1 0 104 25 0 0 17 0 8 0 279713024 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13308/statm: 228861 6687 2476 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915448 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279713033 937418752 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915448 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937418752 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.1
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 279713036 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 6687 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.97872 s]
/proc/loadavg: 1.81 1.96 1.98 3/95 13386
/proc/meminfo: memFree=1340488/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=2.89
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6952 0 1 0 215 74 0 0 16 0 8 0 279713024 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 6689 2476 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 136 0 0 0 2 0 0 0 17 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.1
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915444
[startup+6.27532 s]
/proc/loadavg: 1.81 1.96 1.98 3/95 13386
/proc/meminfo: memFree=1340488/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=6.17
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6952 0 1 0 448 169 0 0 21 0 8 0 279713024 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 6689 2476 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.1
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7485 s]
/proc/loadavg: 1.84 1.96 1.98 3/95 13476
/proc/meminfo: memFree=1340048/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=12.58
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6952 0 1 0 904 354 0 0 25 0 8 0 279713024 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 6689 2476 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.1
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915444
[startup+25.6038 s]
/proc/loadavg: 1.79 1.95 1.98 3/93 13537
/proc/meminfo: memFree=1340768/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=25.41
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 6954 0 1 0 1798 743 0 0 23 0 8 0 279713024 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13308/statm: 228861 6690 2476 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915448 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 136 0 0 0 2 0 0 0 17 0 8 0 279713033 937418752 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915448 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937418752 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.1
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279713036 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 6690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915444
[startup+51.3004 s]
/proc/loadavg: 1.79 1.93 1.97 3/94 13661
/proc/meminfo: memFree=1277464/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=50.97
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 8995 0 1 0 4197 900 0 0 25 0 8 0 279713024 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8727 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915444
[startup+102.583 s]
/proc/loadavg: 1.91 1.94 1.97 3/94 13661
/proc/meminfo: memFree=1277656/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=101.82
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9007 0 1 0 9281 901 0 0 25 0 8 0 279713024 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8736 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 915444
[startup+162.604 s]
/proc/loadavg: 1.96 1.95 1.97 3/94 13661
/proc/meminfo: memFree=1277656/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=161.32
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9009 0 1 0 15231 901 0 0 25 0 8 0 279713024 937414656 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.38
Current children cumulated vsize (KiB) 915444
[startup+462.703 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13661
/proc/meminfo: memFree=1277592/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=458.9
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9019 0 1 0 44988 902 0 0 25 0 8 0 279713024 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8748 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.9
Current children cumulated vsize (KiB) 915444
[startup+522.717 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277464/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=518.41
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9019 0 1 0 50939 902 0 0 25 0 8 0 279713024 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8748 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.41
Current children cumulated vsize (KiB) 915444
[startup+582.734 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277464/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=577.94
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9019 0 1 0 56892 902 0 0 25 0 8 0 279713024 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8748 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.94
Current children cumulated vsize (KiB) 915444
[startup+642.758 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277464/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=637.44
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9022 0 1 0 62842 902 0 0 25 0 8 0 279713024 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8751 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.44
Current children cumulated vsize (KiB) 915444
[startup+702.789 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277528/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=696.98
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9022 0 1 0 68796 902 0 0 25 0 8 0 279713024 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8751 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 696.98
Current children cumulated vsize (KiB) 915444
[startup+762.816 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277528/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=756.51
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9022 0 1 0 74748 903 0 0 25 0 8 0 279713024 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8751 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 756.51
Current children cumulated vsize (KiB) 915444
[startup+822.851 s]
/proc/loadavg: 1.99 1.97 1.97 3/94 13663
/proc/meminfo: memFree=1277528/2055920 swapFree=4160348/4192956
[pid=13308] ppid=13306 vsize=915444 CPUtime=816.03
/proc/13308/stat : 13308 (java) R 13306 13308 12262 0 -1 0 9022 0 1 0 80700 903 0 0 25 0 8 0 279713024 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13308/statm: 228861 8751 2527 14 0 215331 0
[pid=13308/tid=13310] ppid=13306 vsize=915444 CPUtime=0.02
/proc/13308/task/13310/stat : 13310 (java) S 13306 13308 12262 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13311] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13311/stat : 13311 (java) S 13306 13308 12262 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13312] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13312/stat : 13312 (java) S 13306 13308 12262 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279713033 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13313] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13313/stat : 13313 (java) S 13306 13308 12262 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13314] ppid=13306 vsize=915444 CPUtime=0.2
/proc/13308/task/13314/stat : 13314 (java) S 13306 13308 12262 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13315] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13315/stat : 13315 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13308/tid=13316] ppid=13306 vsize=915444 CPUtime=0
/proc/13308/task/13316/stat : 13316 (java) S 13306 13308 12262 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279713036 937414656 8751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.03
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 841.794
CPU time (s): 834.776
CPU user time (s): 825.739
CPU system time (s): 9.03663
CPU usage (%): 99.1663
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 825.739
system time used= 9.03663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9118
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= 17883
involuntary context switches= 48573
runsolver used 0.826874 s user time and 2.24566 s system time
The end
Begin job on node12 on Sat Jan 20 17:13:00 UTC 2007
IDJOB= 281594
IDBENCH= 12224
IDSOLVER= 69
FILE ID= node12/281594-1169313180
PBS_JOBID= 3609953
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281594-1169313180/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-281594-1169313180 -o ROOT/results/node12/solver-281594-1169313180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281594-1169313180/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d6f47cd04b9be1951706c7ae46abc226
RANDOM SEED= 495557132
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.265
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.265
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: 1359896 kB
Buffers: 61696 kB
Cached: 524096 kB
SwapCached: 5332 kB
Active: 271596 kB
Inactive: 348572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1359896 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 4216 kB
Writeback: 0 kB
Mapped: 43548 kB
Slab: 61096 kB
Committed_AS: 8496436 kB
PageTables: 1920 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node12 on Sat Jan 20 17:27:02 UTC 2007