0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276617-1169242522/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.11 cpuTime=0.09 mem=6M910
0.43
0.43 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.93 => wckTime=0.607 cpuTime=0.53 mem=35M631
0.98
0.98 solver LocalSearchSolver being built...
1.03 => wckTime=0.706 cpuTime=0.58 mem=7M417
1.04
1.04 s SATISFIABLE
1.04 o 11
1.04 c 73
1.04 o 15
1.04 c 69
1.05 o 19
1.05 c 65
1.05 o 23
1.05 c 61
1.05 o 27
1.05 c 57
1.05 o 30
1.05 c 54
1.05 o 33
1.05 c 51
1.05 o 35
1.05 c 49
1.06 o 38
1.06 c 46
1.06 o 39
1.06 c 45
1.06 o 42
1.06 c 42
1.06 o 44
1.06 c 40
1.06 o 45
1.06 c 39
1.06 o 47
1.06 c 37
1.06 o 49
1.06 c 35
1.07 o 51
1.07 c 33
1.07 o 53
1.07 c 31
1.07 o 54
1.07 c 30
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.08 o 57
1.08 c 27
1.08 o 58
1.08 c 26
1.08 o 59
1.08 c 25
1.08 o 60
1.08 c 24
1.09 o 62
1.09 c 22
1.10 o 63
1.10 c 21
1.10 o 64
1.10 c 20
1.10 o 65
1.10 c 19
1.11 o 66
1.11 c 18
1.11 o 67
1.11 c 17
1.11 o 68
1.11 c 16
1.11 o 69
1.11 c 15
1.12 o 70
1.12 c 14
1.13 o 71
1.13 c 13
1.13 o 72
1.13 c 12
1.27 o 73
1.27 c 11
1.27 o 74
1.27 c 10
1.36 o 75
1.36 c 9
1.36 o 76
1.36 c 8
1.39 o 77
1.39 c 7
1.39 o 78
1.39 c 6
8.11 o 79
8.11 c 5
11.36
11.36 search
11.36 run=0 nbConstraintChecks=88761092 nbAssignments=10000
11.36 => wckTime=10.334 cpuTime=10.2 mem=7M417
23.14
23.15 search
23.15 run=1 nbConstraintChecks=189019733 nbAssignments=20000
23.15 => wckTime=22.117 cpuTime=21.88 mem=7M417
34.63
34.63 search
34.63 run=2 nbConstraintChecks=286790930 nbAssignments=30000
34.63 => wckTime=33.602 cpuTime=33.26 mem=7M417
38.40
38.40 search
38.40 run=3 nbConstraintChecks=318984849 nbAssignments=33057
38.40 => wckTime=37.373 cpuTime=37.0 mem=7M417
38.40
38.40 global
38.40 nbConstraintChecks=318984849 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.40 solvingWckTime=37.368 solvingCpuTime=36.99 expiredTime=no totalExploration=no nbFoundSolutions=0
38.40 globalCpuTime=37.63
38.40 => wckTime=38.08 cpuTime=37.58 mem=7M417
38.40
38.40 solver IterativeSystematicSolver being built...
38.53 => wckTime=38.211 cpuTime=37.69 mem=18M279
38.54
38.54 preprocessing
38.54 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.54 detectedInconsistency=no
38.54 => wckTime=0.0070 cpuTime=0.0 mem=18M279
40.41
40.41 search
40.41 run=0 nbConstraintChecks=11269498 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=386
40.41 nbFailedAssignments=372 nbBacktracks=10 nbVisitedNodes=769 nbRestartNogoods=0
40.41 => wckTime=1.871 cpuTime=1.82 mem=18M279
43.62
43.62 search
43.62 run=1 nbConstraintChecks=39485346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1249
43.62 nbFailedAssignments=1215 nbBacktracks=25 nbVisitedNodes=2490 nbRestartNogoods=41
43.62 => wckTime=5.087 cpuTime=4.99 mem=18M279
47.08
47.08 search
47.08 run=2 nbConstraintChecks=64360021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2172
47.08 nbFailedAssignments=2111 nbBacktracks=47 nbVisitedNodes=4331 nbRestartNogoods=64
47.08 => wckTime=8.542 cpuTime=8.39 mem=18M279
55.04
55.04 search
55.04 run=3 nbConstraintChecks=133251385 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4227
55.04 nbFailedAssignments=4127 nbBacktracks=80 nbVisitedNodes=8435 nbRestartNogoods=105
55.04 => wckTime=16.501 cpuTime=16.27 mem=18M279
69.07
69.07 search
69.07 run=4 nbConstraintChecks=252852910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8144
69.07 nbFailedAssignments=7988 nbBacktracks=130 nbVisitedNodes=16263 nbRestartNogoods=257
69.07 => wckTime=30.532 cpuTime=30.17 mem=18M279
84.10
84.10 search
84.10 run=5 nbConstraintChecks=379764349 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12251
84.10 nbFailedAssignments=12013 nbBacktracks=205 nbVisitedNodes=24470 nbRestartNogoods=295
84.10 => wckTime=45.562 cpuTime=45.06 mem=18M279
110.72
110.72 search
110.72 run=6 nbConstraintChecks=584983262 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19496
110.72 nbFailedAssignments=19142 nbBacktracks=318 nbVisitedNodes=38951 nbRestartNogoods=388
110.72 => wckTime=72.182 cpuTime=71.44 mem=18M279
177.90
177.90 search
177.90 run=7 nbConstraintChecks=1031420390 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33187
177.90 nbFailedAssignments=32655 nbBacktracks=488 nbVisitedNodes=66325 nbRestartNogoods=406
177.90 => wckTime=139.362 cpuTime=138.01 mem=18M279
201.41
201.41 search
201.41 run=8 nbConstraintChecks=1191120695 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38572
201.41 nbFailedAssignments=37780 nbBacktracks=744 nbVisitedNodes=77083 nbRestartNogoods=563
201.41 => wckTime=162.872 cpuTime=161.3 mem=18M279
234.55
234.55 search
234.55 run=9 nbConstraintChecks=1376938736 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44680
234.55 nbFailedAssignments=43499 nbBacktracks=1128 nbVisitedNodes=89286 nbRestartNogoods=634
234.55 => wckTime=196.018 cpuTime=194.14 mem=18M279
297.75
297.75 search
297.75 run=10 nbConstraintChecks=1795895201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57921
297.75 nbFailedAssignments=56159 nbBacktracks=1705 nbVisitedNodes=115762 nbRestartNogoods=663
297.75 => wckTime=259.211 cpuTime=256.76 mem=18M279
370.35
370.35 search
370.35 run=11 nbConstraintChecks=2274014091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76761
370.35 nbFailedAssignments=74130 nbBacktracks=2569 nbVisitedNodes=153431 nbRestartNogoods=780
370.35 => wckTime=331.817 cpuTime=328.69 mem=18M279
434.07
434.07 search
434.07 run=12 nbConstraintChecks=2718974766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92959
434.07 nbFailedAssignments=89015 nbBacktracks=3866 nbVisitedNodes=185795 nbRestartNogoods=800
434.07 => wckTime=395.536 cpuTime=391.83 mem=18M279
491.64
491.64 search
491.64 run=13 nbConstraintChecks=2997120103 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103342
491.64 nbFailedAssignments=97446 nbBacktracks=5812 nbVisitedNodes=206125 nbRestartNogoods=850
491.64 => wckTime=453.105 cpuTime=448.88 mem=18M279
572.96
572.96 search
572.96 run=14 nbConstraintChecks=3354304888 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115022
572.96 nbFailedAssignments=106201 nbBacktracks=8731 nbVisitedNodes=229130 nbRestartNogoods=1088
572.96 => wckTime=534.427 cpuTime=529.45 mem=18M279
605.43 o 80
605.43 c 4
685.62
685.62 search
685.62 run=15 nbConstraintChecks=3767967531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131638
685.62 nbFailedAssignments=118434 nbBacktracks=13109 nbVisitedNodes=261013 nbRestartNogoods=1129
685.62 => wckTime=647.089 cpuTime=641.09 mem=18M279
799.59
799.59 search
799.59 run=16 nbConstraintChecks=4231584194 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155737
799.59 nbFailedAssignments=135944 nbBacktracks=19677 nbVisitedNodes=307347 nbRestartNogoods=1229
799.59 => wckTime=761.056 cpuTime=754.01 mem=18M279
980.54
980.62 search
980.62 run=17 nbConstraintChecks=4849053637 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=181146
980.62 nbFailedAssignments=151494 nbBacktracks=29529 nbVisitedNodes=354644 nbRestartNogoods=1534
980.62 => wckTime=942.004 cpuTime=933.31 mem=18M279
1021.22 o 81
1021.22 c 3
1270.29 o 82
1270.29 c 2
1371.09
1371.09 search
1371.09 run=18 nbConstraintChecks=6140353086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=227942
1371.09 nbFailedAssignments=183508 nbBacktracks=44307 nbVisitedNodes=443747 nbRestartNogoods=1563
1371.09 => wckTime=1332.552 cpuTime=1320.29 mem=18M279
1787.97
1787.97 search
1787.97 run=19 nbConstraintChecks=7496232825 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=279164
1787.97 nbFailedAssignments=215349 nbBacktracks=63689 nbVisitedNodes=537180 nbRestartNogoods=1682
1787.97 => wckTime=1749.434 cpuTime=1735.82 mem=18M279
1787.97
1787.97 global
1787.97 nbConstraintChecks=7496232825 nbRestartNogoods=1682 solvingWckTime=1749.435 solvingCpuTime=1735.82
1787.97 expiredTime=no totalExploration=yes nbFoundSolutions=3 globalCpuTime=1773.56
1787.97 => wckTime=1787.646 cpuTime=1773.51 mem=18M279
1787.97
1787.97 s OPTIMUM FOUND
1787.97 v 124 2 109 61 143 78 9 124 138 81 26 40 75 80 68 115 58 86 0 6 135 58 0 95 178 60 50 16 41 20 4 107 137 28 138 16 87 148 10 29
1787.97
1787.97 totalWckTime=1787.726 totalCpuTime=1773.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-276617-1169242522 -o ROOT/results/node9/solver-276617-1169242522 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276617-1169242522/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: 2.02 2.02 2.00 4/94 28256
/proc/meminfo: memFree=1255576/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=47416 CPUtime=0
/proc/28255/stat : 28255 (java) D 28253 28255 27740 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 272647337 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/28255/statm: 11854 960 760 14 0 1707 0
[startup+0.103758 s]
/proc/loadavg: 2.02 2.02 2.00 4/94 28256
/proc/meminfo: memFree=1255576/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=912760 CPUtime=0.07
/proc/28255/stat : 28255 (java) S 28253 28255 27740 0 -1 0 2777 0 1 0 6 1 0 0 17 0 8 0 272647337 934666240 2523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228190 2523 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.511808 s]
/proc/loadavg: 2.02 2.02 2.00 4/94 28256
/proc/meminfo: memFree=1255576/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915332 CPUtime=0.47
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 7063 0 1 0 43 4 0 0 18 0 8 0 272647337 937299968 6802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569817 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228833 6802 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.3349 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 28263
/proc/meminfo: memFree=1209312/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1.29
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14235 0 1 0 120 9 0 0 25 0 8 0 272647337 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 13973 2476 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272647341 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.12
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272647346 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 13973 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98808 s]
/proc/loadavg: 2.02 2.02 2.00 4/101 28263
/proc/meminfo: memFree=1209248/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=2.92
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14240 0 1 0 277 15 0 0 25 0 8 0 272647337 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 13977 2476 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.13
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272647346 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.27045 s]
/proc/loadavg: 2.02 2.02 2.00 4/101 28263
/proc/meminfo: memFree=1209120/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=6.17
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14241 0 1 0 590 27 0 0 25 0 8 0 272647337 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 13978 2476 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.13
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272647346 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 13978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915444
[startup+12.7582 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 28263
/proc/meminfo: memFree=1209120/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=12.6
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14243 0 1 0 1210 50 0 0 25 0 8 0 272647337 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 13980 2476 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.13
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.5971 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 28263
/proc/meminfo: memFree=1209312/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=25.32
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14243 0 1 0 2439 93 0 0 25 0 8 0 272647337 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 13980 2476 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.13
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 13980 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915444
[startup+51.2256 s]
/proc/loadavg: 2.08 2.03 2.01 3/101 28263
/proc/meminfo: memFree=1208992/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=50.71
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14396 0 1 0 4936 135 0 0 25 0 8 0 272647337 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799885 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 14125 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.23
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 272647346 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915444
[startup+102.481 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 28263
/proc/meminfo: memFree=1208992/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=101.5
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14399 0 1 0 10014 136 0 0 25 0 8 0 272647337 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 14127 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.24
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 272647346 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14127 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915444
[startup+162.491 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 28263
/proc/meminfo: memFree=1208992/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=160.96
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14403 0 1 0 15960 136 0 0 25 0 8 0 272647337 937414656 14129 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.44
Current children cumulated vsize (KiB) 915444
[startup+1424.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28263
/proc/meminfo: memFree=1208864/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1410.97
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 140951 146 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.97
Current children cumulated vsize (KiB) 915444
[startup+1484.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28311
/proc/meminfo: memFree=1229536/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1470.56
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 146909 147 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.56
Current children cumulated vsize (KiB) 915444
[startup+1544.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 28375
/proc/meminfo: memFree=1228624/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1530.53
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 152904 149 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.53
Current children cumulated vsize (KiB) 915444
[startup+1604.24 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 28485
/proc/meminfo: memFree=1228592/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1590.53
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 158898 155 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793124 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.53
Current children cumulated vsize (KiB) 915444
[startup+1664.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28508
/proc/meminfo: memFree=1229600/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1650.49
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 164894 155 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (KiB) 915444
[startup+1724.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 28508
/proc/meminfo: memFree=1229664/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1710.51
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 170896 155 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.51
Current children cumulated vsize (KiB) 915444
[startup+1784.44 s]
/proc/loadavg: 2.08 2.02 2.01 3/93 28508
/proc/meminfo: memFree=1229664/2055920 swapFree=4191880/4192956
[pid=28255] ppid=28253 vsize=915444 CPUtime=1770.54
/proc/28255/stat : 28255 (java) R 28253 28255 27740 0 -1 0 14407 0 1 0 176898 156 0 0 25 0 8 0 272647337 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28255/statm: 228861 14132 2527 14 0 215331 0
[pid=28255/tid=28257] ppid=28253 vsize=915444 CPUtime=0.03
/proc/28255/task/28257/stat : 28257 (java) S 28253 28255 27740 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272647341 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28258] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28258/stat : 28258 (java) S 28253 28255 27740 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28259] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28259/stat : 28259 (java) S 28253 28255 27740 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272647342 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28260] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28260/stat : 28260 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28261] ppid=28253 vsize=915444 CPUtime=0.25
/proc/28255/task/28261/stat : 28261 (java) S 28253 28255 27740 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28262] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28262/stat : 28262 (java) S 28253 28255 27740 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28255/tid=28263] ppid=28253 vsize=915444 CPUtime=0
/proc/28255/task/28263/stat : 28263 (java) S 28253 28255 27740 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272647346 937414656 14132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.54
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1788.03
CPU time (s): 1774.08
CPU user time (s): 1772.51
CPU system time (s): 1.56876
CPU usage (%): 99.2199
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.51
system time used= 1.56876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14418
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= 37294
involuntary context switches= 83389
runsolver used 2.32565 s user time and 5.59715 s system time
The end
Begin job on node9 on Fri Jan 19 21:35:22 UTC 2007
IDJOB= 276617
IDBENCH= 5908
IDSOLVER= 69
FILE ID= node9/276617-1169242522
PBS_JOBID= 3589027
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276617-1169242522/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-276617-1169242522 -o ROOT/results/node9/solver-276617-1169242522 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276617-1169242522/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5e4f91dfa2e3eb6677eed969301295d3
RANDOM SEED= 957131621
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.231
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.231
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: 1256056 kB
Buffers: 58248 kB
Cached: 582792 kB
SwapCached: 268 kB
Active: 303904 kB
Inactive: 411568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1256056 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3472 kB
Writeback: 0 kB
Mapped: 93660 kB
Slab: 69008 kB
Committed_AS: 8001852 kB
PageTables: 2420 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= 66558 MiB
End job on node9 on Fri Jan 19 22:05:10 UTC 2007