0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276599-1169241755/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M910
0.42
0.42 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=9 maxArity=2
0.93 => wckTime=0.613 cpuTime=0.55 mem=35M642
0.99
0.99 solver LocalSearchSolver being built...
1.03 => wckTime=0.714 cpuTime=0.6 mem=7M417
1.04
1.04 s SATISFIABLE
1.04 o 15
1.04 c 69
1.05 o 19
1.05 c 65
1.05 o 22
1.05 c 62
1.05 o 25
1.05 c 59
1.05 o 28
1.05 c 56
1.05 o 31
1.05 c 53
1.05 o 33
1.05 c 51
1.06 o 36
1.06 c 48
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 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 55
1.07 c 29
1.07 o 57
1.07 c 27
1.07 o 59
1.07 c 25
1.07 o 60
1.07 c 24
1.07 o 61
1.07 c 23
1.08 o 63
1.08 c 21
1.08 o 64
1.08 c 20
1.08 o 65
1.08 c 19
1.08 o 66
1.08 c 18
1.09 o 67
1.09 c 17
1.12 o 68
1.12 c 16
1.15 o 69
1.15 c 15
1.15 o 70
1.15 c 14
1.15 o 71
1.15 c 13
1.16 o 72
1.16 c 12
1.16 o 73
1.16 c 11
1.20 o 74
1.20 c 10
1.22 o 75
1.22 c 9
1.35 o 76
1.35 c 8
1.35 o 77
1.35 c 7
1.35 o 78
1.35 c 6
11.62
11.62 search
11.62 run=0 nbConstraintChecks=89933093 nbAssignments=10000
11.62 => wckTime=10.588 cpuTime=10.47 mem=7M417
14.42 o 79
14.42 c 5
23.21
23.21 search
23.21 run=1 nbConstraintChecks=184079949 nbAssignments=20000
23.21 => wckTime=22.177 cpuTime=21.96 mem=7M417
33.54
33.54 search
33.54 run=2 nbConstraintChecks=269141809 nbAssignments=30000
33.54 => wckTime=32.508 cpuTime=32.19 mem=7M417
44.50
44.50 search
44.50 run=3 nbConstraintChecks=359449513 nbAssignments=40000
44.50 => wckTime=43.47 cpuTime=43.07 mem=7M417
44.69
44.69 search
44.69 run=4 nbConstraintChecks=360990351 nbAssignments=40276
44.69 => wckTime=43.663 cpuTime=43.26 mem=7M417
44.69
44.69 global
44.69 nbConstraintChecks=360990351 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.69 solvingWckTime=43.659 solvingCpuTime=43.25 expiredTime=no totalExploration=no nbFoundSolutions=0
44.69 globalCpuTime=43.89
44.69 => wckTime=44.377 cpuTime=43.85 mem=7M417
44.70
44.70 solver IterativeSystematicSolver being built...
44.82 => wckTime=44.503 cpuTime=43.95 mem=18M276
44.83
44.83 preprocessing
44.83 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
44.83 detectedInconsistency=no
44.83 => wckTime=0.0070 cpuTime=0.0 mem=18M276
45.79
45.79 search
45.79 run=0 nbConstraintChecks=5509845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215
45.79 nbFailedAssignments=199 nbBacktracks=10 nbVisitedNodes=422 nbRestartNogoods=0
45.79 => wckTime=0.965 cpuTime=0.94 mem=18M276
47.70
47.70 search
47.70 run=1 nbConstraintChecks=15250917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=487
47.70 nbFailedAssignments=449 nbBacktracks=25 nbVisitedNodes=959 nbRestartNogoods=58
47.70 => wckTime=2.879 cpuTime=2.82 mem=18M276
48.11
48.11 search
48.11 run=2 nbConstraintChecks=17115260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=541
48.11 nbFailedAssignments=474 nbBacktracks=47 nbVisitedNodes=1060 nbRestartNogoods=121
48.11 => wckTime=3.291 cpuTime=3.22 mem=18M276
51.16
51.16 search
51.16 run=3 nbConstraintChecks=35387917 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1092
51.16 nbFailedAssignments=987 nbBacktracks=80 nbVisitedNodes=2157 nbRestartNogoods=146
51.16 => wckTime=6.338 cpuTime=6.24 mem=18M276
55.62
55.62 search
55.62 run=4 nbConstraintChecks=62151908 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1945
55.62 nbFailedAssignments=1785 nbBacktracks=130 nbVisitedNodes=3858 nbRestartNogoods=166
55.62 => wckTime=10.794 cpuTime=10.63 mem=18M276
57.61
57.61 search
57.61 run=5 nbConstraintChecks=71063128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2237
57.62 nbFailedAssignments=1998 nbBacktracks=205 nbVisitedNodes=4434 nbRestartNogoods=170
57.62 => wckTime=12.793 cpuTime=12.61 mem=18M276
60.31
60.31 search
60.31 run=6 nbConstraintChecks=81699549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2569
60.31 nbFailedAssignments=2212 nbBacktracks=319 nbVisitedNodes=5092 nbRestartNogoods=180
60.31 => wckTime=15.488 cpuTime=15.28 mem=18M276
64.64
64.64 search
64.64 run=7 nbConstraintChecks=104502357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3275
64.64 nbFailedAssignments=2744 nbBacktracks=490 nbVisitedNodes=6489 nbRestartNogoods=238
64.64 => wckTime=19.821 cpuTime=19.57 mem=18M276
71.27
71.27 search
71.27 run=8 nbConstraintChecks=131937701 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4100
71.27 nbFailedAssignments=3307 nbBacktracks=747 nbVisitedNodes=8130 nbRestartNogoods=243
71.27 => wckTime=26.447 cpuTime=26.15 mem=18M276
78.97
78.97 search
78.97 run=9 nbConstraintChecks=161722312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5084
78.97 nbFailedAssignments=3901 nbBacktracks=1131 nbVisitedNodes=10045 nbRestartNogoods=270
78.97 => wckTime=34.149 cpuTime=33.78 mem=18M276
91.99
91.99 search
91.99 run=10 nbConstraintChecks=212267278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6674
91.99 nbFailedAssignments=4910 nbBacktracks=1707 nbVisitedNodes=13163 nbRestartNogoods=406
91.99 => wckTime=47.171 cpuTime=46.68 mem=18M276
104.37 o 80
104.37 c 4
108.00
108.00 search
108.00 run=11 nbConstraintChecks=276224146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9039
108.00 nbFailedAssignments=6406 nbBacktracks=2571 nbVisitedNodes=17656 nbRestartNogoods=591
108.00 => wckTime=63.183 cpuTime=62.54 mem=18M276
134.02
134.02 search
134.02 run=12 nbConstraintChecks=374669852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12272
134.02 nbFailedAssignments=8336 nbBacktracks=3871 nbVisitedNodes=23950 nbRestartNogoods=604
134.02 => wckTime=89.202 cpuTime=88.33 mem=18M276
175.44
175.44 search
175.44 run=13 nbConstraintChecks=542238879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17702
175.44 nbFailedAssignments=11812 nbBacktracks=5819 nbVisitedNodes=34560 nbRestartNogoods=621
175.44 => wckTime=130.616 cpuTime=129.38 mem=18M276
240.13
240.13 search
240.13 run=14 nbConstraintChecks=798215370 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25960
240.13 nbFailedAssignments=17142 nbBacktracks=8738 nbVisitedNodes=50800 nbRestartNogoods=762
240.13 => wckTime=195.311 cpuTime=193.51 mem=18M276
325.79
325.79 search
325.79 run=15 nbConstraintChecks=1103356164 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36803
325.79 nbFailedAssignments=23602 nbBacktracks=13116 nbVisitedNodes=71422 nbRestartNogoods=807
325.79 => wckTime=280.971 cpuTime=278.4 mem=18M276
481.55
481.55 search
481.55 run=16 nbConstraintChecks=1785359086 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57321
481.55 nbFailedAssignments=37547 nbBacktracks=19684 nbVisitedNodes=111983 nbRestartNogoods=884
481.55 => wckTime=436.73 cpuTime=432.74 mem=18M276
649.52
649.52 search
649.52 run=17 nbConstraintChecks=2432429696 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=80091
649.52 nbFailedAssignments=50457 nbBacktracks=29536 nbVisitedNodes=155714 nbRestartNogoods=928
649.52 => wckTime=604.694 cpuTime=599.18 mem=18M276
944.59
944.59 search
944.59 run=18 nbConstraintChecks=3602666345 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117524
944.59 nbFailedAssignments=73102 nbBacktracks=44317 nbVisitedNodes=228616 nbRestartNogoods=1029
944.59 => wckTime=899.771 cpuTime=891.58 mem=18M276
1350.43
1350.44 search
1350.44 run=19 nbConstraintChecks=5251592396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174461
1350.44 nbFailedAssignments=107861 nbBacktracks=66487 nbVisitedNodes=338641 nbRestartNogoods=1062
1350.44 => wckTime=1305.613 cpuTime=1294.37 mem=18M276
1910.94 o 81
1910.94 c 3
1941.15 o 82
1941.15 c 2
1952.98
1952.98 search
1952.98 run=20 nbConstraintChecks=7756131398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258338
1952.98 nbFailedAssignments=158478 nbBacktracks=99739 nbVisitedNodes=500638 nbRestartNogoods=1094
1952.98 => wckTime=1908.162 cpuTime=1896.26 mem=18M276
2412.83 v 97 43 77 5 16 27 0 10 2 11 96 44 110 43 127 9 51 55 40 23 8 54 46 175 0 160 87 95 81 73 144 93 173 57 9 111 164 85 0 10
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-276599-1169241755 -o ROOT/results/node13/solver-276599-1169241755 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276599-1169241755/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.01 2.00 3/87 17092
/proc/meminfo: memFree=1348104/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=18540 CPUtime=0
/proc/17091/stat : 17091 (runsolver) R 17089 17091 16345 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272570530 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17091/statm: 4635 279 244 17 0 2626 0
[startup+0.108468 s]
/proc/loadavg: 2.02 2.01 2.00 3/87 17092
/proc/meminfo: memFree=1348104/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=914988 CPUtime=0.08
/proc/17091/stat : 17091 (java) D 17089 17091 16345 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 272570530 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516524 s]
/proc/loadavg: 2.02 2.01 2.00 3/87 17092
/proc/meminfo: memFree=1348104/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915332 CPUtime=0.49
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 7288 0 1 0 45 4 0 0 18 0 8 0 272570530 937299968 7027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073560942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228833 7027 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33963 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 17099
/proc/meminfo: memFree=1301776/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=1.3
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14239 0 1 0 122 8 0 0 25 0 8 0 272570530 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 13977 2476 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272570534 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.13
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 272570538 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 13977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 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) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.99285 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 17099
/proc/meminfo: memFree=1301712/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2.93
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14244 0 1 0 277 16 0 0 25 0 8 0 272570530 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 13981 2476 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.14
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 334 0 0 0 14 0 0 0 16 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.28729 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 17099
/proc/meminfo: memFree=1301584/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=6.21
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14244 0 1 0 593 28 0 0 25 0 8 0 272570530 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 13981 2476 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.14
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 334 0 0 0 14 0 0 0 16 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 13981 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.7722 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 17101
/proc/meminfo: memFree=1301648/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=12.64
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14246 0 1 0 1214 50 0 0 25 0 8 0 272570530 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 13983 2476 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.14
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915444
[startup+25.6129 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 17101
/proc/meminfo: memFree=1301776/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=25.36
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14246 0 1 0 2439 97 0 0 25 0 8 0 272570530 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 13983 2476 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.14
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
[startup+51.2253 s]
/proc/loadavg: 2.01 2.00 2.00 3/94 17101
/proc/meminfo: memFree=1301584/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=50.76
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14387 0 1 0 4907 169 0 0 25 0 8 0 272570530 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 14119 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 17 0 8 0 272570534 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.22
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 272570538 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 14119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915444
[startup+102.455 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17101
/proc/meminfo: memFree=1301584/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=101.53
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14405 0 1 0 9983 170 0 0 25 0 8 0 272570530 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17091/statm: 228861 14134 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.25
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 272570538 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272570538 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915444
[startup+162.529 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 17101
/proc/meminfo: memFree=1301584/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=161.07
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14407 0 1 0 15937 170 0 0 25 0 8 0 272570530 937414656 14135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.12
Current children cumulated vsize (KiB) 915444
[startup+2084.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 17183
/proc/meminfo: memFree=1293144/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2072.08
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 207024 184 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.08
Current children cumulated vsize (KiB) 915444
[startup+2144.44 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 17183
/proc/meminfo: memFree=1293144/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2132.04
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 213020 184 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.04
Current children cumulated vsize (KiB) 915444
[startup+2204.46 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 17183
/proc/meminfo: memFree=1293144/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2192.02
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 219017 185 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792589 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.02
Current children cumulated vsize (KiB) 915444
[startup+2264.48 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 17183
/proc/meminfo: memFree=1293080/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2251.95
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 225010 185 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682419 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.95
Current children cumulated vsize (KiB) 915444
[startup+2324.51 s]
/proc/loadavg: 2.13 2.03 2.01 5/107 17267
/proc/meminfo: memFree=1291880/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2311.92
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 231004 188 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.92
Current children cumulated vsize (KiB) 915444
[startup+2384.61 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 17381
/proc/meminfo: memFree=1292880/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2371.92
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 236998 194 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.92
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.82 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 17381
/proc/meminfo: memFree=1292888/2055920 swapFree=4169400/4192956
[pid=17091] ppid=17089 vsize=915444 CPUtime=2400.09
/proc/17091/stat : 17091 (java) R 17089 17091 16345 0 -1 0 14411 0 1 0 239815 194 0 0 25 0 8 0 272570530 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17091/statm: 228861 14136 2527 14 0 215331 0
[pid=17091/tid=17093] ppid=17089 vsize=915444 CPUtime=0.04
/proc/17091/task/17093/stat : 17093 (java) S 17089 17091 16345 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272570534 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17094] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17094/stat : 17094 (java) S 17089 17091 16345 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17095] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17095/stat : 17095 (java) S 17089 17091 16345 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272570535 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17096] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17096/stat : 17096 (java) S 17089 17091 16345 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17097] ppid=17089 vsize=915444 CPUtime=0.26
/proc/17091/task/17097/stat : 17097 (java) S 17089 17091 16345 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17091/tid=17098] ppid=17089 vsize=915444 CPUtime=0
/proc/17091/task/17098/stat : 17098 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17091/tid=17099] ppid=17089 vsize=915444 CPUtime=0.02
/proc/17091/task/17099/stat : 17099 (java) S 17089 17091 16345 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 272570538 937414656 14136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.87
CPU time (s): 2400.14
CPU user time (s): 2398.19
CPU system time (s): 1.9557
CPU usage (%): 99.4727
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.19
system time used= 1.9557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14431
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= 49914
involuntary context switches= 80686
runsolver used 3.70144 s user time and 7.9188 s system time
The end
Begin job on node13 on Fri Jan 19 21:22:35 UTC 2007
IDJOB= 276599
IDBENCH= 5885
IDSOLVER= 69
FILE ID= node13/276599-1169241755
PBS_JOBID= 3589018
Free space on /tmp= 66554 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276599-1169241755/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-276599-1169241755 -o ROOT/results/node13/solver-276599-1169241755 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276599-1169241755/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b5edf3320e80bd6231b487f32cfb536c
RANDOM SEED= 558893638
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.247
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.247
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: 1348584 kB
Buffers: 59612 kB
Cached: 524068 kB
SwapCached: 3092 kB
Active: 315268 kB
Inactive: 314636 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1348584 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 3488 kB
Writeback: 0 kB
Mapped: 54984 kB
Slab: 62060 kB
Committed_AS: 7552268 kB
PageTables: 2436 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= 66559 MiB
End job on node13 on Fri Jan 19 22:02:48 UTC 2007