0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/281648-1169313410/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M910
0.40
0.40 relations being loaded...
0.43
0.43 constraints being loaded...
0.47 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.47 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1068 maxDegree=9
0.47 maxArity=2
0.47 => wckTime=0.174 cpuTime=0.13 mem=7M950
0.51
0.51 solver LocalSearchSolver being built...
0.55 => wckTime=0.254 cpuTime=0.17 mem=5M428
0.56
0.56 s SATISFIABLE
0.56 o 16
0.56 c 47
0.56 o 18
0.56 c 45
0.56 o 20
0.56 c 43
0.56 o 21
0.56 c 42
0.56 o 23
0.56 c 40
0.56 o 25
0.56 c 38
0.56 o 27
0.56 c 36
0.56 o 29
0.56 c 34
0.57 o 31
0.57 c 32
0.57 o 32
0.57 c 31
0.57 o 33
0.57 c 30
0.57 o 34
0.57 c 29
0.57 o 35
0.57 c 28
0.57 o 36
0.57 c 27
0.57 o 37
0.57 c 26
0.57 o 38
0.57 c 25
0.57 o 39
0.57 c 24
0.59 o 40
0.59 c 23
0.74 o 41
0.74 c 22
0.75 o 42
0.75 c 21
1.94
1.94 search
1.94 run=0 nbConstraintChecks=6854807 nbAssignments=10000
1.94 => wckTime=1.392 cpuTime=1.38 mem=5M428
3.28
3.28 search
3.28 run=1 nbConstraintChecks=13945441 nbAssignments=20000
3.28 => wckTime=2.732 cpuTime=2.72 mem=5M428
4.60
4.60 search
4.60 run=2 nbConstraintChecks=20869500 nbAssignments=30000
4.60 => wckTime=4.047 cpuTime=4.02 mem=5M428
5.93
5.93 search
5.93 run=3 nbConstraintChecks=27957153 nbAssignments=40000
5.93 => wckTime=5.376 cpuTime=5.36 mem=5M428
7.25
7.25 search
7.25 run=4 nbConstraintChecks=34933815 nbAssignments=50000
7.25 => wckTime=6.697 cpuTime=6.68 mem=5M428
8.57
8.57 search
8.57 run=5 nbConstraintChecks=41874808 nbAssignments=60000
8.57 => wckTime=8.017 cpuTime=8.0 mem=5M428
9.88
9.88 search
9.88 run=6 nbConstraintChecks=48675069 nbAssignments=70000
9.88 => wckTime=9.327 cpuTime=9.31 mem=5M428
11.20
11.20 search
11.20 run=7 nbConstraintChecks=55621950 nbAssignments=80000
11.20 => wckTime=10.647 cpuTime=10.63 mem=5M428
12.52
12.52 search
12.52 run=8 nbConstraintChecks=62559391 nbAssignments=90000
12.52 => wckTime=11.969 cpuTime=11.95 mem=5M428
13.86
13.86 search
13.86 run=9 nbConstraintChecks=69630807 nbAssignments=100000
13.86 => wckTime=13.305 cpuTime=13.29 mem=5M428
15.19
15.19 search
15.19 run=10 nbConstraintChecks=76667963 nbAssignments=110000
15.19 => wckTime=14.644 cpuTime=14.63 mem=5M428
16.55
16.55 search
16.55 run=11 nbConstraintChecks=83920247 nbAssignments=120000
16.55 => wckTime=16.003 cpuTime=15.98 mem=5M428
17.89
17.89 search
17.90 run=12 nbConstraintChecks=90948052 nbAssignments=130000
17.90 => wckTime=17.344 cpuTime=17.32 mem=5M428
19.22
19.22 search
19.22 run=13 nbConstraintChecks=97823146 nbAssignments=140000
19.22 => wckTime=18.669 cpuTime=18.65 mem=5M428
20.55
20.55 search
20.55 run=14 nbConstraintChecks=104724841 nbAssignments=150000
20.55 => wckTime=19.996 cpuTime=19.98 mem=5M428
21.89
21.89 search
21.89 run=15 nbConstraintChecks=111773958 nbAssignments=160000
21.89 => wckTime=21.338 cpuTime=21.31 mem=5M428
23.22
23.22 search
23.22 run=16 nbConstraintChecks=118747057 nbAssignments=170000
23.22 => wckTime=22.673 cpuTime=22.65 mem=5M428
24.55
24.55 search
24.55 run=17 nbConstraintChecks=125679269 nbAssignments=180000
24.55 => wckTime=23.996 cpuTime=23.97 mem=5M428
25.86
25.86 search
25.86 run=18 nbConstraintChecks=132567205 nbAssignments=190000
25.86 => wckTime=25.313 cpuTime=25.29 mem=5M428
27.20
27.20 search
27.20 run=19 nbConstraintChecks=139670051 nbAssignments=200000
27.20 => wckTime=26.647 cpuTime=26.63 mem=5M428
28.52
28.52 search
28.52 run=20 nbConstraintChecks=146582873 nbAssignments=210000
28.52 => wckTime=27.966 cpuTime=27.93 mem=5M428
29.86
29.86 search
29.86 run=21 nbConstraintChecks=153686399 nbAssignments=220000
29.86 => wckTime=29.305 cpuTime=29.28 mem=5M428
30.77
30.77 search
30.77 run=22 nbConstraintChecks=158469613 nbAssignments=227015
30.77 => wckTime=30.223 cpuTime=30.2 mem=5M428
30.77
30.77 global
30.77 nbConstraintChecks=158469613 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.77 solvingWckTime=30.221 solvingCpuTime=30.19 expiredTime=no totalExploration=no nbFoundSolutions=0
30.78 globalCpuTime=30.42
30.78 => wckTime=30.476 cpuTime=30.37 mem=5M428
30.78
30.78 solver IterativeSystematicSolver being built...
30.90 => wckTime=30.601 cpuTime=30.47 mem=16M434
30.91
30.91 preprocessing
30.91 nbConstraintChecks=1200 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.91 detectedInconsistency=no
30.91 => wckTime=0.0050 cpuTime=0.0 mem=16M434
30.96
30.96 search
30.96 run=0 nbConstraintChecks=55366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34
30.96 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
30.96 => wckTime=0.056 cpuTime=0.04 mem=16M434
31.01
31.01 search
31.01 run=1 nbConstraintChecks=184404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117
31.01 nbFailedAssignments=79 nbBacktracks=25 nbVisitedNodes=222 nbRestartNogoods=9
31.01 => wckTime=0.105 cpuTime=0.08 mem=16M434
31.04
31.04 search
31.04 run=2 nbConstraintChecks=277051 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=173
31.04 nbFailedAssignments=105 nbBacktracks=47 nbVisitedNodes=326 nbRestartNogoods=15
31.04 => wckTime=0.134 cpuTime=0.1 mem=16M434
31.08
31.08 search
31.08 run=3 nbConstraintChecks=455705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=293
31.08 nbFailedAssignments=184 nbBacktracks=80 nbVisitedNodes=558 nbRestartNogoods=20
31.08 => wckTime=0.178 cpuTime=0.15 mem=16M434
31.16
31.16 search
31.16 run=4 nbConstraintChecks=744907 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=457
31.16 nbFailedAssignments=293 nbBacktracks=131 nbVisitedNodes=878 nbRestartNogoods=22
31.16 => wckTime=0.255 cpuTime=0.22 mem=16M434
31.30
31.30 search
31.30 run=5 nbConstraintChecks=1385054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=812
31.30 nbFailedAssignments=565 nbBacktracks=206 nbVisitedNodes=1577 nbRestartNogoods=25
31.30 => wckTime=0.403 cpuTime=0.37 mem=16M434
31.43
31.43 search
31.43 run=6 nbConstraintChecks=1876217 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1093
31.43 nbFailedAssignments=726 nbBacktracks=319 nbVisitedNodes=2130 nbRestartNogoods=36
31.43 => wckTime=0.534 cpuTime=0.49 mem=16M434
31.68
31.68 search
31.68 run=7 nbConstraintChecks=2855431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1637
31.68 nbFailedAssignments=1093 nbBacktracks=489 nbVisitedNodes=3207 nbRestartNogoods=50
31.68 => wckTime=0.78 cpuTime=0.72 mem=16M434
31.89
31.89 search
31.89 run=8 nbConstraintChecks=3826922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2201
31.89 nbFailedAssignments=1392 nbBacktracks=745 nbVisitedNodes=4325 nbRestartNogoods=62
31.89 => wckTime=0.984 cpuTime=0.92 mem=16M434
32.30
32.30 search
32.30 run=9 nbConstraintChecks=5654522 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3288
32.30 nbFailedAssignments=2087 nbBacktracks=1129 nbVisitedNodes=6474 nbRestartNogoods=73
32.30 => wckTime=1.399 cpuTime=1.34 mem=16M434
32.87
32.87 search
32.87 run=10 nbConstraintChecks=8168694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4873
32.87 nbFailedAssignments=3086 nbBacktracks=1705 nbVisitedNodes=9623 nbRestartNogoods=97
32.87 => wckTime=1.972 cpuTime=1.9 mem=16M434
34.18
34.18 search
34.18 run=11 nbConstraintChecks=14009060 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8353
34.18 nbFailedAssignments=5692 nbBacktracks=2569 nbVisitedNodes=16539 nbRestartNogoods=108
34.18 => wckTime=3.279 cpuTime=3.21 mem=16M434
35.46
35.46 search
35.46 run=12 nbConstraintChecks=19597496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11876
35.46 nbFailedAssignments=7908 nbBacktracks=3867 nbVisitedNodes=23550 nbRestartNogoods=125
35.46 => wckTime=4.558 cpuTime=4.49 mem=16M434
38.13
38.13 search
38.13 run=13 nbConstraintChecks=30775997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18596
38.13 nbFailedAssignments=12676 nbBacktracks=5813 nbVisitedNodes=36908 nbRestartNogoods=150
38.13 => wckTime=7.226 cpuTime=7.15 mem=16M434
41.32
41.32 search
41.32 run=14 nbConstraintChecks=43793100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26952
41.32 nbFailedAssignments=18107 nbBacktracks=8732 nbVisitedNodes=53576 nbRestartNogoods=175
41.32 => wckTime=10.419 cpuTime=10.35 mem=16M434
45.53
45.53 search
45.53 run=15 nbConstraintChecks=60910300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37143
45.53 nbFailedAssignments=23912 nbBacktracks=13110 nbVisitedNodes=73841 nbRestartNogoods=189
45.53 => wckTime=14.626 cpuTime=14.55 mem=16M434
52.82
52.82 search
52.82 run=16 nbConstraintChecks=90581637 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57285
52.82 nbFailedAssignments=37476 nbBacktracks=19678 nbVisitedNodes=114003 nbRestartNogoods=203
52.82 => wckTime=21.915 cpuTime=21.84 mem=16M434
65.02
65.02 search
65.02 run=17 nbConstraintChecks=139470634 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88566
65.02 nbFailedAssignments=58898 nbBacktracks=29530 nbVisitedNodes=176198 nbRestartNogoods=228
65.02 => wckTime=34.119 cpuTime=34.04 mem=16M434
83.56
83.56 search
83.56 run=18 nbConstraintChecks=209107364 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136201
83.56 nbFailedAssignments=91748 nbBacktracks=44308 nbVisitedNodes=270777 nbRestartNogoods=243
83.56 => wckTime=52.663 cpuTime=52.57 mem=16M434
112.93
112.93 search
112.93 run=19 nbConstraintChecks=324629714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=209118
112.93 nbFailedAssignments=142490 nbBacktracks=66476 nbVisitedNodes=414896 nbRestartNogoods=270
112.93 => wckTime=82.029 cpuTime=81.93 mem=16M434
150.65
150.65 search
150.65 run=20 nbConstraintChecks=469783355 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=301725
150.65 nbFailedAssignments=201841 nbBacktracks=99728 nbVisitedNodes=596244 nbRestartNogoods=290
150.65 => wckTime=119.751 cpuTime=119.64 mem=16M434
207.98
207.98 search
207.98 run=21 nbConstraintChecks=692093715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443472
207.98 nbFailedAssignments=293704 nbBacktracks=149606 nbVisitedNodes=875030 nbRestartNogoods=301
207.98 => wckTime=177.077 cpuTime=176.95 mem=16M434
277.15
277.15 search
277.15 run=22 nbConstraintChecks=957608297 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=624356
277.15 nbFailedAssignments=399764 nbBacktracks=224424 nbVisitedNodes=1226803 nbRestartNogoods=315
277.15 => wckTime=246.249 cpuTime=246.12 mem=16M434
389.25
389.25 search
389.25 run=23 nbConstraintChecks=1400759439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=907324
389.25 nbFailedAssignments=570502 nbBacktracks=336651 nbVisitedNodes=1782993 nbRestartNogoods=331
389.25 => wckTime=358.35 cpuTime=358.19 mem=16M434
564.42
564.42 search
564.42 run=24 nbConstraintChecks=2079388534 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1345243
564.42 nbFailedAssignments=840074 nbBacktracks=504992 nbVisitedNodes=2645575 nbRestartNogoods=341
564.42 => wckTime=533.524 cpuTime=533.32 mem=16M434
811.16
811.16 search
811.16 run=25 nbConstraintChecks=3013625789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1978022
811.16 nbFailedAssignments=1220336 nbBacktracks=757503 nbVisitedNodes=3885370 nbRestartNogoods=370
811.16 => wckTime=780.258 cpuTime=779.99 mem=16M434
1076.34
1076.34 search
1076.34 run=26 nbConstraintChecks=4019951646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2650505
1076.34 nbFailedAssignments=1637664 nbBacktracks=1012659 nbVisitedNodes=5199750 nbRestartNogoods=385
1076.34 => wckTime=1045.441 cpuTime=1045.11 mem=16M434
1076.34
1076.34 global
1076.34 nbConstraintChecks=4019952846 nbRestartNogoods=385 solvingWckTime=1045.441 solvingCpuTime=1045.11
1076.34 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1075.63
1076.34 => wckTime=1076.043 cpuTime=1075.58 mem=16M434
1076.35
1076.35 s OPTIMUM FOUND
1076.35 v 6 5 4 4 9 5 4 3 1 5 5 8 7 3 7 1 9 8 5 5 1 0 4 3 8
1076.35
1076.35 totalWckTime=1076.118 totalCpuTime=1075.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-281648-1169313410 -o ROOT/results/node60/solver-281648-1169313410 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281648-1169313410/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.91 0.97 1.07 4/65 31316
/proc/meminfo: memFree=1418912/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=1784 CPUtime=0
/proc/31315/stat : 31315 (java) D 31313 31315 30550 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 279738875 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31315/statm: 446 136 102 14 0 91 0
[startup+0.10844 s]
/proc/loadavg: 0.91 0.97 1.07 4/65 31316
/proc/meminfo: memFree=1418912/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=914988 CPUtime=0.09
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 3064 0 1 0 8 1 0 0 16 0 8 0 279738875 936947712 2810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516476 s]
/proc/loadavg: 0.91 0.97 1.07 4/65 31316
/proc/meminfo: memFree=1418912/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=915332 CPUtime=0.49
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6611 0 1 0 46 3 0 0 16 0 8 0 279738875 937299968 6349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5969531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 228833 6349 2172 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33756 s]
/proc/loadavg: 0.91 0.97 1.07 2/72 31323
/proc/meminfo: memFree=1401832/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=1.32
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6952 0 1 0 105 27 0 0 17 0 8 0 279738875 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229118 6690 2476 14 0 215588 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916472 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938467328 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.09
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 326 0 0 0 9 0 0 0 16 0 8 0 279738882 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 6690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 916468
[startup+2.98472 s]
/proc/loadavg: 0.91 0.97 1.07 2/72 31323
/proc/meminfo: memFree=1401704/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=2.97
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6955 0 1 0 220 77 0 0 18 0 8 0 279738875 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 6692 2476 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.09
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916472 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 916468
[startup+6.28104 s]
/proc/loadavg: 0.92 0.97 1.07 2/72 31323
/proc/meminfo: memFree=1401720/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=6.26
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6955 0 1 0 452 174 0 0 18 0 8 0 279738875 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 6692 2476 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916472 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916472 CPUtime=0.09
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 279738882 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 916468
[startup+12.7527 s]
/proc/loadavg: 0.93 0.97 1.07 2/72 31323
/proc/meminfo: memFree=1401720/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916472 CPUtime=12.73
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6955 0 1 0 901 372 0 0 17 0 8 0 279738875 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 6692 2476 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.09
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916472 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938467328 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 6692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916472
[startup+25.585 s]
/proc/loadavg: 0.94 0.97 1.06 2/72 31323
/proc/meminfo: memFree=1401784/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=25.55
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 6957 0 1 0 1802 753 0 0 15 0 8 0 279738875 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 6693 2476 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916472 CPUtime=0.1
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 329 0 0 0 10 0 0 0 16 0 8 0 279738882 938467328 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 6693 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916468
[startup+51.2665 s]
/proc/loadavg: 0.96 0.97 1.06 2/72 31323
/proc/meminfo: memFree=1393976/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=51.24
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 8997 0 1 0 4214 910 0 0 25 0 8 0 279738875 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8730 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 380 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 916468
[startup+102.518 s]
/proc/loadavg: 1.04 0.99 1.06 2/72 31323
/proc/meminfo: memFree=1393912/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=102.47
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9007 0 1 0 9337 910 0 0 25 0 8 0 279738875 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8739 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 916468
[startup+162.603 s]
/proc/loadavg: 1.01 0.99 1.06 2/72 31323
/proc/meminfo: memFree=1393912/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=162.54
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9013 0 1 0 15344 910 0 0 25 0 8 0 279738875 938463232 8744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 643.09
Current children cumulated vsize (KiB) 916468
[startup+703.362 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393784/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=703.16
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9023 0 1 0 69406 910 0 0 25 0 8 0 279738875 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8754 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 703.16
Current children cumulated vsize (KiB) 916468
[startup+763.445 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393784/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=763.23
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9023 0 1 0 75413 910 0 0 25 0 8 0 279738875 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8754 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 763.23
Current children cumulated vsize (KiB) 916468
[startup+823.527 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393784/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=823.3
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9026 0 1 0 81420 910 0 0 25 0 8 0 279738875 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8757 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 823.3
Current children cumulated vsize (KiB) 916468
[startup+883.613 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393720/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=883.37
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9026 0 1 0 87427 910 0 0 25 0 8 0 279738875 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8757 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.37
Current children cumulated vsize (KiB) 916468
[startup+943.698 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393720/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=943.44
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9026 0 1 0 93434 910 0 0 25 0 8 0 279738875 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8757 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 943.44
Current children cumulated vsize (KiB) 916468
[startup+1003.78 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393720/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=1003.51
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9026 0 1 0 99441 910 0 0 25 0 8 0 279738875 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8757 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.51
Current children cumulated vsize (KiB) 916468
[startup+1063.87 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 31325
/proc/meminfo: memFree=1393784/2055920 swapFree=4192812/4192956
[pid=31315] ppid=31313 vsize=916468 CPUtime=1063.58
/proc/31315/stat : 31315 (java) R 31313 31315 30550 0 -1 0 9026 0 1 0 105448 910 0 0 25 0 8 0 279738875 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073651403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31315/statm: 229117 8757 2527 14 0 215587 0
[pid=31315/tid=31317] ppid=31313 vsize=916468 CPUtime=0.02
/proc/31315/task/31317/stat : 31317 (java) S 31313 31315 30550 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31318] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31318/stat : 31318 (java) S 31313 31315 30550 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31319] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31319/stat : 31319 (java) S 31313 31315 30550 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279738879 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31320] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31320/stat : 31320 (java) S 31313 31315 30550 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31321] ppid=31313 vsize=916468 CPUtime=0.19
/proc/31315/task/31321/stat : 31321 (java) S 31313 31315 30550 0 -1 64 383 0 0 0 18 1 0 0 16 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31315/tid=31322] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31322/stat : 31322 (java) S 31313 31315 30550 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31315/tid=31323] ppid=31313 vsize=916468 CPUtime=0
/proc/31315/task/31323/stat : 31323 (java) S 31313 31315 30550 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279738882 938463232 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.58
Current children cumulated vsize (KiB) 916468
Child status: 0
Real time (s): 1076.37
CPU time (s): 1076.07
CPU user time (s): 1066.96
CPU system time (s): 9.11261
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1066.96
system time used= 9.11261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119
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= 22594
involuntary context switches= 1001
runsolver used 1.13583 s user time and 2.69259 s system time
The end
Begin job on node60 on Sat Jan 20 17:16:50 UTC 2007
IDJOB= 281648
IDBENCH= 12236
IDSOLVER= 69
FILE ID= node60/281648-1169313410
PBS_JOBID= 3610244
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281648-1169313410/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-281648-1169313410 -o ROOT/results/node60/solver-281648-1169313410 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281648-1169313410/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b6c372a48b5f96e8ef6beba14e463a20
RANDOM SEED= 660926566
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1419328 kB
Buffers: 51504 kB
Cached: 494468 kB
SwapCached: 0 kB
Active: 149480 kB
Inactive: 412020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1652 kB
Writeback: 0 kB
Mapped: 25696 kB
Slab: 61020 kB
Committed_AS: 5755560 kB
PageTables: 1464 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 node60 on Sat Jan 20 17:34:46 UTC 2007