0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/283016-1169325180/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=47 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.39 => wckTime=0.098 cpuTime=0.07 mem=6M910
0.39
0.39 relations being loaded...
0.39
0.39 constraints being loaded...
0.46 nbConstraints=236 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=235
0.46 nbConflictsStructures=1 nbSharedConflictsStructures=235 nbSharedBinaryRepresentations=3 maxDegree=23 maxArity=2
0.46 => wckTime=0.171 cpuTime=0.13 mem=8M860
0.50
0.50 solver LocalSearchSolver being built...
0.54 => wckTime=0.25 cpuTime=0.17 mem=5M487
0.54
0.54 s SATISFIABLE
0.54 o 156
0.54 c 80
0.55 o 164
0.55 c 72
0.55 o 170
0.55 c 66
0.55 o 173
0.55 c 63
0.55 o 176
0.55 c 60
0.55 o 180
0.55 c 56
0.55 o 181
0.55 c 55
0.55 o 186
0.55 c 50
0.55 o 191
0.55 c 45
0.55 o 195
0.55 c 41
0.55 o 198
0.55 c 38
0.55 o 202
0.55 c 34
0.55 o 206
0.55 c 30
0.56 o 207
0.56 c 29
0.56 o 208
0.56 c 28
0.56 o 209
0.56 c 27
0.56 o 210
0.56 c 26
0.56 o 211
0.56 c 25
0.56 o 212
0.56 c 24
0.57 o 213
0.57 c 23
0.57 o 214
0.57 c 22
0.57 o 217
0.57 c 19
0.57 o 218
0.57 c 18
0.61 o 219
0.61 c 17
0.65 o 220
0.65 c 16
1.58
1.58 search
1.58 run=0 nbConstraintChecks=3515817 nbAssignments=10000
1.58 => wckTime=1.042 cpuTime=1.02 mem=5M487
2.56
2.56 search
2.56 run=1 nbConstraintChecks=7024578 nbAssignments=20000
2.56 => wckTime=2.024 cpuTime=2.0 mem=5M487
3.53
3.53 search
3.53 run=2 nbConstraintChecks=10474208 nbAssignments=30000
3.53 => wckTime=2.99 cpuTime=2.97 mem=5M487
4.52
4.52 search
4.52 run=3 nbConstraintChecks=14120714 nbAssignments=40000
4.52 => wckTime=3.983 cpuTime=3.96 mem=5M487
5.50
5.50 search
5.50 run=4 nbConstraintChecks=17665993 nbAssignments=50000
5.50 => wckTime=4.958 cpuTime=4.93 mem=5M487
6.49
6.49 search
6.49 run=5 nbConstraintChecks=21293388 nbAssignments=60000
6.49 => wckTime=5.948 cpuTime=5.92 mem=5M487
7.45
7.45 search
7.45 run=6 nbConstraintChecks=24721597 nbAssignments=70000
7.45 => wckTime=6.914 cpuTime=6.89 mem=5M487
8.46
8.46 search
8.46 run=7 nbConstraintChecks=28567120 nbAssignments=80000
8.46 => wckTime=7.922 cpuTime=7.9 mem=5M487
9.43
9.43 search
9.43 run=8 nbConstraintChecks=32065485 nbAssignments=90000
9.43 => wckTime=8.893 cpuTime=8.87 mem=5M487
10.42
10.42 search
10.42 run=9 nbConstraintChecks=35714180 nbAssignments=100000
10.42 => wckTime=9.885 cpuTime=9.85 mem=5M487
11.39
11.39 search
11.39 run=10 nbConstraintChecks=39191503 nbAssignments=110000
11.39 => wckTime=10.854 cpuTime=10.82 mem=5M487
12.38
12.38 search
12.38 run=11 nbConstraintChecks=42734009 nbAssignments=120000
12.38 => wckTime=11.845 cpuTime=11.81 mem=5M487
13.36
13.36 search
13.36 run=12 nbConstraintChecks=46165249 nbAssignments=130000
13.36 => wckTime=12.821 cpuTime=12.79 mem=5M487
14.36
14.36 search
14.36 run=13 nbConstraintChecks=49877224 nbAssignments=140000
14.36 => wckTime=13.826 cpuTime=13.8 mem=5M487
15.35
15.35 search
15.35 run=14 nbConstraintChecks=53382880 nbAssignments=150000
15.35 => wckTime=14.808 cpuTime=14.78 mem=5M487
16.34
16.34 search
16.34 run=15 nbConstraintChecks=56942786 nbAssignments=160000
16.34 => wckTime=15.803 cpuTime=15.77 mem=5M487
17.32
17.32 search
17.32 run=16 nbConstraintChecks=60432988 nbAssignments=170000
17.32 => wckTime=16.785 cpuTime=16.76 mem=5M487
18.32
18.32 search
18.32 run=17 nbConstraintChecks=64047184 nbAssignments=180000
18.32 => wckTime=17.786 cpuTime=17.76 mem=5M487
19.30
19.30 search
19.30 run=18 nbConstraintChecks=67489590 nbAssignments=190000
19.30 => wckTime=18.763 cpuTime=18.73 mem=5M487
20.31
20.31 search
20.31 run=19 nbConstraintChecks=71238877 nbAssignments=200000
20.31 => wckTime=19.774 cpuTime=19.74 mem=5M487
21.30
21.30 search
21.30 run=20 nbConstraintChecks=74787679 nbAssignments=210000
21.30 => wckTime=20.761 cpuTime=20.72 mem=5M487
22.28
22.28 search
22.28 run=21 nbConstraintChecks=78232932 nbAssignments=220000
22.28 => wckTime=21.74 cpuTime=21.7 mem=5M487
23.27
23.27 search
23.27 run=22 nbConstraintChecks=81694842 nbAssignments=230000
23.27 => wckTime=22.734 cpuTime=22.68 mem=5M487
24.29
24.29 search
24.29 run=23 nbConstraintChecks=85616133 nbAssignments=240000
24.29 => wckTime=23.752 cpuTime=23.7 mem=5M487
25.27
25.27 search
25.27 run=24 nbConstraintChecks=89196199 nbAssignments=250000
25.27 => wckTime=24.735 cpuTime=24.68 mem=5M487
26.26
26.26 search
26.26 run=25 nbConstraintChecks=92770433 nbAssignments=260000
26.26 => wckTime=25.722 cpuTime=25.67 mem=5M487
27.23
27.23 search
27.23 run=26 nbConstraintChecks=96246015 nbAssignments=270000
27.23 => wckTime=26.693 cpuTime=26.63 mem=5M487
28.23
28.23 search
28.23 run=27 nbConstraintChecks=99938634 nbAssignments=280000
28.23 => wckTime=27.691 cpuTime=27.63 mem=5M487
29.21
29.21 search
29.21 run=28 nbConstraintChecks=103460152 nbAssignments=290000
29.21 => wckTime=28.668 cpuTime=28.61 mem=5M487
30.19
30.19 search
30.19 run=29 nbConstraintChecks=106928805 nbAssignments=300000
30.19 => wckTime=29.648 cpuTime=29.59 mem=5M487
30.70
30.70 search
30.70 run=30 nbConstraintChecks=108721639 nbAssignments=305409
30.70 => wckTime=30.165 cpuTime=30.11 mem=5M487
30.71
30.71 global
30.71 nbConstraintChecks=108721639 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.71 solvingWckTime=30.162 solvingCpuTime=30.11 expiredTime=no totalExploration=no nbFoundSolutions=0
30.71 globalCpuTime=30.34
30.71 => wckTime=30.414 cpuTime=30.28 mem=5M487
30.71
30.71 solver IterativeSystematicSolver being built...
30.83 => wckTime=30.537 cpuTime=30.38 mem=16M509
30.83
30.83 preprocessing
30.83 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.83 detectedInconsistency=no
30.83 => wckTime=0.0030 cpuTime=0.01 mem=16M509
30.88
30.88 search
30.88 run=0 nbConstraintChecks=25833 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42
30.88 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=61 nbRestartNogoods=0
30.88 => wckTime=0.047 cpuTime=0.03 mem=16M509
30.91
30.91 search
30.91 run=1 nbConstraintChecks=58232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90
30.91 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=136 nbRestartNogoods=2
30.91 => wckTime=0.08 cpuTime=0.06 mem=16M509
30.94
30.94 search
30.94 run=2 nbConstraintChecks=100094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150
30.94 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=234 nbRestartNogoods=3
30.94 => wckTime=0.107 cpuTime=0.08 mem=16M509
30.96
30.96 search
30.96 run=3 nbConstraintChecks=159032 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=228
30.96 nbFailedAssignments=61 nbBacktracks=82 nbVisitedNodes=372 nbRestartNogoods=5
30.96 => wckTime=0.133 cpuTime=0.1 mem=16M509
31.00
31.00 search
31.00 run=4 nbConstraintChecks=244990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=338
31.00 nbFailedAssignments=99 nbBacktracks=132 nbVisitedNodes=570 nbRestartNogoods=7
31.00 => wckTime=0.169 cpuTime=0.14 mem=16M509
31.07
31.07 search
31.07 run=5 nbConstraintChecks=426210 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=552
31.07 nbFailedAssignments=211 nbBacktracks=208 nbVisitedNodes=972 nbRestartNogoods=9
31.07 => wckTime=0.24 cpuTime=0.21 mem=16M509
31.16
31.16 search
31.16 run=6 nbConstraintChecks=634550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=797
31.16 nbFailedAssignments=328 nbBacktracks=321 nbVisitedNodes=1447 nbRestartNogoods=15
31.16 => wckTime=0.33 cpuTime=0.29 mem=16M509
31.31
31.31 search
31.31 run=7 nbConstraintChecks=966395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1173
31.31 nbFailedAssignments=514 nbBacktracks=491 nbVisitedNodes=2179 nbRestartNogoods=19
31.31 => wckTime=0.482 cpuTime=0.43 mem=16M509
31.49
31.49 search
31.49 run=8 nbConstraintChecks=1409715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1651
31.49 nbFailedAssignments=714 nbBacktracks=747 nbVisitedNodes=3113 nbRestartNogoods=24
31.49 => wckTime=0.663 cpuTime=0.6 mem=16M509
31.72
31.72 search
31.72 run=9 nbConstraintChecks=2037111 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2335
31.72 nbFailedAssignments=994 nbBacktracks=1131 nbVisitedNodes=4461 nbRestartNogoods=29
31.72 => wckTime=0.894 cpuTime=0.83 mem=16M509
32.11
32.11 search
32.11 run=10 nbConstraintChecks=3042661 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3409
32.11 nbFailedAssignments=1472 nbBacktracks=1708 nbVisitedNodes=6590 nbRestartNogoods=33
32.11 => wckTime=1.283 cpuTime=1.21 mem=16M509
32.66
32.66 search
32.67 run=11 nbConstraintChecks=4493353 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4946
32.67 nbFailedAssignments=2124 nbBacktracks=2572 nbVisitedNodes=9643 nbRestartNogoods=42
32.67 => wckTime=1.835 cpuTime=1.76 mem=16M509
33.59
33.59 search
33.59 run=12 nbConstraintChecks=6748000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7469
33.59 nbFailedAssignments=3333 nbBacktracks=3869 nbVisitedNodes=14672 nbRestartNogoods=45
33.59 => wckTime=2.758 cpuTime=2.68 mem=16M509
35.20
35.20 search
35.20 run=13 nbConstraintChecks=10272363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11627
35.20 nbFailedAssignments=5533 nbBacktracks=5815 nbVisitedNodes=22971 nbRestartNogoods=51
35.20 => wckTime=4.37 cpuTime=4.3 mem=16M509
37.36
37.36 search
37.36 run=14 nbConstraintChecks=15747771 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17810
37.36 nbFailedAssignments=8779 nbBacktracks=8735 nbVisitedNodes=35320 nbRestartNogoods=62
37.36 => wckTime=6.528 cpuTime=6.45 mem=16M509
41.39
41.39 search
41.39 run=15 nbConstraintChecks=24757872 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27816
41.39 nbFailedAssignments=14397 nbBacktracks=13113 nbVisitedNodes=54717 nbRestartNogoods=66
41.39 => wckTime=10.558 cpuTime=10.48 mem=16M509
46.59
46.59 search
46.59 run=16 nbConstraintChecks=37776723 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42233
46.59 nbFailedAssignments=22234 nbBacktracks=19681 nbVisitedNodes=83116 nbRestartNogoods=77
46.59 => wckTime=15.758 cpuTime=15.68 mem=16M509
52.93
52.93 search
52.93 run=17 nbConstraintChecks=54022817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60983
52.93 nbFailedAssignments=31119 nbBacktracks=29533 nbVisitedNodes=119014 nbRestartNogoods=87
52.93 => wckTime=22.099 cpuTime=22.02 mem=16M509
62.03
62.03 search
62.03 run=18 nbConstraintChecks=76588859 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88237
62.03 nbFailedAssignments=43581 nbBacktracks=44312 nbVisitedNodes=169331 nbRestartNogoods=100
62.03 => wckTime=31.203 cpuTime=31.12 mem=16M509
74.32
74.32 search
74.32 run=19 nbConstraintChecks=104722860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=126363
74.32 nbFailedAssignments=59531 nbBacktracks=66480 nbVisitedNodes=236855 nbRestartNogoods=113
74.32 => wckTime=43.488 cpuTime=43.38 mem=16M509
91.85
91.85 search
91.85 run=20 nbConstraintChecks=142947501 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179901
91.85 nbFailedAssignments=79803 nbBacktracks=99733 nbVisitedNodes=329821 nbRestartNogoods=118
91.85 => wckTime=61.016 cpuTime=60.89 mem=16M509
116.99
116.99 search
116.99 run=21 nbConstraintChecks=199444516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258880
116.99 nbFailedAssignments=108892 nbBacktracks=149611 nbVisitedNodes=466978 nbRestartNogoods=126
116.99 => wckTime=86.16 cpuTime=86.0 mem=16M509
154.89
154.89 search
154.89 run=22 nbConstraintChecks=282541634 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=376130
154.89 nbFailedAssignments=151309 nbBacktracks=224429 nbVisitedNodes=669216 nbRestartNogoods=139
154.89 => wckTime=124.057 cpuTime=123.87 mem=16M509
213.50
213.50 search
213.50 run=23 nbConstraintChecks=406316476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=551456
213.50 nbFailedAssignments=214392 nbBacktracks=336657 nbVisitedNodes=970622 nbRestartNogoods=150
213.50 => wckTime=182.671 cpuTime=182.41 mem=16M509
314.01
314.01 search
314.01 run=24 nbConstraintChecks=599319998 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=816873
314.01 nbFailedAssignments=311455 nbBacktracks=505000 nbVisitedNodes=1429637 nbRestartNogoods=156
314.01 => wckTime=283.184 cpuTime=282.83 mem=16M509
373.78
373.78 search
373.78 run=25 nbConstraintChecks=709761714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=965467
373.78 nbFailedAssignments=367357 nbBacktracks=597693 nbVisitedNodes=1685302 nbRestartNogoods=166
373.78 => wckTime=342.952 cpuTime=342.54 mem=16M509
373.78
373.78 global
373.78 nbConstraintChecks=709761714 nbRestartNogoods=166 solvingWckTime=342.953 solvingCpuTime=342.54 expiredTime=no
373.78 totalExploration=yes nbFoundSolutions=0 globalCpuTime=372.98
373.78 => wckTime=373.491 cpuTime=372.92 mem=16M509
373.79
373.79 s OPTIMUM FOUND
373.79 v 0 0 0 0 0 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 2 1 2 0
373.79
373.79 totalWckTime=373.566 totalCpuTime=372.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-283016-1169325180 -o ROOT/results/node7/solver-283016-1169325180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/283016-1169325180/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.99 2.01 2.00 4/93 1872
/proc/meminfo: memFree=1287392/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=172 CPUtime=0
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280913460 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/1871/statm: 73 31 25 14 0 3 0
[startup+0.107804 s]
/proc/loadavg: 1.99 2.01 2.00 4/93 1872
/proc/meminfo: memFree=1287392/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=914988 CPUtime=0.08
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 3069 0 1 0 7 1 0 0 24 0 8 0 280913460 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515846 s]
/proc/loadavg: 1.99 2.01 2.00 4/93 1872
/proc/meminfo: memFree=1287392/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=0.49
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 6801 0 1 0 46 3 0 0 25 0 8 0 280913460 937299968 6539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 6539 2291 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33693 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=1.31
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 7011 0 1 0 98 33 0 0 25 0 8 0 280913460 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228834 6749 2476 14 0 215304 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937304064 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.09
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 280913468 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937304064 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915332
[startup+2.9841 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=2.96
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 7014 0 1 0 204 92 0 0 25 0 8 0 280913460 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228834 6751 2476 14 0 215304 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915336 CPUtime=0.1
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 280913468 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915332
[startup+6.28545 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=6.26
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 7015 0 1 0 411 215 0 0 25 0 8 0 280913460 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 6752 2476 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915336 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280913464 937304064 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.1
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 321 0 0 0 10 0 0 0 17 0 8 0 280913468 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937304064 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 6752 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) 915332
[startup+12.7631 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=12.73
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 7015 0 1 0 823 450 0 0 25 0 8 0 280913460 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228834 6752 2476 14 0 215304 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.1
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 321 0 0 0 10 0 0 0 17 0 8 0 280913468 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937304064 6752 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) 915332
[startup+25.6105 s]
/proc/loadavg: 1.99 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1269992/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915336 CPUtime=25.56
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 7016 0 1 0 1628 928 0 0 25 0 8 0 280913460 937304064 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 6753 2476 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937304064 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.1
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 322 0 0 0 10 0 0 0 16 0 8 0 280913468 937299968 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915336 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937304064 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 6753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915336
[startup+51.2172 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 1880
/proc/meminfo: memFree=1262312/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=51.14
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9037 0 1 0 3993 1121 0 0 25 0 8 0 280913460 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8771 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915332
[startup+102.422 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 1880
/proc/meminfo: memFree=1262312/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=102.3
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9049 0 1 0 9109 1121 0 0 25 0 8 0 280913460 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8781 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915332
[startup+162.473 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 1880
/proc/meminfo: memFree=1262248/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=162.27
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9054 0 1 0 15106 1121 0 0 25 0 8 0 280913460 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8786 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8786 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 915332
[startup+222.517 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 1880
/proc/meminfo: memFree=1262184/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=222.26
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9056 0 1 0 21104 1122 0 0 25 0 8 0 280913460 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8788 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 915332
[startup+282.567 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 1880
/proc/meminfo: memFree=1262120/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=282.26
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9056 0 1 0 27104 1122 0 0 25 0 8 0 280913460 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8788 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 915332
[startup+342.611 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 1880
/proc/meminfo: memFree=1262056/2055920 swapFree=4192812/4192956
[pid=1871] ppid=1869 vsize=915332 CPUtime=342.23
/proc/1871/stat : 1871 (java) R 1869 1871 1546 0 -1 0 9059 0 1 0 33101 1122 0 0 25 0 8 0 280913460 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1871/statm: 228833 8791 2527 14 0 215303 0
[pid=1871/tid=1873] ppid=1869 vsize=915332 CPUtime=0.02
/proc/1871/task/1873/stat : 1873 (java) S 1869 1871 1546 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280913464 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1874] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1874/stat : 1874 (java) S 1869 1871 1546 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280913464 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1875] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1875/stat : 1875 (java) S 1869 1871 1546 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280913464 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1877] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1877/stat : 1877 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280913468 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1878] ppid=1869 vsize=915332 CPUtime=0.19
/proc/1871/task/1878/stat : 1878 (java) S 1869 1871 1546 0 -1 64 377 0 0 0 18 1 0 0 16 0 8 0 280913468 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1879] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1879/stat : 1879 (java) S 1869 1871 1546 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 280913468 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1871/tid=1880] ppid=1869 vsize=915332 CPUtime=0
/proc/1871/task/1880/stat : 1880 (java) S 1869 1871 1546 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280913468 937299968 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 373.806
CPU time (s): 373.402
CPU user time (s): 362.173
CPU system time (s): 11.2293
CPU usage (%): 99.8919
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.173
system time used= 11.2293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9154
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= 8672
involuntary context switches= 19419
runsolver used 0.51992 s user time and 1.14882 s system time
The end
Begin job on node7 on Sat Jan 20 20:33:00 UTC 2007
IDJOB= 283016
IDBENCH= 12979
IDSOLVER= 69
FILE ID= node7/283016-1169325180
PBS_JOBID= 3610491
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/283016-1169325180/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-283016-1169325180 -o ROOT/results/node7/solver-283016-1169325180 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/283016-1169325180/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1aedd11c2458b29f711a3b3fe14039f
RANDOM SEED= 293490382
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.220
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.220
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: 1287872 kB
Buffers: 56976 kB
Cached: 541628 kB
SwapCached: 0 kB
Active: 252516 kB
Inactive: 432464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1287872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 115476 kB
Slab: 67732 kB
Committed_AS: 10140840 kB
PageTables: 2464 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 node7 on Sat Jan 20 20:39:14 UTC 2007