0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276010-1169230583/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.66
0.66 constraints being loaded...
0.81 nbConstraints=55 nbRelationTypes=55 nbExtensionStructures=55 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=55 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.81 => wckTime=0.503 cpuTime=0.46 mem=39M242
0.89
0.89 solver LocalSearchSolver being built...
0.93 => wckTime=0.621 cpuTime=0.5 mem=11M798
0.94
0.94 s SATISFIABLE
0.94 o 30
0.94 c 25
0.94 o 33
0.94 c 22
0.94 o 34
0.94 c 21
0.95 o 35
0.95 c 20
0.95 o 38
0.95 c 17
0.95 o 41
0.95 c 14
0.96 o 44
0.96 c 11
0.96 o 45
0.96 c 10
0.96 o 46
0.96 c 9
0.98 o 47
0.98 c 8
0.98 o 48
0.98 c 7
1.00 o 49
1.00 c 6
1.07 o 50
1.07 c 5
1.09 o 51
1.09 c 4
1.33 o 52
1.33 c 3
5.94 o 53
5.94 c 2
9.59
9.59 search
9.59 run=0 nbConstraintChecks=10020283 nbAssignments=10000
9.59 => wckTime=8.66 cpuTime=8.56 mem=11M798
18.02
18.02 search
18.02 run=1 nbConstraintChecks=19999736 nbAssignments=20000
18.02 => wckTime=17.094 cpuTime=16.92 mem=11M798
26.42
26.42 search
26.42 run=2 nbConstraintChecks=29911173 nbAssignments=30000
26.42 => wckTime=25.495 cpuTime=25.24 mem=11M798
35.04
35.04 search
35.04 run=3 nbConstraintChecks=40083265 nbAssignments=40000
35.04 => wckTime=34.113 cpuTime=33.78 mem=11M798
36.23
36.23 search
36.23 run=4 nbConstraintChecks=41472229 nbAssignments=41366
36.23 => wckTime=35.303 cpuTime=34.96 mem=11M798
36.23
36.23 global
36.23 nbConstraintChecks=41472229 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.23 solvingWckTime=35.301 solvingCpuTime=34.95 expiredTime=no totalExploration=no nbFoundSolutions=0
36.23 globalCpuTime=35.5
36.24 => wckTime=35.925 cpuTime=35.45 mem=11M798
36.24
36.24 solver IterativeSystematicSolver being built...
36.37 => wckTime=36.064 cpuTime=35.55 mem=22M940
36.45
36.45 preprocessing
36.45 nbConstraintChecks=16305 nbValidityChecks=42947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.45 nbRemovedValues=0 detectedInconsistency=no
36.45 => wckTime=0.071 cpuTime=0.04 mem=22M940
36.54
36.54 search
36.54 run=0 nbConstraintChecks=53353 nbValidityChecks=227263 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.54 nbAssignments=64 nbFailedAssignments=51 nbBacktracks=10 nbVisitedNodes=126 nbRestartNogoods=0
36.54 => wckTime=0.169 cpuTime=0.13 mem=22M940
36.70
36.70 search
36.70 run=1 nbConstraintChecks=158706 nbValidityChecks=601957 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.70 nbAssignments=161 nbFailedAssignments=129 nbBacktracks=26 nbVisitedNodes=315 nbRestartNogoods=9
36.70 => wckTime=0.328 cpuTime=0.27 mem=22M940
36.86
36.86 search
36.86 run=2 nbConstraintChecks=246818 nbValidityChecks=1048680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.86 nbAssignments=353 nbFailedAssignments=294 nbBacktracks=48 nbVisitedNodes=694 nbRestartNogoods=15
36.86 => wckTime=0.481 cpuTime=0.42 mem=22M940
37.11
37.11 search
37.11 run=3 nbConstraintChecks=395406 nbValidityChecks=1793376 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.11 nbAssignments=607 nbFailedAssignments=507 nbBacktracks=81 nbVisitedNodes=1194 nbRestartNogoods=22
37.11 => wckTime=0.732 cpuTime=0.67 mem=22M940
37.43
37.43 search
37.43 run=4 nbConstraintChecks=584648 nbValidityChecks=2723274 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.43 nbAssignments=946 nbFailedAssignments=788 nbBacktracks=131 nbVisitedNodes=1864 nbRestartNogoods=43
37.43 => wckTime=1.052 cpuTime=0.98 mem=22M940
37.98
37.98 search
37.98 run=5 nbConstraintChecks=879443 nbValidityChecks=4428721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.98 nbAssignments=1604 nbFailedAssignments=1362 nbBacktracks=206 nbVisitedNodes=3166 nbRestartNogoods=74
37.98 => wckTime=1.61 cpuTime=1.51 mem=22M940
38.89
38.89 search
38.89 run=6 nbConstraintChecks=1488250 nbValidityChecks=7032861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.89 nbAssignments=2375 nbFailedAssignments=2013 nbBacktracks=319 nbVisitedNodes=4694 nbRestartNogoods=131
38.89 => wckTime=2.514 cpuTime=2.4 mem=22M940
39.85
39.85 search
39.85 run=7 nbConstraintChecks=2083330 nbValidityChecks=9924564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.85 nbAssignments=3286 nbFailedAssignments=2748 nbBacktracks=489 nbVisitedNodes=6496 nbRestartNogoods=155
39.85 => wckTime=3.474 cpuTime=3.35 mem=22M940
41.35
41.35 search
41.35 run=8 nbConstraintChecks=2999685 nbValidityChecks=14532203 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.35 nbAssignments=4762 nbFailedAssignments=3961 nbBacktracks=745 nbVisitedNodes=9413 nbRestartNogoods=166
41.35 => wckTime=4.978 cpuTime=4.84 mem=22M940
43.28
43.28 search
43.28 run=9 nbConstraintChecks=4313024 nbValidityChecks=19825000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.28 nbAssignments=6256 nbFailedAssignments=5067 nbBacktracks=1129 nbVisitedNodes=12326 nbRestartNogoods=199
43.28 => wckTime=6.908 cpuTime=6.75 mem=22M940
45.93
45.93 search
45.93 run=10 nbConstraintChecks=5987300 nbValidityChecks=27436993 nbPropagations=0 nbRevisions=0
45.93 nbUselessRevisions=0 nbAssignments=8499 nbFailedAssignments=6729 nbBacktracks=1705 nbVisitedNodes=16684
45.93 nbRestartNogoods=207
45.93 => wckTime=9.557 cpuTime=9.37 mem=22M940
49.07
49.07 search
49.07 run=11 nbConstraintChecks=7987377 nbValidityChecks=35883380 nbPropagations=0 nbRevisions=0
49.07 nbUselessRevisions=0 nbAssignments=11195 nbFailedAssignments=8557 nbBacktracks=2569 nbVisitedNodes=21843
49.07 nbRestartNogoods=227
49.07 => wckTime=12.693 cpuTime=12.48 mem=22M940
54.24
54.24 search
54.24 run=12 nbConstraintChecks=11459632 nbValidityChecks=49713609 nbPropagations=0 nbRevisions=0
54.24 nbUselessRevisions=0 nbAssignments=15035 nbFailedAssignments=11092 nbBacktracks=3869 nbVisitedNodes=29208
54.24 nbRestartNogoods=242
54.24 => wckTime=17.863 cpuTime=17.59 mem=22M940
62.92
62.92 search
62.92 run=13 nbConstraintChecks=17414124 nbValidityChecks=73645603 nbPropagations=0 nbRevisions=0
62.92 nbUselessRevisions=0 nbAssignments=21463 nbFailedAssignments=15570 nbBacktracks=5815 nbVisitedNodes=41675
62.92 nbRestartNogoods=268
62.92 => wckTime=26.544 cpuTime=26.19 mem=22M940
72.92
72.92 search
72.92 run=14 nbConstraintChecks=24181804 nbValidityChecks=99667665 nbPropagations=0 nbRevisions=0
72.92 nbUselessRevisions=0 nbAssignments=28870 nbFailedAssignments=20055 nbBacktracks=8734 nbVisitedNodes=55636
72.92 nbRestartNogoods=307
72.92 => wckTime=36.544 cpuTime=36.1 mem=22M940
90.49
90.49 search
90.49 run=15 nbConstraintChecks=36048545 nbValidityChecks=147282306 nbPropagations=0 nbRevisions=0
90.50 nbUselessRevisions=0 nbAssignments=41550 nbFailedAssignments=28353 nbBacktracks=13112 nbVisitedNodes=79862
90.50 nbRestartNogoods=336
90.50 => wckTime=54.121 cpuTime=53.51 mem=22M940
112.91
112.91 search
112.91 run=16 nbConstraintChecks=51152087 nbValidityChecks=204228497 nbPropagations=0 nbRevisions=0
112.91 nbUselessRevisions=0 nbAssignments=58690 nbFailedAssignments=38921 nbBacktracks=19680 nbVisitedNodes=111514
112.91 nbRestartNogoods=349
112.91 => wckTime=76.531 cpuTime=75.72 mem=22M940
149.63
149.63 search
149.63 run=17 nbConstraintChecks=76432181 nbValidityChecks=297421416 nbPropagations=0 nbRevisions=0
149.63 nbUselessRevisions=0 nbAssignments=84986 nbFailedAssignments=55361 nbBacktracks=29532 nbVisitedNodes=160466
149.63 nbRestartNogoods=383
149.63 => wckTime=113.257 cpuTime=112.11 mem=22M940
204.50
204.50 search
204.50 run=18 nbConstraintChecks=114576573 nbValidityChecks=435369209 nbPropagations=0 nbRevisions=0
204.50 nbUselessRevisions=0 nbAssignments=125915 nbFailedAssignments=81509 nbBacktracks=44310 nbVisitedNodes=237505
204.50 nbRestartNogoods=389
204.50 => wckTime=168.125 cpuTime=166.49 mem=22M940
208.87 o 54
208.87 c 1
281.74
281.74 search
281.74 run=19 nbConstraintChecks=165995417 nbValidityChecks=631014602 nbPropagations=0 nbRevisions=0
281.74 nbUselessRevisions=0 nbAssignments=182401 nbFailedAssignments=115822 nbBacktracks=66479 nbVisitedNodes=337197
281.75 nbRestartNogoods=402
281.75 => wckTime=245.371 cpuTime=243.02 mem=22M940
391.38
391.38 search
391.38 run=20 nbConstraintChecks=239395520 nbValidityChecks=900873908 nbPropagations=0 nbRevisions=0
391.38 nbUselessRevisions=0 nbAssignments=262441 nbFailedAssignments=162608 nbBacktracks=99731 nbVisitedNodes=475471
391.38 nbRestartNogoods=427
391.38 => wckTime=355.01 cpuTime=351.66 mem=22M940
430.99
430.99 search
430.99 run=21 nbConstraintChecks=266220550 nbValidityChecks=997039600 nbPropagations=0 nbRevisions=0
430.99 nbUselessRevisions=0 nbAssignments=291195 nbFailedAssignments=178301 nbBacktracks=112793 nbVisitedNodes=524005
430.99 nbRestartNogoods=439
430.99 => wckTime=394.618 cpuTime=390.91 mem=22M940
430.99
430.99 global
430.99 nbConstraintChecks=266236855 nbValidityChecks=997082547 nbRestartNogoods=439 solvingWckTime=394.619
430.99 solvingCpuTime=390.91 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=426.51
430.99 => wckTime=430.683 cpuTime=426.46 mem=22M940
431.00
431.00 s OPTIMUM FOUND
431.00 v 6 0 13 3 16 12 1 3 1 1 0 19 0 16 3 18 5 19 15 17
431.00
431.00 totalWckTime=430.765 totalCpuTime=426.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-276010-1169230583 -o ROOT/results/node42/solver-276010-1169230583 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276010-1169230583/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.87 1.97 1.96 4/81 9026
/proc/meminfo: memFree=1009752/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=1784 CPUtime=0
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 169 0 0 0 0 0 0 0 21 0 1 0 271457558 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/9025/statm: 446 140 106 14 0 91 0
[startup+0.109142 s]
/proc/loadavg: 1.87 1.97 1.96 4/81 9026
/proc/meminfo: memFree=1009752/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=914988 CPUtime=0.09
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 3050 0 1 0 8 1 0 0 17 0 8 0 271457558 936947712 2796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228747 2796 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.521187 s]
/proc/loadavg: 1.87 1.97 1.96 4/81 9026
/proc/meminfo: memFree=1009752/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915332 CPUtime=0.5
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 7735 0 1 0 46 4 0 0 18 0 8 0 271457558 937299968 7474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228833 7474 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34828 s]
/proc/loadavg: 1.87 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955936/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=1.32
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16095 0 1 0 122 10 0 0 25 0 8 0 271457558 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 15833 2478 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1653 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.1
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 271457565 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 15833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915440
[startup+2.98546 s]
/proc/loadavg: 1.88 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955744/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915444 CPUtime=2.93
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16103 0 1 0 275 18 0 0 25 0 8 0 271457558 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228861 15840 2480 14 0 215331 0
[pid=9025/tid=9027] ppid=9023 vsize=915444 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1653 0 0 0 5 0 0 0 16 0 8 0 271457562 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915444 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915444 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915444 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915444 CPUtime=0.1
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 271457565 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915444 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937414656 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915444 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937414656 15840 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) 915444
[startup+6.26782 s]
/proc/loadavg: 1.88 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955744/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=6.2
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16103 0 1 0 585 35 0 0 25 0 8 0 271457558 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073648060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 15840 2480 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1653 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.1
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 271457565 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 15840 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7555 s]
/proc/loadavg: 1.90 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955808/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=12.62
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16105 0 1 0 1198 64 0 0 25 0 8 0 271457558 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650742 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 15842 2480 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1653 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.11
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 15842 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) 915440
[startup+25.619 s]
/proc/loadavg: 1.91 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955936/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=25.36
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16105 0 1 0 2406 130 0 0 25 0 8 0 271457558 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 15842 2480 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1653 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.11
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 15842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915440
[startup+51.2458 s]
/proc/loadavg: 1.94 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955488/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=50.74
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16275 0 1 0 4889 185 0 0 25 0 8 0 271457558 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16008 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.24
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 271457565 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915440
[startup+102.509 s]
/proc/loadavg: 1.97 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955616/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=101.55
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 9969 186 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.24
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 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) 915440
[startup+162.51 s]
/proc/loadavg: 1.99 1.97 1.96 3/88 9033
/proc/meminfo: memFree=955488/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=161
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 15914 186 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.25
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 915440
[startup+222.512 s]
/proc/loadavg: 2.07 1.99 1.97 3/88 9033
/proc/meminfo: memFree=955552/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=220.45
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 21859 186 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.25
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 915440
[startup+282.533 s]
/proc/loadavg: 2.03 1.99 1.97 3/88 9035
/proc/meminfo: memFree=955488/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=279.92
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 27806 186 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785734 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.25
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 915440
[startup+342.535 s]
/proc/loadavg: 2.01 1.99 1.97 3/88 9035
/proc/meminfo: memFree=955488/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=339.38
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 33752 186 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073654302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.25
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (KiB) 915440
[startup+402.637 s]
/proc/loadavg: 2.00 1.99 1.97 3/88 9035
/proc/meminfo: memFree=955488/2055920 swapFree=4191892/4192956
[pid=9025] ppid=9023 vsize=915440 CPUtime=398.94
/proc/9025/stat : 9025 (java) R 9023 9025 8084 0 -1 0 16279 0 1 0 39707 187 0 0 25 0 8 0 271457558 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9025/statm: 228860 16009 2535 14 0 215330 0
[pid=9025/tid=9027] ppid=9023 vsize=915440 CPUtime=0.05
/proc/9025/task/9027/stat : 9027 (java) S 9023 9025 8084 0 -1 64 1654 0 0 0 5 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9028] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9028/stat : 9028 (java) S 9023 9025 8084 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9029] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9029/stat : 9029 (java) S 9023 9025 8084 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271457562 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9030] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9030/stat : 9030 (java) S 9023 9025 8084 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9031] ppid=9023 vsize=915440 CPUtime=0.25
/proc/9025/task/9031/stat : 9031 (java) S 9023 9025 8084 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9032] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9032/stat : 9032 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9025/tid=9033] ppid=9023 vsize=915440 CPUtime=0
/proc/9025/task/9033/stat : 9033 (java) S 9023 9025 8084 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271457565 937410560 16009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.94
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 431.051
CPU time (s): 427.062
CPU user time (s): 425.178
CPU system time (s): 1.88371
CPU usage (%): 99.0746
Max. virtual memory (cumulated for all children) (KiB): 915956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.178
system time used= 1.88371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16292
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= 9794
involuntary context switches= 18576
runsolver used 0.467928 s user time and 1.45678 s system time
The end
Begin job on node42 on Fri Jan 19 18:16:23 UTC 2007
IDJOB= 276010
IDBENCH= 5211
IDSOLVER= 68
FILE ID= node42/276010-1169230583
PBS_JOBID= 3589238
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276010-1169230583/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-276010-1169230583 -o ROOT/results/node42/solver-276010-1169230583 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276010-1169230583/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 36daa205be2b5cc3d39690e78acafb98
RANDOM SEED= 823676962
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.229
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.229
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: 1010168 kB
Buffers: 48948 kB
Cached: 882724 kB
SwapCached: 268 kB
Active: 271316 kB
Inactive: 699844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1010168 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4192 kB
Writeback: 0 kB
Mapped: 56028 kB
Slab: 59888 kB
Committed_AS: 4926380 kB
PageTables: 1896 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 node42 on Fri Jan 19 18:23:34 UTC 2007