0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/279920-1169299264/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=30 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.09 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.41
0.41 constraints being loaded...
0.51 nbConstraints=310 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=309
0.51 nbConflictsStructures=1 nbSharedConflictsStructures=309 nbSharedBinaryRepresentations=2 maxDegree=24 maxArity=2
0.51 => wckTime=0.196 cpuTime=0.14 mem=7M885
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.276 cpuTime=0.18 mem=5M509
0.59
0.59 s SATISFIABLE
0.59 o 167
0.59 c 143
0.60 o 169
0.60 c 141
0.60 o 172
0.60 c 138
0.60 o 173
0.60 c 137
0.60 o 174
0.60 c 136
0.60 o 175
0.60 c 135
0.60 o 177
0.60 c 133
0.60 o 178
0.60 c 132
0.60 o 180
0.60 c 130
0.60 o 182
0.60 c 128
0.64 o 183
0.64 c 127
1.96
1.96 search
1.96 run=0 nbConstraintChecks=5121559 nbAssignments=10000
1.96 => wckTime=1.37 cpuTime=1.35 mem=5M509
3.27
3.27 search
3.27 run=1 nbConstraintChecks=10273663 nbAssignments=20000
3.27 => wckTime=2.676 cpuTime=2.65 mem=5M509
4.57
4.57 search
4.57 run=2 nbConstraintChecks=15393196 nbAssignments=30000
4.57 => wckTime=3.981 cpuTime=3.94 mem=5M509
5.86
5.86 search
5.86 run=3 nbConstraintChecks=20545002 nbAssignments=40000
5.86 => wckTime=5.274 cpuTime=5.22 mem=5M509
7.16
7.16 search
7.16 run=4 nbConstraintChecks=25664092 nbAssignments=50000
7.16 => wckTime=6.565 cpuTime=6.51 mem=5M509
8.45
8.45 search
8.45 run=5 nbConstraintChecks=30815764 nbAssignments=60000
8.45 => wckTime=7.861 cpuTime=7.8 mem=5M509
9.74
9.74 search
9.74 run=6 nbConstraintChecks=35934594 nbAssignments=70000
9.74 => wckTime=9.151 cpuTime=9.08 mem=5M509
11.04
11.04 search
11.04 run=7 nbConstraintChecks=41084390 nbAssignments=80000
11.04 => wckTime=10.446 cpuTime=10.38 mem=5M509
12.33
12.33 search
12.33 run=8 nbConstraintChecks=46203795 nbAssignments=90000
12.33 => wckTime=11.739 cpuTime=11.66 mem=5M509
13.63
13.63 search
13.63 run=9 nbConstraintChecks=51355826 nbAssignments=100000
13.63 => wckTime=13.04 cpuTime=12.95 mem=5M509
14.92
14.92 search
14.92 run=10 nbConstraintChecks=56474318 nbAssignments=110000
14.92 => wckTime=14.334 cpuTime=14.24 mem=5M509
16.23
16.23 search
16.23 run=11 nbConstraintChecks=61630589 nbAssignments=120000
16.23 => wckTime=15.64 cpuTime=15.54 mem=5M509
17.53
17.53 search
17.53 run=12 nbConstraintChecks=66745516 nbAssignments=130000
17.53 => wckTime=16.942 cpuTime=16.84 mem=5M509
18.84
18.84 search
18.84 run=13 nbConstraintChecks=71896557 nbAssignments=140000
18.84 => wckTime=18.249 cpuTime=18.14 mem=5M509
20.14
20.14 search
20.14 run=14 nbConstraintChecks=77014910 nbAssignments=150000
20.14 => wckTime=19.551 cpuTime=19.43 mem=5M509
21.45
21.45 search
21.45 run=15 nbConstraintChecks=82167634 nbAssignments=160000
21.45 => wckTime=20.858 cpuTime=20.74 mem=5M509
22.75
22.75 search
22.75 run=16 nbConstraintChecks=87285689 nbAssignments=170000
22.75 => wckTime=22.164 cpuTime=22.03 mem=5M509
24.06
24.06 search
24.06 run=17 nbConstraintChecks=92442003 nbAssignments=180000
24.06 => wckTime=23.47 cpuTime=23.33 mem=5M509
25.36
25.36 search
25.36 run=18 nbConstraintChecks=97562866 nbAssignments=190000
25.36 => wckTime=24.766 cpuTime=24.62 mem=5M509
26.65
26.65 search
26.65 run=19 nbConstraintChecks=102714756 nbAssignments=200000
26.65 => wckTime=26.062 cpuTime=25.91 mem=5M509
27.94
27.94 search
27.94 run=20 nbConstraintChecks=107833225 nbAssignments=210000
27.94 => wckTime=27.354 cpuTime=27.2 mem=5M509
29.24
29.24 search
29.24 run=21 nbConstraintChecks=112984009 nbAssignments=220000
29.24 => wckTime=28.648 cpuTime=28.49 mem=5M509
30.53
30.53 search
30.53 run=22 nbConstraintChecks=118101204 nbAssignments=230000
30.53 => wckTime=29.938 cpuTime=29.77 mem=5M509
30.81
30.81 search
30.81 run=23 nbConstraintChecks=119203317 nbAssignments=232143
30.81 => wckTime=30.22 cpuTime=30.05 mem=5M509
30.81
30.81 global
30.81 nbConstraintChecks=119203317 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.81 solvingWckTime=30.219 solvingCpuTime=30.04 expiredTime=no totalExploration=no nbFoundSolutions=0
30.81 globalCpuTime=30.29
30.81 => wckTime=30.497 cpuTime=30.23 mem=5M509
30.81
30.81 solver IterativeSystematicSolver being built...
30.95 => wckTime=30.638 cpuTime=30.34 mem=16M592
30.96
30.96 preprocessing
30.96 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.96 detectedInconsistency=no
30.96 => wckTime=0.0060 cpuTime=0.0 mem=16M592
31.00
31.00 search
31.00 run=0 nbConstraintChecks=22249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
31.00 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=57 nbRestartNogoods=0
31.00 => wckTime=0.049 cpuTime=0.02 mem=16M592
31.03
31.03 search
31.03 run=1 nbConstraintChecks=49408 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80
31.03 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=124 nbRestartNogoods=2
31.03 => wckTime=0.08 cpuTime=0.04 mem=16M592
31.06
31.06 search
31.06 run=2 nbConstraintChecks=89866 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136
31.06 nbFailedAssignments=35 nbBacktracks=48 nbVisitedNodes=220 nbRestartNogoods=3
31.06 => wckTime=0.104 cpuTime=0.06 mem=16M592
31.09
31.09 search
31.09 run=3 nbConstraintChecks=152024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
31.09 nbFailedAssignments=64 nbBacktracks=81 nbVisitedNodes=362 nbRestartNogoods=5
31.09 => wckTime=0.134 cpuTime=0.09 mem=16M592
31.12
31.12 search
31.12 run=4 nbConstraintChecks=237493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=323
31.12 nbFailedAssignments=104 nbBacktracks=132 nbVisitedNodes=560 nbRestartNogoods=8
31.12 => wckTime=0.172 cpuTime=0.12 mem=16M592
31.19
31.19 search
31.19 run=5 nbConstraintChecks=373864 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=484
31.19 nbFailedAssignments=174 nbBacktracks=208 nbVisitedNodes=867 nbRestartNogoods=11
31.19 => wckTime=0.234 cpuTime=0.18 mem=16M592
31.27
31.27 search
31.27 run=6 nbConstraintChecks=574583 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=720
31.27 nbFailedAssignments=282 nbBacktracks=321 nbVisitedNodes=1324 nbRestartNogoods=15
31.27 => wckTime=0.314 cpuTime=0.26 mem=16M592
31.38
31.38 search
31.38 run=7 nbConstraintChecks=852411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1042
31.38 nbFailedAssignments=419 nbBacktracks=492 nbVisitedNodes=1954 nbRestartNogoods=20
31.38 => wckTime=0.423 cpuTime=0.37 mem=16M592
31.57
31.57 search
31.57 run=8 nbConstraintChecks=1300930 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1560
31.57 nbFailedAssignments=664 nbBacktracks=749 nbVisitedNodes=2974 nbRestartNogoods=26
31.57 => wckTime=0.614 cpuTime=0.54 mem=16M592
31.83
31.83 search
31.83 run=9 nbConstraintChecks=1952428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2302
31.83 nbFailedAssignments=1006 nbBacktracks=1135 nbVisitedNodes=4444 nbRestartNogoods=29
31.83 => wckTime=0.876 cpuTime=0.79 mem=16M592
32.18
32.18 search
32.18 run=10 nbConstraintChecks=2894349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3369
32.18 nbFailedAssignments=1481 nbBacktracks=1712 nbVisitedNodes=6563 nbRestartNogoods=33
32.18 => wckTime=1.227 cpuTime=1.14 mem=16M592
32.75
32.75 search
32.75 run=11 nbConstraintChecks=4355329 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5011
32.75 nbFailedAssignments=2246 nbBacktracks=2576 nbVisitedNodes=9834 nbRestartNogoods=37
32.75 => wckTime=1.795 cpuTime=1.71 mem=16M592
33.64
33.64 search
33.64 run=12 nbConstraintChecks=6638938 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7526
33.64 nbFailedAssignments=3449 nbBacktracks=3874 nbVisitedNodes=14850 nbRestartNogoods=42
33.64 => wckTime=2.688 cpuTime=2.6 mem=16M592
35.11
35.11 search
35.11 run=13 nbConstraintChecks=10197871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11409
35.11 nbFailedAssignments=5375 nbBacktracks=5820 nbVisitedNodes=22605 nbRestartNogoods=48
35.11 => wckTime=4.161 cpuTime=4.06 mem=16M592
37.19
37.19 search
37.19 run=14 nbConstraintChecks=15398922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17189
37.19 nbFailedAssignments=8221 nbBacktracks=8739 nbVisitedNodes=34150 nbRestartNogoods=55
37.19 => wckTime=6.242 cpuTime=6.13 mem=16M592
40.54
40.54 search
40.54 run=15 nbConstraintChecks=23417694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25916
40.54 nbFailedAssignments=12558 nbBacktracks=13117 nbVisitedNodes=51592 nbRestartNogoods=59
40.54 => wckTime=9.582 cpuTime=9.46 mem=16M592
45.45
45.45 search
45.45 run=16 nbConstraintChecks=35182065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38622
45.45 nbFailedAssignments=18683 nbBacktracks=19685 nbVisitedNodes=76991 nbRestartNogoods=64
45.45 => wckTime=14.494 cpuTime=14.34 mem=16M592
52.79
52.79 search
52.79 run=17 nbConstraintChecks=52750273 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57751
52.79 nbFailedAssignments=27948 nbBacktracks=29538 nbVisitedNodes=115230 nbRestartNogoods=71
52.79 => wckTime=21.834 cpuTime=21.66 mem=16M592
63.60
63.60 search
63.60 run=18 nbConstraintChecks=78703506 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85979
63.60 nbFailedAssignments=41385 nbBacktracks=44317 nbVisitedNodes=171658 nbRestartNogoods=78
63.60 => wckTime=32.644 cpuTime=32.41 mem=16M592
80.15
80.15 search
80.15 run=19 nbConstraintChecks=117955215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128682
80.15 nbFailedAssignments=61905 nbBacktracks=66485 nbVisitedNodes=257016 nbRestartNogoods=84
80.15 => wckTime=49.2 cpuTime=48.89 mem=16M592
104.90
104.90 search
104.90 run=20 nbConstraintChecks=176568241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=191832
104.90 nbFailedAssignments=91790 nbBacktracks=99737 nbVisitedNodes=383245 nbRestartNogoods=88
104.90 => wckTime=73.952 cpuTime=73.53 mem=16M592
143.04
143.04 search
143.04 run=21 nbConstraintChecks=265259414 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=288531
143.04 nbFailedAssignments=138601 nbBacktracks=149615 nbVisitedNodes=576146 nbRestartNogoods=97
143.04 => wckTime=112.089 cpuTime=111.48 mem=16M592
198.99
198.99 search
198.99 run=22 nbConstraintChecks=397211205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=433404
198.99 nbFailedAssignments=208645 nbBacktracks=224433 nbVisitedNodes=864437 nbRestartNogoods=105
198.99 => wckTime=168.036 cpuTime=167.17 mem=16M592
277.99
277.99 search
277.99 run=23 nbConstraintChecks=592125548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=649485
277.99 nbFailedAssignments=312485 nbBacktracks=336660 nbVisitedNodes=1291741 nbRestartNogoods=114
277.99 => wckTime=247.041 cpuTime=245.89 mem=16M592
383.06
383.06 search
383.06 run=24 nbConstraintChecks=874647381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=973072
383.06 nbFailedAssignments=467719 nbBacktracks=505001 nbVisitedNodes=1926643 nbRestartNogoods=122
383.06 => wckTime=352.105 cpuTime=350.86 mem=16M592
392.24
392.24 search
392.24 run=25 nbConstraintChecks=898938949 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1000440
392.24 nbFailedAssignments=480620 nbBacktracks=519469 nbVisitedNodes=1979642 nbRestartNogoods=128
392.24 => wckTime=361.287 cpuTime=360.02 mem=16M592
392.24
392.24 global
392.24 nbConstraintChecks=898938949 nbRestartNogoods=128 solvingWckTime=361.288 solvingCpuTime=360.02 expiredTime=no
392.24 totalExploration=yes nbFoundSolutions=0 globalCpuTime=390.42
392.24 => wckTime=391.926 cpuTime=390.36 mem=16M592
392.24
392.24 s OPTIMUM FOUND
392.24 v 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1
392.24
392.24 totalWckTime=392.006 totalCpuTime=390.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-279920-1169299264 -o ROOT/results/node5/solver-279920-1169299264 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279920-1169299264/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 2.00 1.99 5/93 23957
/proc/meminfo: memFree=1150504/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=18540 CPUtime=0
/proc/23956/stat : 23956 (runsolver) R 23954 23956 23747 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 258540844 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23956/statm: 4635 279 244 17 0 2626 0
[startup+0.108494 s]
/proc/loadavg: 1.91 2.00 1.99 5/93 23957
/proc/meminfo: memFree=1150504/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=914988 CPUtime=0.09
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 2994 0 1 0 8 1 0 0 17 0 8 0 258540844 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072929090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516538 s]
/proc/loadavg: 1.91 2.00 1.99 5/93 23957
/proc/meminfo: memFree=1150504/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=0.49
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6462 0 1 0 46 3 0 0 18 0 8 0 258540844 937299968 6201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8324490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 6201 2157 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33963 s]
/proc/loadavg: 1.91 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1133232/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=1.31
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6965 0 1 0 105 26 0 0 25 0 8 0 258540844 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 6703 2476 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.1
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 258540852 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 6703 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 6703 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) 915332
[startup+2.99281 s]
/proc/loadavg: 1.92 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1133232/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=2.95
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6968 0 1 0 219 76 0 0 25 0 8 0 258540844 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 6705 2476 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.11
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 321 0 0 0 11 0 0 0 17 0 8 0 258540852 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 6705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915332
[startup+6.27819 s]
/proc/loadavg: 1.92 2.00 1.99 4/100 23964
/proc/meminfo: memFree=1133232/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=6.22
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6970 0 1 0 446 176 0 0 25 0 8 0 258540844 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 6707 2476 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.11
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 323 0 0 0 11 0 0 0 16 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915332
[startup+12.7649 s]
/proc/loadavg: 1.93 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1133232/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915336 CPUtime=12.67
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6970 0 1 0 896 371 0 0 25 0 8 0 258540844 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228834 6707 2476 14 0 215304 0
[pid=23956/tid=23958] ppid=23954 vsize=915336 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 258540848 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915336 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915336 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915336 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915336 CPUtime=0.11
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 323 0 0 0 11 0 0 0 16 0 8 0 258540852 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915336 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915336 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937304064 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915336
[startup+25.6014 s]
/proc/loadavg: 1.94 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1133232/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=25.45
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 6970 0 1 0 1785 760 0 0 25 0 8 0 258540844 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628947 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 6707 2476 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.11
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 323 0 0 0 11 0 0 0 16 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 6707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915332
[startup+51.2103 s]
/proc/loadavg: 1.96 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1124976/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=50.94
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9097 0 1 0 4173 921 0 0 25 0 8 0 258540844 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 8832 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915332
[startup+102.412 s]
/proc/loadavg: 1.98 2.00 1.99 3/100 23964
/proc/meminfo: memFree=1124912/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=101.9
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9106 0 1 0 9269 921 0 0 25 0 8 0 258540844 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 8840 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915332
[startup+162.46 s]
/proc/loadavg: 2.11 2.03 2.00 3/100 23964
/proc/meminfo: memFree=1124976/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=161.67
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9113 0 1 0 15245 922 0 0 25 0 8 0 258540844 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 8846 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 915332
[startup+222.506 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 23964
/proc/meminfo: memFree=1124912/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=221.43
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9115 0 1 0 21221 922 0 0 25 0 8 0 258540844 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23956/statm: 228833 8848 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 915332
[startup+282.568 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 24038
/proc/meminfo: memFree=1143216/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=281.33
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9118 0 1 0 27209 924 0 0 25 0 8 0 258540844 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23956/statm: 228833 8851 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (KiB) 915332
[startup+342.631 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 24038
/proc/meminfo: memFree=1143280/2055920 swapFree=4192812/4192956
[pid=23956] ppid=23954 vsize=915332 CPUtime=341.31
/proc/23956/stat : 23956 (java) R 23954 23956 23747 0 -1 0 9118 0 1 0 33207 924 0 0 25 0 8 0 258540844 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23956/statm: 228833 8851 2527 14 0 215303 0
[pid=23956/tid=23958] ppid=23954 vsize=915332 CPUtime=0.02
/proc/23956/task/23958/stat : 23958 (java) S 23954 23956 23747 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 258540848 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23959] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 23747 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 258540849 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23960] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 23747 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 258540849 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23961] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 23747 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23962] ppid=23954 vsize=915332 CPUtime=0.22
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 23747 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23963] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23956/tid=23964] ppid=23954 vsize=915332 CPUtime=0
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 23747 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 258540852 937299968 8851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.31
Current children cumulated vsize (KiB) 915332
Child status: 0
Real time (s): 392.288
CPU time (s): 390.894
CPU user time (s): 381.643
CPU system time (s): 9.25059
CPU usage (%): 99.6446
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.643
system time used= 9.25059
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9217
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= 9024
involuntary context switches= 19091
runsolver used 0.460929 s user time and 1.2918 s system time
The end
Begin job on node5 on Sat Jan 20 13:21:04 UTC 2007
IDJOB= 279920
IDBENCH= 10510
IDSOLVER= 69
FILE ID= node5/279920-1169299264
PBS_JOBID= 3609653
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxcut/maxcut-30/maxcut-30-310-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279920-1169299264/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-279920-1169299264 -o ROOT/results/node5/solver-279920-1169299264 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279920-1169299264/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 83744adab263153f2cde06a48dbb25d6
RANDOM SEED= 378939161
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.240
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.240
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: 1150920 kB
Buffers: 63004 kB
Cached: 689756 kB
SwapCached: 0 kB
Active: 271576 kB
Inactive: 555052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1150920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1936 kB
Writeback: 0 kB
Mapped: 102968 kB
Slab: 63172 kB
Committed_AS: 8119672 kB
PageTables: 2272 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node5 on Sat Jan 20 13:27:36 UTC 2007