0.38
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=pfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/278624-1169289026/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.49 => wckTime=0.098 cpuTime=0.09 mem=6M910
0.49
0.49 relations being loaded...
0.54
0.54 constraints being loaded...
0.62 nbConstraints=189 nbRelationTypes=189 nbExtensionStructures=189 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=189 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1858 maxDegree=27
0.62 maxArity=2
0.62 => wckTime=0.234 cpuTime=0.17 mem=8M860
0.66
0.66 solver LocalSearchSolver being built...
0.70 => wckTime=0.315 cpuTime=0.21 mem=5M532
0.71
0.71 s SATISFIABLE
0.71 o 64
0.71 c 125
0.71 o 66
0.71 c 123
0.71 o 71
0.71 c 118
0.71 o 75
0.71 c 114
0.71 o 78
0.71 c 111
0.71 o 82
0.71 c 107
0.71 o 83
0.71 c 106
0.71 o 87
0.71 c 102
0.72 o 88
0.72 c 101
0.72 o 90
0.72 c 99
0.72 o 92
0.72 c 97
0.72 o 93
0.72 c 96
0.72 o 94
0.72 c 95
0.72 o 96
0.72 c 93
0.72 o 97
0.72 c 92
0.72 o 98
0.72 c 91
0.72 o 99
0.72 c 90
0.72 o 100
0.72 c 89
0.72 o 101
0.72 c 88
0.73 o 102
0.73 c 87
0.73 o 103
0.73 c 86
0.73 o 104
0.73 c 85
0.73 o 105
0.73 c 84
0.73 o 106
0.73 c 83
0.73 o 108
0.73 c 81
0.73 o 109
0.73 c 80
0.74 o 110
0.74 c 79
0.74 o 111
0.74 c 78
0.75 o 112
0.75 c 77
0.79 o 113
0.79 c 76
0.86 o 114
0.86 c 75
0.88 o 115
0.88 c 74
2.51
2.51 search
2.51 run=0 nbConstraintChecks=10803856 nbAssignments=10000
2.51 => wckTime=1.811 cpuTime=1.79 mem=5M532
4.23
4.23 search
4.23 run=1 nbConstraintChecks=21692386 nbAssignments=20000
4.23 => wckTime=3.532 cpuTime=3.5 mem=5M532
5.94
5.94 search
5.94 run=2 nbConstraintChecks=32474615 nbAssignments=30000
5.94 => wckTime=5.239 cpuTime=5.21 mem=5M532
7.67
7.67 search
7.67 run=3 nbConstraintChecks=43382752 nbAssignments=40000
7.67 => wckTime=6.972 cpuTime=6.94 mem=5M532
9.40
9.40 search
9.40 run=4 nbConstraintChecks=54171636 nbAssignments=50000
9.40 => wckTime=8.695 cpuTime=8.67 mem=5M532
11.13
11.13 search
11.13 run=5 nbConstraintChecks=65005626 nbAssignments=60000
11.13 => wckTime=10.428 cpuTime=10.39 mem=5M532
12.86
12.86 search
12.86 run=6 nbConstraintChecks=75796485 nbAssignments=70000
12.86 => wckTime=12.154 cpuTime=12.12 mem=5M532
14.58
14.58 search
14.58 run=7 nbConstraintChecks=86632786 nbAssignments=80000
14.58 => wckTime=13.882 cpuTime=13.85 mem=5M532
16.31
16.31 search
16.31 run=8 nbConstraintChecks=97420389 nbAssignments=90000
16.31 => wckTime=15.606 cpuTime=15.57 mem=5M532
18.03
18.03 search
18.03 run=9 nbConstraintChecks=108304113 nbAssignments=100000
18.03 => wckTime=17.331 cpuTime=17.29 mem=5M532
19.78
19.78 search
19.78 run=10 nbConstraintChecks=119187730 nbAssignments=110000
19.78 => wckTime=19.083 cpuTime=19.04 mem=5M532
21.55
21.55 search
21.55 run=11 nbConstraintChecks=130037194 nbAssignments=120000
21.55 => wckTime=20.85 cpuTime=20.81 mem=5M532
23.26
23.26 search
23.26 run=12 nbConstraintChecks=140800918 nbAssignments=130000
23.26 => wckTime=22.558 cpuTime=22.51 mem=5M532
24.97
24.97 search
24.97 run=13 nbConstraintChecks=151603807 nbAssignments=140000
24.97 => wckTime=24.272 cpuTime=24.23 mem=5M532
26.69
26.69 search
26.69 run=14 nbConstraintChecks=162409705 nbAssignments=150000
26.69 => wckTime=25.987 cpuTime=25.94 mem=5M532
28.48
28.48 search
28.48 run=15 nbConstraintChecks=173252056 nbAssignments=160000
28.48 => wckTime=27.776 cpuTime=27.72 mem=5M532
30.20
30.20 search
30.20 run=16 nbConstraintChecks=184036692 nbAssignments=170000
30.20 => wckTime=29.499 cpuTime=29.45 mem=5M532
30.93
30.93 search
30.93 run=17 nbConstraintChecks=188628688 nbAssignments=174247
30.93 => wckTime=30.231 cpuTime=30.18 mem=5M532
30.94
30.94 global
30.94 nbConstraintChecks=188628688 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.94 solvingWckTime=30.23 solvingCpuTime=30.17 expiredTime=no totalExploration=no nbFoundSolutions=0
30.94 globalCpuTime=30.43
30.94 => wckTime=30.547 cpuTime=30.39 mem=5M532
30.94
30.94 solver IterativeSystematicSolver being built...
31.06 => wckTime=30.674 cpuTime=30.49 mem=16M488
31.07
31.07 preprocessing
31.07 nbConstraintChecks=975 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.07 detectedInconsistency=no
31.07 => wckTime=0.0060 cpuTime=0.01 mem=16M488
31.12
31.12 search
31.12 run=0 nbConstraintChecks=71171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48
31.12 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=82 nbRestartNogoods=0
31.12 => wckTime=0.057 cpuTime=0.04 mem=16M488
31.17
31.17 search
31.17 run=1 nbConstraintChecks=172313 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
31.17 nbFailedAssignments=56 nbBacktracks=25 nbVisitedNodes=193 nbRestartNogoods=3
31.17 => wckTime=0.106 cpuTime=0.08 mem=16M488
31.20
31.20 search
31.20 run=2 nbConstraintChecks=292143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=185
31.20 nbFailedAssignments=93 nbBacktracks=47 nbVisitedNodes=326 nbRestartNogoods=7
31.20 => wckTime=0.14 cpuTime=0.11 mem=16M488
31.25
31.25 search
31.25 run=3 nbConstraintChecks=474814 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=293
31.25 nbFailedAssignments=154 nbBacktracks=80 nbVisitedNodes=528 nbRestartNogoods=10
31.25 => wckTime=0.19 cpuTime=0.15 mem=16M488
31.33
31.33 search
31.33 run=4 nbConstraintChecks=774147 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=470
31.33 nbFailedAssignments=267 nbBacktracks=130 nbVisitedNodes=868 nbRestartNogoods=12
31.33 => wckTime=0.267 cpuTime=0.23 mem=16M488
31.43
31.43 search
31.43 run=5 nbConstraintChecks=1183822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=709
31.43 nbFailedAssignments=417 nbBacktracks=205 nbVisitedNodes=1332 nbRestartNogoods=22
31.43 => wckTime=0.37 cpuTime=0.33 mem=16M488
31.60
31.62 search
31.62 run=6 nbConstraintChecks=1839252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1072
31.62 nbFailedAssignments=654 nbBacktracks=318 nbVisitedNodes=2045 nbRestartNogoods=32
31.62 => wckTime=0.54 cpuTime=0.49 mem=16M488
31.88
31.88 search
31.88 run=7 nbConstraintChecks=2912909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1668
31.88 nbFailedAssignments=1065 nbBacktracks=488 nbVisitedNodes=3222 nbRestartNogoods=38
31.88 => wckTime=0.815 cpuTime=0.75 mem=16M488
32.23
32.23 search
32.23 run=8 nbConstraintChecks=4390308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2480
32.23 nbFailedAssignments=1609 nbBacktracks=744 nbVisitedNodes=4834 nbRestartNogoods=46
32.23 => wckTime=1.172 cpuTime=1.11 mem=16M488
32.71
32.71 search
32.71 run=9 nbConstraintChecks=6425959 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3615
32.71 nbFailedAssignments=2346 nbBacktracks=1128 nbVisitedNodes=7090 nbRestartNogoods=57
32.71 => wckTime=1.652 cpuTime=1.59 mem=16M488
33.36
33.36 search
33.36 run=10 nbConstraintChecks=9301436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5173
33.36 nbFailedAssignments=3313 nbBacktracks=1705 nbVisitedNodes=10192 nbRestartNogoods=65
33.36 => wckTime=2.295 cpuTime=2.22 mem=16M488
34.40
34.40 search
34.40 run=11 nbConstraintChecks=13785448 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7606
34.40 nbFailedAssignments=4871 nbBacktracks=2569 nbVisitedNodes=15047 nbRestartNogoods=74
34.40 => wckTime=3.334 cpuTime=3.26 mem=16M488
36.06
36.06 search
36.06 run=12 nbConstraintChecks=21143115 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11586
36.06 nbFailedAssignments=7541 nbBacktracks=3866 nbVisitedNodes=22994 nbRestartNogoods=81
36.06 => wckTime=4.999 cpuTime=4.92 mem=16M488
38.27
38.27 search
38.27 run=13 nbConstraintChecks=31291826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17065
38.27 nbFailedAssignments=11061 nbBacktracks=5812 nbVisitedNodes=33939 nbRestartNogoods=93
38.27 => wckTime=7.21 cpuTime=7.13 mem=16M488
41.84
41.84 search
41.84 run=14 nbConstraintChecks=47163892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25924
41.84 nbFailedAssignments=16986 nbBacktracks=8732 nbVisitedNodes=51643 nbRestartNogoods=106
41.84 => wckTime=10.777 cpuTime=10.69 mem=16M488
47.02
47.02 search
47.02 run=15 nbConstraintChecks=69372567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37892
47.02 nbFailedAssignments=24565 nbBacktracks=13110 nbVisitedNodes=75568 nbRestartNogoods=117
47.02 => wckTime=15.956 cpuTime=15.86 mem=16M488
54.41
54.41 search
54.41 run=16 nbConstraintChecks=99342753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54690
54.41 nbFailedAssignments=34787 nbBacktracks=19678 nbVisitedNodes=109156 nbRestartNogoods=130
54.41 => wckTime=23.352 cpuTime=23.26 mem=16M488
63.99
63.99 search
63.99 run=17 nbConstraintChecks=141543259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=78150
63.99 nbFailedAssignments=48382 nbBacktracks=29530 nbVisitedNodes=156063 nbRestartNogoods=148
63.99 => wckTime=32.923 cpuTime=32.82 mem=16M488
81.84
81.84 search
81.84 run=18 nbConstraintChecks=214089897 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=116980
81.84 nbFailedAssignments=72426 nbBacktracks=44308 nbVisitedNodes=233715 nbRestartNogoods=158
81.84 => wckTime=50.778 cpuTime=50.65 mem=16M488
107.39
107.39 search
107.39 run=19 nbConstraintChecks=318081647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=173892
107.39 nbFailedAssignments=107161 nbBacktracks=66476 nbVisitedNodes=347530 nbRestartNogoods=165
107.39 => wckTime=76.326 cpuTime=76.19 mem=16M488
144.66
144.66 search
144.66 run=20 nbConstraintChecks=470908106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=259867
144.66 nbFailedAssignments=159880 nbBacktracks=99728 nbVisitedNodes=519461 nbRestartNogoods=173
144.66 => wckTime=113.599 cpuTime=113.42 mem=16M488
201.72
201.72 search
201.72 run=21 nbConstraintChecks=689259838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=382232
201.72 nbFailedAssignments=232357 nbBacktracks=149606 nbVisitedNodes=763913 nbRestartNogoods=182
201.72 => wckTime=170.661 cpuTime=170.41 mem=16M488
290.67
290.67 search
290.67 run=22 nbConstraintChecks=1034461967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=576890
290.67 nbFailedAssignments=352189 nbBacktracks=224424 nbVisitedNodes=1150283 nbRestartNogoods=194
290.67 => wckTime=259.603 cpuTime=259.27 mem=16M488
413.15
413.15 search
413.15 run=23 nbConstraintChecks=1518866750 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=850372
413.15 nbFailedAssignments=513985 nbBacktracks=336111 nbVisitedNodes=1683758 nbRestartNogoods=206
413.15 => wckTime=382.087 cpuTime=381.65 mem=16M488
413.15
413.15 global
413.15 nbConstraintChecks=1518867725 nbRestartNogoods=206 solvingWckTime=382.088 solvingCpuTime=381.65 expiredTime=no
413.15 totalExploration=yes nbFoundSolutions=0 globalCpuTime=412.18
413.15 => wckTime=412.764 cpuTime=412.14 mem=16M488
413.15
413.15 s OPTIMUM FOUND
413.16 v 2 0 1 3 3 3 3 1 2 0 4 1 4 0 0 1 0 3 3 3 4 1 4 4 0 2 1 0
413.16
413.16 totalWckTime=412.839 totalCpuTime=412.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-278624-1169289026 -o ROOT/results/node68/solver-278624-1169289026 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/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.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=168 CPUtime=0
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 76400410 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0
/proc/4748/statm: 42 23 18 14 0 2 0
[startup+0.106608 s]
/proc/loadavg: 1.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=914988 CPUtime=0.08
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 3010 0 1 0 7 1 0 0 16 0 8 0 76400410 936947712 2756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155062290 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4748/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514647 s]
/proc/loadavg: 1.06 1.71 1.82 7/72 4749
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915332 CPUtime=0.41
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 6149 0 1 0 38 3 0 0 16 0 8 0 76400410 937299968 5888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4748/statm: 228833 5888 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33572 s]
/proc/loadavg: 1.05 1.70 1.82 2/75 4756
/proc/meminfo: memFree=1372280/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=1.22
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7152 0 1 0 107 15 0 0 17 0 8 0 76400410 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6890 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 17 0 8 0 76400414 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937439232 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 343 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915464
[startup+2.97286 s]
/proc/loadavg: 1.05 1.70 1.82 3/82 4780
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=2.86
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7155 0 1 0 236 50 0 0 19 0 8 0 76400410 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6892 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937439232 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.27516 s]
/proc/loadavg: 1.05 1.70 1.82 3/82 4780
/proc/meminfo: memFree=1370688/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=6.15
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7155 0 1 0 495 120 0 0 25 0 8 0 76400410 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6892 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 345 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915464
[startup+12.7428 s]
/proc/loadavg: 1.12 1.69 1.81 2/75 4803
/proc/meminfo: memFree=1371960/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=12.62
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7156 0 1 0 1003 259 0 0 25 0 8 0 76400410 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6893 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915468 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937439232 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.12
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 346 0 0 0 12 0 0 0 16 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.6029 s]
/proc/loadavg: 1.17 1.69 1.81 2/75 4804
/proc/meminfo: memFree=1374528/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=25.47
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 7156 0 1 0 2016 531 0 0 25 0 8 0 76400410 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 6893 2476 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.13
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 6893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464
[startup+51.3013 s]
/proc/loadavg: 1.18 1.64 1.79 3/82 4873
/proc/meminfo: memFree=1363136/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=51.13
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9045 0 1 0 4467 646 0 0 25 0 8 0 76400410 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833268 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8779 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 401 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8779 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915464
[startup+102.589 s]
/proc/loadavg: 1.30 1.58 1.76 3/88 4960
/proc/meminfo: memFree=1358296/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=102.38
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9054 0 1 0 9591 647 0 0 25 0 8 0 76400410 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8787 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915464
[startup+162.645 s]
/proc/loadavg: 1.74 1.66 1.77 3/88 4960
/proc/meminfo: memFree=1358424/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=162.37
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9060 0 1 0 15590 647 0 0 25 0 8 0 76400410 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073860555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8792 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.37
Current children cumulated vsize (KiB) 915464
[startup+222.701 s]
/proc/loadavg: 1.90 1.72 1.79 3/88 4960
/proc/meminfo: memFree=1358424/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=222.37
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9062 0 1 0 21590 647 0 0 25 0 8 0 76400410 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8794 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.37
Current children cumulated vsize (KiB) 915464
[startup+282.802 s]
/proc/loadavg: 1.96 1.77 1.80 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=282.42
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9062 0 1 0 27595 647 0 0 25 0 8 0 76400410 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8794 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.42
Current children cumulated vsize (KiB) 915464
[startup+342.901 s]
/proc/loadavg: 1.98 1.81 1.81 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=342.45
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9065 0 1 0 33598 647 0 0 25 0 8 0 76400410 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073880492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8797 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.45
Current children cumulated vsize (KiB) 915464
[startup+402.961 s]
/proc/loadavg: 2.04 1.85 1.82 3/88 4960
/proc/meminfo: memFree=1358360/2055920 swapFree=4192812/4192956
[pid=4748] ppid=4744 vsize=915464 CPUtime=402.45
/proc/4748/stat : 4748 (java) R 4744 4748 4607 0 -1 0 9065 0 1 0 39598 647 0 0 25 0 8 0 76400410 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4748/statm: 228866 8797 2527 14 0 215336 0
[pid=4748/tid=4750] ppid=4744 vsize=915464 CPUtime=0.02
/proc/4748/task/4750/stat : 4750 (java) S 4744 4748 4607 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 76400414 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4751] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4751/stat : 4751 (java) S 4744 4748 4607 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4752] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4752/stat : 4752 (java) S 4744 4748 4607 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 76400415 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4753] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4753/stat : 4753 (java) S 4744 4748 4607 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4754] ppid=4744 vsize=915464 CPUtime=0.22
/proc/4748/task/4754/stat : 4754 (java) S 4744 4748 4607 0 -1 64 402 0 0 0 21 1 0 0 16 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4755] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4755/stat : 4755 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4748/tid=4756] ppid=4744 vsize=915464 CPUtime=0
/proc/4748/task/4756/stat : 4756 (java) S 4744 4748 4607 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 76400418 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.45
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 413.19
CPU time (s): 412.663
CPU user time (s): 406.182
CPU system time (s): 6.48101
CPU usage (%): 99.8726
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 406.182
system time used= 6.48101
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9160
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= 9264
involuntary context switches= 10007
runsolver used 0.480926 s user time and 1.3028 s system time
The end
Begin job on node68 on Sat Jan 20 10:30:30 UTC 2007
IDJOB= 278624
IDBENCH= 8549
IDSOLVER= 69
FILE ID= node68/278624-1169289026
PBS_JOBID= 3609731
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-70/kbtree-9-7-3-5-70-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-278624-1169289026 -o ROOT/results/node68/solver-278624-1169289026 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278624-1169289026/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 67976402921600718d2eedb10c0f1dff
RANDOM SEED= 123707432
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.232
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.232
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: 1390672 kB
Buffers: 51148 kB
Cached: 519704 kB
SwapCached: 144 kB
Active: 137680 kB
Inactive: 453428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1390672 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4340 kB
Writeback: 0 kB
Mapped: 30332 kB
Slab: 59860 kB
Committed_AS: 630000 kB
PageTables: 1604 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 node68 on Sat Jan 20 10:37:28 UTC 2007