0.30
0.30 Abscon 109 (November, 2006)
0.30
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281513-1169312779/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.49 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.49 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1065 maxDegree=10
0.49 maxArity=2
0.49 => wckTime=0.185 cpuTime=0.14 mem=7M950
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.274 cpuTime=0.18 mem=5M428
0.59
0.59 s SATISFIABLE
0.59 o 9
0.59 c 54
0.59 o 12
0.59 c 51
0.59 o 15
0.59 c 48
0.59 o 17
0.59 c 46
0.59 o 18
0.59 c 45
0.59 o 20
0.59 c 43
0.60 o 22
0.60 c 41
0.60 o 23
0.60 c 40
0.60 o 25
0.60 c 38
0.60 o 26
0.60 c 37
0.60 o 27
0.60 c 36
0.60 o 28
0.60 c 35
0.60 o 30
0.60 c 33
0.60 o 32
0.60 c 31
0.60 o 33
0.60 c 30
0.60 o 34
0.60 c 29
0.60 o 36
0.60 c 27
0.60 o 37
0.60 c 26
0.60 o 38
0.60 c 25
0.61 o 39
0.61 c 24
0.61 o 40
0.61 c 23
0.61 o 41
0.61 c 22
0.63 o 43
0.63 c 20
1.18 o 44
1.18 c 19
1.99
1.99 search
1.99 run=0 nbConstraintChecks=6857990 nbAssignments=10000
1.99 => wckTime=1.409 cpuTime=1.39 mem=5M428
3.35
3.35 search
3.35 run=1 nbConstraintChecks=13718419 nbAssignments=20000
3.35 => wckTime=2.767 cpuTime=2.73 mem=5M428
4.70
4.70 search
4.70 run=2 nbConstraintChecks=20476363 nbAssignments=30000
4.70 => wckTime=4.119 cpuTime=4.07 mem=5M428
6.06
6.06 search
6.06 run=3 nbConstraintChecks=27356371 nbAssignments=40000
6.06 => wckTime=5.48 cpuTime=5.42 mem=5M428
7.43
7.43 search
7.43 run=4 nbConstraintChecks=34277960 nbAssignments=50000
7.43 => wckTime=6.849 cpuTime=6.78 mem=5M428
8.79
8.79 search
8.79 run=5 nbConstraintChecks=41090540 nbAssignments=60000
8.79 => wckTime=8.204 cpuTime=8.12 mem=5M428
10.14
10.14 search
10.14 run=6 nbConstraintChecks=48002287 nbAssignments=70000
10.14 => wckTime=9.558 cpuTime=9.47 mem=5M428
11.49
11.49 search
11.49 run=7 nbConstraintChecks=54781910 nbAssignments=80000
11.49 => wckTime=10.906 cpuTime=10.8 mem=5M428
12.83
12.83 search
12.83 run=8 nbConstraintChecks=61562448 nbAssignments=90000
12.83 => wckTime=12.247 cpuTime=12.13 mem=5M428
14.17
14.17 search
14.17 run=9 nbConstraintChecks=68379834 nbAssignments=100000
14.17 => wckTime=13.59 cpuTime=13.46 mem=5M428
15.53
15.53 search
15.53 run=10 nbConstraintChecks=75398616 nbAssignments=110000
15.53 => wckTime=14.953 cpuTime=14.81 mem=5M428
16.87
16.88 search
16.88 run=11 nbConstraintChecks=82201639 nbAssignments=120000
16.88 => wckTime=16.294 cpuTime=16.15 mem=5M428
18.22
18.22 search
18.22 run=12 nbConstraintChecks=88990800 nbAssignments=130000
18.23 => wckTime=17.644 cpuTime=17.49 mem=5M428
19.57
19.57 search
19.57 run=13 nbConstraintChecks=95783213 nbAssignments=140000
19.57 => wckTime=18.989 cpuTime=18.82 mem=5M428
20.94
20.94 search
20.94 run=14 nbConstraintChecks=102683041 nbAssignments=150000
20.94 => wckTime=20.358 cpuTime=20.17 mem=5M428
22.31
22.31 search
22.31 run=15 nbConstraintChecks=109631130 nbAssignments=160000
22.31 => wckTime=21.727 cpuTime=21.53 mem=5M428
23.66
23.66 search
23.66 run=16 nbConstraintChecks=116387509 nbAssignments=170000
23.66 => wckTime=23.077 cpuTime=22.87 mem=5M428
25.02
25.02 search
25.02 run=17 nbConstraintChecks=123216370 nbAssignments=180000
25.02 => wckTime=24.439 cpuTime=24.22 mem=5M428
26.37
26.38 search
26.38 run=18 nbConstraintChecks=130052427 nbAssignments=190000
26.38 => wckTime=25.794 cpuTime=25.56 mem=5M428
27.76
27.76 search
27.76 run=19 nbConstraintChecks=137076484 nbAssignments=200000
27.76 => wckTime=27.178 cpuTime=26.94 mem=5M428
29.11
29.11 search
29.11 run=20 nbConstraintChecks=143830836 nbAssignments=210000
29.11 => wckTime=28.531 cpuTime=28.27 mem=5M428
30.46
30.46 search
30.46 run=21 nbConstraintChecks=150661587 nbAssignments=220000
30.46 => wckTime=29.877 cpuTime=29.61 mem=5M428
31.44
31.44 search
31.44 run=22 nbConstraintChecks=155648000 nbAssignments=227255
31.44 => wckTime=30.862 cpuTime=30.59 mem=5M428
31.44
31.44 global
31.44 nbConstraintChecks=155648000 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.44 solvingWckTime=30.86 solvingCpuTime=30.59 expiredTime=no totalExploration=no nbFoundSolutions=0
31.44 globalCpuTime=30.82
31.44 => wckTime=31.136 cpuTime=30.77 mem=5M428
31.45
31.45 solver IterativeSystematicSolver being built...
31.58 => wckTime=31.269 cpuTime=30.88 mem=16M434
31.58
31.58 preprocessing
31.58 nbConstraintChecks=1160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.58 detectedInconsistency=no
31.59 => wckTime=0.0050 cpuTime=0.0 mem=16M434
31.65
31.65 search
31.65 run=0 nbConstraintChecks=87013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56
31.65 nbFailedAssignments=39 nbBacktracks=11 nbVisitedNodes=107 nbRestartNogoods=0
31.65 => wckTime=0.069 cpuTime=0.04 mem=16M434
31.70
31.70 search
31.70 run=1 nbConstraintChecks=185188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
31.70 nbFailedAssignments=73 nbBacktracks=26 nbVisitedNodes=211 nbRestartNogoods=5
31.70 => wckTime=0.119 cpuTime=0.07 mem=16M434
31.73
31.73 search
31.73 run=2 nbConstraintChecks=292691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=180
31.73 nbFailedAssignments=113 nbBacktracks=48 nbVisitedNodes=342 nbRestartNogoods=13
31.73 => wckTime=0.15 cpuTime=0.1 mem=16M434
31.77
31.77 search
31.77 run=3 nbConstraintChecks=447879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=276
31.77 nbFailedAssignments=170 nbBacktracks=81 nbVisitedNodes=528 nbRestartNogoods=20
31.77 => wckTime=0.196 cpuTime=0.15 mem=16M434
31.90
31.90 search
31.90 run=4 nbConstraintChecks=884407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=516
31.90 nbFailedAssignments=353 nbBacktracks=131 nbVisitedNodes=991 nbRestartNogoods=26
31.90 => wckTime=0.318 cpuTime=0.27 mem=16M434
32.02
32.02 search
32.02 run=5 nbConstraintChecks=1384753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=832
32.02 nbFailedAssignments=586 nbBacktracks=206 nbVisitedNodes=1615 nbRestartNogoods=40
32.02 => wckTime=0.447 cpuTime=0.39 mem=16M434
32.24
32.24 search
32.24 run=6 nbConstraintChecks=2144031 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1270
32.24 nbFailedAssignments=908 nbBacktracks=319 nbVisitedNodes=2479 nbRestartNogoods=56
32.24 => wckTime=0.66 cpuTime=0.6 mem=16M434
32.50
32.50 search
32.50 run=7 nbConstraintChecks=3103452 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1827
32.50 nbFailedAssignments=1288 nbBacktracks=489 nbVisitedNodes=3582 nbRestartNogoods=63
32.50 => wckTime=0.924 cpuTime=0.85 mem=16M434
32.92
32.92 search
32.92 run=8 nbConstraintChecks=4608565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2678
32.92 nbFailedAssignments=1876 nbBacktracks=746 nbVisitedNodes=5232 nbRestartNogoods=74
32.92 => wckTime=1.34 cpuTime=1.25 mem=16M434
33.36
33.36 search
33.36 run=9 nbConstraintChecks=6408237 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3754
33.36 nbFailedAssignments=2562 nbBacktracks=1130 nbVisitedNodes=7365 nbRestartNogoods=80
33.36 => wckTime=1.786 cpuTime=1.69 mem=16M434
34.17
34.17 search
34.17 run=10 nbConstraintChecks=9458399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5647
34.17 nbFailedAssignments=3875 nbBacktracks=1706 nbVisitedNodes=11105 nbRestartNogoods=92
34.17 => wckTime=2.59 cpuTime=2.49 mem=16M434
35.67
35.67 search
35.67 run=11 nbConstraintChecks=15325909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9155
35.67 nbFailedAssignments=6514 nbBacktracks=2570 nbVisitedNodes=17966 nbRestartNogoods=104
35.67 => wckTime=4.096 cpuTime=3.98 mem=16M434
37.14
37.14 search
37.14 run=12 nbConstraintChecks=21452947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12699
37.14 nbFailedAssignments=8755 nbBacktracks=3867 nbVisitedNodes=24950 nbRestartNogoods=115
37.14 => wckTime=5.565 cpuTime=5.44 mem=16M434
40.44
40.44 search
40.44 run=13 nbConstraintChecks=34696697 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20326
40.44 nbFailedAssignments=14430 nbBacktracks=5813 nbVisitedNodes=40042 nbRestartNogoods=130
40.44 => wckTime=8.866 cpuTime=8.71 mem=16M434
44.18
44.18 search
44.18 run=14 nbConstraintChecks=49591106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29116
44.18 nbFailedAssignments=20295 nbBacktracks=8732 nbVisitedNodes=57446 nbRestartNogoods=148
44.18 => wckTime=12.598 cpuTime=12.41 mem=16M434
49.05
49.05 search
49.05 run=15 nbConstraintChecks=69980722 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42227
49.05 nbFailedAssignments=29019 nbBacktracks=13110 nbVisitedNodes=83441 nbRestartNogoods=162
49.05 => wckTime=17.473 cpuTime=17.24 mem=16M434
57.57
57.57 search
57.57 run=16 nbConstraintChecks=101050197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62855
57.57 nbFailedAssignments=43075 nbBacktracks=19680 nbVisitedNodes=124440 nbRestartNogoods=186
57.57 => wckTime=25.989 cpuTime=25.68 mem=16M434
73.03
73.03 search
73.03 run=17 nbConstraintChecks=161028322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99085
73.03 nbFailedAssignments=69448 nbBacktracks=29532 nbVisitedNodes=196131 nbRestartNogoods=194
73.03 => wckTime=41.451 cpuTime=41.02 mem=16M434
95.28
95.28 search
95.28 run=18 nbConstraintChecks=245529251 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=151203
95.28 nbFailedAssignments=106783 nbBacktracks=44310 nbVisitedNodes=299187 nbRestartNogoods=203
95.28 => wckTime=63.703 cpuTime=63.08 mem=16M434
122.80
122.80 search
122.80 run=19 nbConstraintChecks=348868185 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216253
122.80 nbFailedAssignments=149660 nbBacktracks=66478 nbVisitedNodes=427416 nbRestartNogoods=215
122.80 => wckTime=91.224 cpuTime=90.37 mem=16M434
165.45
165.45 search
165.45 run=20 nbConstraintChecks=503849642 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=313814
165.45 nbFailedAssignments=213963 nbBacktracks=99730 nbVisitedNodes=619723 nbRestartNogoods=228
165.45 => wckTime=133.87 cpuTime=132.67 mem=16M434
226.58
226.59 search
226.59 run=21 nbConstraintChecks=731884514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=456808
226.59 nbFailedAssignments=307074 nbBacktracks=149608 nbVisitedNodes=901479 nbRestartNogoods=248
226.59 => wckTime=195.005 cpuTime=193.29 mem=16M434
312.26
312.26 search
312.26 run=22 nbConstraintChecks=1050758278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=661236
312.26 nbFailedAssignments=436678 nbBacktracks=224426 nbVisitedNodes=1303767 nbRestartNogoods=264
312.26 => wckTime=280.686 cpuTime=278.24 mem=16M434
373.24
373.24 search
373.24 run=23 nbConstraintChecks=1277312945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=812784
373.24 nbFailedAssignments=527096 nbBacktracks=285557 nbVisitedNodes=1602603 nbRestartNogoods=279
373.24 => wckTime=341.658 cpuTime=338.69 mem=16M434
373.24
373.24 global
373.24 nbConstraintChecks=1277314105 nbRestartNogoods=279 solvingWckTime=341.659 solvingCpuTime=338.69 expiredTime=no
373.24 totalExploration=yes nbFoundSolutions=0 globalCpuTime=369.62
373.24 => wckTime=372.929 cpuTime=369.57 mem=16M434
373.24
373.24 s OPTIMUM FOUND
373.24 v 5 9 9 8 7 8 4 9 4 2 9 3 2 9 6 6 8 5 6 8 8 0 9 5 5
373.24
373.24 totalWckTime=373.01 totalCpuTime=369.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-281513-1169312779 -o ROOT/results/node7/solver-281513-1169312779 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281513-1169312779/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.91 1.97 1.99 4/87 31245
/proc/meminfo: memFree=1259096/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=906644 CPUtime=0.03
/proc/31244/stat : 31244 (java) S 31242 31244 30858 0 -1 0 2069 0 1 0 2 1 0 0 18 0 2 0 279673322 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 226661 1818 1036 14 0 214244 0
[pid=31244/tid=31246] ppid=31242 vsize=906644 CPUtime=0
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30858 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 279673326 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.10345 s]
/proc/loadavg: 1.91 1.97 1.99 4/87 31245
/proc/meminfo: memFree=1259096/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=914988 CPUtime=0.08
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 3004 0 1 0 7 1 0 0 17 0 8 0 279673322 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228747 2750 1430 14 0 215242 0
[pid=31244/tid=31246] ppid=31242 vsize=914988 CPUtime=0
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 279673326 936947712 2750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516725 s]
/proc/loadavg: 1.91 1.97 1.99 4/87 31245
/proc/meminfo: memFree=1259096/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915332 CPUtime=0.49
/proc/31244/stat : 31244 (java) S 31242 31244 30858 0 -1 0 6470 0 1 0 45 4 0 0 17 0 8 0 279673322 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228833 6208 2162 14 0 215303 0
[pid=31244/tid=31246] ppid=31242 vsize=915332 CPUtime=0.01
/proc/31244/task/31246/stat : 31246 (java) R 31242 31244 30858 0 -1 64 14 0 0 0 1 0 0 0 16 0 8 0 279673326 937299968 6208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153985334 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33757 s]
/proc/loadavg: 1.91 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1242080/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=1.31
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 6948 0 1 0 105 26 0 0 23 0 8 0 279673322 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 6686 2476 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.1
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 325 0 0 0 10 0 0 0 19 0 8 0 279673330 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 6686 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.9749 s]
/proc/loadavg: 1.91 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1242080/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=2.93
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 6951 0 1 0 217 76 0 0 25 0 8 0 279673322 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073655912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 6688 2476 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.1
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.26009 s]
/proc/loadavg: 1.92 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1242080/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=6.19
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 6951 0 1 0 447 172 0 0 25 0 8 0 279673322 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 6688 2476 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.1
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915436
[startup+12.7428 s]
/proc/loadavg: 1.93 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1242080/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=12.62
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 6951 0 1 0 896 366 0 0 25 0 8 0 279673322 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 6688 2476 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.1
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 6688 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915436
[startup+25.6071 s]
/proc/loadavg: 1.94 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1242016/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=25.38
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 6953 0 1 0 1798 740 0 0 25 0 8 0 279673322 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10742169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 6689 2476 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.1
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 279673330 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 6689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915436
[startup+51.2148 s]
/proc/loadavg: 1.96 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1234144/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=50.77
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 8994 0 1 0 4164 913 0 0 25 0 8 0 279673322 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8726 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.2
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 382 0 0 0 20 0 0 0 17 0 8 0 279673330 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915436
[startup+102.418 s]
/proc/loadavg: 1.98 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1234144/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=101.55
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 9003 0 1 0 9241 914 0 0 25 0 8 0 279673322 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8733 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.2
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 382 0 0 0 20 0 0 0 17 0 8 0 279673330 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915436
[startup+162.471 s]
/proc/loadavg: 1.99 1.97 1.99 3/94 31252
/proc/meminfo: memFree=1234208/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=161.1
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 9006 0 1 0 15196 914 0 0 25 0 8 0 279673322 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753769 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8736 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.2
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 382 0 0 0 20 0 0 0 16 0 8 0 279673330 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 915436
[startup+222.528 s]
/proc/loadavg: 2.03 1.99 1.99 4/94 31252
/proc/meminfo: memFree=1234208/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=220.66
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 9008 0 1 0 21152 914 0 0 25 0 8 0 279673322 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8738 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.2
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 382 0 0 0 20 0 0 0 16 0 8 0 279673330 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (KiB) 915436
[startup+282.577 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 31252
/proc/meminfo: memFree=1234144/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=280.21
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 9013 0 1 0 27106 915 0 0 25 0 8 0 279673322 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8742 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.21
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 279673330 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 915436
[startup+342.629 s]
/proc/loadavg: 2.04 2.00 2.00 3/94 31252
/proc/meminfo: memFree=1234144/2055920 swapFree=4192812/4192956
[pid=31244] ppid=31242 vsize=915436 CPUtime=339.74
/proc/31244/stat : 31244 (java) R 31242 31244 30858 0 -1 0 9015 0 1 0 33059 915 0 0 25 0 8 0 279673322 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31244/statm: 228859 8744 2527 14 0 215329 0
[pid=31244/tid=31246] ppid=31242 vsize=915436 CPUtime=0.02
/proc/31244/task/31246/stat : 31246 (java) S 31242 31244 30858 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 279673326 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31247] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31247/stat : 31247 (java) S 31242 31244 30858 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279673326 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31248] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31248/stat : 31248 (java) S 31242 31244 30858 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673326 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31249] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31249/stat : 31249 (java) S 31242 31244 30858 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279673330 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31250] ppid=31242 vsize=915436 CPUtime=0.21
/proc/31244/task/31250/stat : 31250 (java) S 31242 31244 30858 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 279673330 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31251] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31251/stat : 31251 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 279673330 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31244/tid=31252] ppid=31242 vsize=915436 CPUtime=0
/proc/31244/task/31252/stat : 31252 (java) S 31242 31244 30858 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279673330 937406464 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (KiB) 915436
Child status: 0
Real time (s): 373.261
CPU time (s): 370.101
CPU user time (s): 360.941
CPU system time (s): 9.15961
CPU usage (%): 99.1533
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 360.941
system time used= 9.15961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9111
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= 8468
involuntary context switches= 20486
runsolver used 0.483926 s user time and 1.18982 s system time
The end
Begin job on node7 on Sat Jan 20 17:06:19 UTC 2007
IDJOB= 281513
IDBENCH= 12197
IDSOLVER= 69
FILE ID= node7/281513-1169312779
PBS_JOBID= 3609996
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281513-1169312779/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-281513-1169312779 -o ROOT/results/node7/solver-281513-1169312779 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281513-1169312779/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 476f1944cfc2dac2baf5a616e6013523
RANDOM SEED= 829421496
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: 1259576 kB
Buffers: 56400 kB
Cached: 535608 kB
SwapCached: 0 kB
Active: 282920 kB
Inactive: 430448 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1259576 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 141516 kB
Slab: 67460 kB
Committed_AS: 9183308 kB
PageTables: 2484 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 17:12:32 UTC 2007