0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=pfc.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/276428-1169237382/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.45 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.45
0.45 relations being loaded...
0.64
0.64 constraints being loaded...
0.73 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=2
0.73 => wckTime=0.377 cpuTime=0.31 mem=21M706
0.77
0.77 solver LocalSearchSolver being built...
0.82 => wckTime=0.47 cpuTime=0.36 mem=6M328
0.83
0.83 s SATISFIABLE
0.83 o 26
0.83 c 77
0.83 o 31
0.83 c 72
0.83 o 35
0.83 c 68
0.83 o 39
0.83 c 64
0.84 o 43
0.84 c 60
0.84 o 46
0.84 c 57
0.84 o 49
0.84 c 54
0.84 o 51
0.84 c 52
0.84 o 54
0.84 c 49
0.84 o 57
0.84 c 46
0.84 o 60
0.84 c 43
0.84 o 62
0.84 c 41
0.84 o 65
0.84 c 38
0.84 o 67
0.84 c 36
0.84 o 69
0.85 c 34
0.85 o 71
0.85 c 32
0.85 o 72
0.85 c 31
0.85 o 73
0.85 c 30
0.85 o 74
0.85 c 29
0.85 o 75
0.85 c 28
0.86 o 77
0.86 c 26
0.86 o 78
0.86 c 25
0.86 o 79
0.86 c 24
0.86 o 80
0.86 c 23
0.86 o 81
0.86 c 22
0.86 o 82
0.86 c 21
0.86 o 83
0.86 c 20
0.87 o 84
0.87 c 19
0.87 o 85
0.87 c 18
0.87 o 86
0.87 c 17
0.87 o 87
0.87 c 16
0.87 o 88
0.87 c 15
0.90 o 89
0.90 c 14
0.90 o 90
0.90 c 13
0.90 o 91
0.90 c 12
0.90 o 92
0.90 c 11
0.91 o 93
0.91 c 10
0.96 o 94
0.96 c 9
0.98 o 96
0.98 c 7
1.05 o 97
1.05 c 6
1.10 o 98
1.10 c 5
6.69
6.69 search
6.69 run=0 nbConstraintChecks=46589572 nbAssignments=10000
6.69 => wckTime=5.872 cpuTime=5.82 mem=6M328
12.27
12.27 search
12.27 run=1 nbConstraintChecks=91607709 nbAssignments=20000
12.27 => wckTime=11.449 cpuTime=11.37 mem=6M328
17.96
17.96 search
17.96 run=2 nbConstraintChecks=137845276 nbAssignments=30000
17.96 => wckTime=17.145 cpuTime=17.03 mem=6M328
18.55 o 99
18.55 c 4
23.52
23.52 search
23.52 run=3 nbConstraintChecks=182739728 nbAssignments=40000
23.52 => wckTime=22.704 cpuTime=22.57 mem=6M328
28.91
28.91 search
28.91 run=4 nbConstraintChecks=226000996 nbAssignments=50000
28.91 => wckTime=28.089 cpuTime=27.93 mem=6M328
34.83
34.83 search
34.83 run=5 nbConstraintChecks=274005813 nbAssignments=60000
34.83 => wckTime=34.009 cpuTime=33.82 mem=6M328
40.56
40.56 search
40.56 run=6 nbConstraintChecks=321152453 nbAssignments=70000
40.56 => wckTime=39.746 cpuTime=39.53 mem=6M328
46.18
46.18 search
46.18 run=7 nbConstraintChecks=366522351 nbAssignments=80000
46.18 => wckTime=45.364 cpuTime=45.13 mem=6M328
48.69
48.70 search
48.70 run=8 nbConstraintChecks=386698066 nbAssignments=84726
48.70 => wckTime=47.878 cpuTime=47.63 mem=6M328
48.70
48.70 global
48.70 nbConstraintChecks=386698066 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.70 solvingWckTime=47.873 solvingCpuTime=47.63 expiredTime=no totalExploration=no nbFoundSolutions=0
48.70 globalCpuTime=48.04
48.70 => wckTime=48.347 cpuTime=47.99 mem=6M328
48.70
48.70 solver IterativeSystematicSolver being built...
48.82 => wckTime=48.474 cpuTime=48.09 mem=17M235
48.83
48.83 preprocessing
48.83 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
48.83 detectedInconsistency=no
48.83 => wckTime=0.0070 cpuTime=0.0 mem=17M235
49.64
49.64 search
49.64 run=0 nbConstraintChecks=3962581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=357
49.64 nbFailedAssignments=340 nbBacktracks=10 nbVisitedNodes=708 nbRestartNogoods=0
49.64 => wckTime=0.817 cpuTime=0.78 mem=17M235
50.75
50.75 search
50.75 run=1 nbConstraintChecks=10158667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=884
50.75 nbFailedAssignments=845 nbBacktracks=25 nbVisitedNodes=1755 nbRestartNogoods=123
50.75 => wckTime=1.929 cpuTime=1.88 mem=17M235
52.63
52.63 search
52.63 run=2 nbConstraintChecks=19610259 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1977
52.63 nbFailedAssignments=1909 nbBacktracks=47 nbVisitedNodes=3934 nbRestartNogoods=217
52.63 => wckTime=3.806 cpuTime=3.72 mem=17M235
53.41
53.41 search
53.42 run=3 nbConstraintChecks=25031024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2380
53.42 nbFailedAssignments=2261 nbBacktracks=80 nbVisitedNodes=4722 nbRestartNogoods=252
53.42 => wckTime=4.59 cpuTime=4.49 mem=17M235
54.44
54.44 search
54.44 run=4 nbConstraintChecks=32392953 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2930
54.44 nbFailedAssignments=2743 nbBacktracks=130 nbVisitedNodes=5804 nbRestartNogoods=281
54.44 => wckTime=5.611 cpuTime=5.51 mem=17M235
55.22
55.22 search
55.22 run=5 nbConstraintChecks=35758155 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3555
55.22 nbFailedAssignments=3278 nbBacktracks=205 nbVisitedNodes=7039 nbRestartNogoods=295
55.22 => wckTime=6.397 cpuTime=6.29 mem=17M235
58.84
58.84 search
58.84 run=6 nbConstraintChecks=59177296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5881
58.84 nbFailedAssignments=5476 nbBacktracks=318 nbVisitedNodes=11676 nbRestartNogoods=412
58.84 => wckTime=10.019 cpuTime=9.89 mem=17M235
61.10
61.10 search
61.10 run=7 nbConstraintChecks=70234682 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7553
61.10 nbFailedAssignments=6964 nbBacktracks=488 nbVisitedNodes=15006 nbRestartNogoods=511
61.10 => wckTime=12.273 cpuTime=12.14 mem=17M235
63.32
63.32 search
63.32 run=8 nbConstraintChecks=83101023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9011
63.32 nbFailedAssignments=8150 nbBacktracks=744 nbVisitedNodes=17906 nbRestartNogoods=621
63.32 => wckTime=14.495 cpuTime=14.35 mem=17M235
66.66
66.66 search
66.66 run=9 nbConstraintChecks=98488298 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11233
66.66 nbFailedAssignments=9971 nbBacktracks=1128 nbVisitedNodes=22333 nbRestartNogoods=694
66.66 => wckTime=17.839 cpuTime=17.68 mem=17M235
75.30
75.30 search
75.30 run=10 nbConstraintChecks=141980612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16411
75.30 nbFailedAssignments=14558 nbBacktracks=1704 nbVisitedNodes=32674 nbRestartNogoods=758
75.30 => wckTime=26.473 cpuTime=26.27 mem=17M235
84.92
84.92 search
84.92 run=11 nbConstraintChecks=183874208 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19375
84.92 nbFailedAssignments=16650 nbBacktracks=2568 nbVisitedNodes=38593 nbRestartNogoods=816
84.92 => wckTime=36.099 cpuTime=35.84 mem=17M235
108.60
108.60 search
108.60 run=12 nbConstraintChecks=295509789 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28146
108.60 nbFailedAssignments=24116 nbBacktracks=3865 nbVisitedNodes=56124 nbRestartNogoods=848
108.60 => wckTime=59.78 cpuTime=59.41 mem=17M235
128.79
128.79 search
128.79 run=13 nbConstraintChecks=373990772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33960
128.79 nbFailedAssignments=27976 nbBacktracks=5811 nbVisitedNodes=67707 nbRestartNogoods=876
128.79 => wckTime=79.968 cpuTime=79.51 mem=17M235
159.68
159.68 search
159.68 run=14 nbConstraintChecks=513241548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45445
159.68 nbFailedAssignments=36532 nbBacktracks=8730 nbVisitedNodes=90594 nbRestartNogoods=889
159.68 => wckTime=110.856 cpuTime=110.26 mem=17M235
199.19
199.19 search
199.19 run=15 nbConstraintChecks=675393834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57593
199.19 nbFailedAssignments=44292 nbBacktracks=13108 nbVisitedNodes=114765 nbRestartNogoods=952
199.19 => wckTime=150.361 cpuTime=149.58 mem=17M235
248.59
248.59 search
248.59 run=16 nbConstraintChecks=866098382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72498
248.59 nbFailedAssignments=52617 nbBacktracks=19678 nbVisitedNodes=144495 nbRestartNogoods=969
248.59 => wckTime=199.767 cpuTime=198.75 mem=17M235
336.02
336.02 search
336.02 run=17 nbConstraintChecks=1224870197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100292
336.02 nbFailedAssignments=70551 nbBacktracks=29530 nbVisitedNodes=199794 nbRestartNogoods=1001
336.02 => wckTime=287.191 cpuTime=285.77 mem=17M235
438.55
438.55 search
438.55 run=18 nbConstraintChecks=1631289941 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133519
438.55 nbFailedAssignments=88990 nbBacktracks=44308 nbVisitedNodes=265994 nbRestartNogoods=1063
438.55 => wckTime=389.724 cpuTime=387.83 mem=17M235
612.12
612.12 search
612.12 run=19 nbConstraintChecks=2323579038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=183951
612.12 nbFailedAssignments=117249 nbBacktracks=66476 nbVisitedNodes=366663 nbRestartNogoods=1105
612.12 => wckTime=563.293 cpuTime=560.59 mem=17M235
878.71
878.72 search
878.72 run=20 nbConstraintChecks=3375858739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=264513
878.72 nbFailedAssignments=164552 nbBacktracks=99728 nbVisitedNodes=525603 nbRestartNogoods=1130
878.72 => wckTime=829.89 cpuTime=825.96 mem=17M235
1280.87
1280.87 search
1280.87 run=21 nbConstraintChecks=5042951699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=391431
1280.87 nbFailedAssignments=241583 nbBacktracks=149608 nbVisitedNodes=777381 nbRestartNogoods=1160
1280.87 => wckTime=1232.046 cpuTime=1227.47 mem=17M235
1902.69
1902.69 search
1902.69 run=22 nbConstraintChecks=7534336476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=588461
1902.69 nbFailedAssignments=363789 nbBacktracks=224426 nbVisitedNodes=1163519 nbRestartNogoods=1252
1902.69 => wckTime=1853.867 cpuTime=1848.68 mem=17M235
2274.09 o 100
2274.09 c 3
2405.92 v 70 25 40 57 18 39 15 0 68 0 0 61 41 1 4 12 58 24 76 9 61 45 0 79 54 68 39 50 42 17 35 45 27 13 50 5 59 47 24 62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node29/watcher-276428-1169237382 -o ROOT/results/node29/solver-276428-1169237382 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276428-1169237382/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.00 1.78 4/93 12584
/proc/meminfo: memFree=1351896/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=172 CPUtime=0
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272132365 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4129572 0 0 4096 0 0 0 0 17 0 0 0
/proc/12583/statm: 43 24 18 14 0 3 0
[startup+0.106647 s]
/proc/loadavg: 2.02 2.00 1.78 4/93 12584
/proc/meminfo: memFree=1351896/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=907808 CPUtime=0.05
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 2474 0 1 0 4 1 0 0 17 0 4 0 272132365 929595392 2221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153800985 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 226952 2221 1221 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.514673 s]
/proc/loadavg: 2.02 2.00 1.78 4/93 12584
/proc/meminfo: memFree=1351896/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915332 CPUtime=0.46
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 6698 0 1 0 41 5 0 0 18 0 8 0 272132365 937299968 6437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228833 6437 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33572 s]
/proc/loadavg: 2.02 2.00 1.78 3/100 12591
/proc/meminfo: memFree=1320736/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=1.27
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10424 0 1 0 117 10 0 0 25 0 8 0 272132365 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10162 2476 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.11
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272132377 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915444
[startup+2.97282 s]
/proc/loadavg: 2.02 2.00 1.78 3/100 12591
/proc/meminfo: memFree=1320736/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2.9
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10429 0 1 0 269 21 0 0 25 0 8 0 272132365 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10166 2476 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.12
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915444
[startup+6.26402 s]
/proc/loadavg: 2.02 2.00 1.78 3/100 12591
/proc/meminfo: memFree=1320736/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=6.17
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10429 0 1 0 576 41 0 0 25 0 8 0 272132365 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10166 2476 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.12
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10166 18446744073709551615 134512640 134570532 4294956480 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.7384 s]
/proc/loadavg: 2.02 2.00 1.79 3/100 12591
/proc/meminfo: memFree=1320736/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=12.62
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10431 0 1 0 1175 87 0 0 25 0 8 0 272132365 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10168 2476 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.12
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6062 s]
/proc/loadavg: 2.02 2.00 1.79 3/100 12591
/proc/meminfo: memFree=1320800/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=25.43
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10431 0 1 0 2360 183 0 0 25 0 8 0 272132365 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10168 2476 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.12
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 336 0 0 0 12 0 0 0 16 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915444
[startup+51.2128 s]
/proc/loadavg: 2.01 2.00 1.79 3/100 12591
/proc/meminfo: memFree=1320480/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=50.91
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10571 0 1 0 4741 350 0 0 25 0 8 0 272132365 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10305 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 17 0 8 0 272132372 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.2
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 272132377 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915444
[startup+102.421 s]
/proc/loadavg: 2.00 2.00 1.80 4/100 12591
/proc/meminfo: memFree=1320416/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=101.88
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10590 0 1 0 9837 351 0 0 25 0 8 0 272132365 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673355 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12583/statm: 228861 10320 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 272132377 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915444
[startup+162.473 s]
/proc/loadavg: 2.00 2.00 1.81 3/100 12591
/proc/meminfo: memFree=1320416/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=161.65
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10590 0 1 0 15814 351 0 0 25 0 8 0 272132365 937414656 10320 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.1
Current children cumulated vsize (KiB) 915444
[startup+2084.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2079.12
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 207551 361 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.12
Current children cumulated vsize (KiB) 915444
[startup+2144.78 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2139.13
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 213552 361 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.13
Current children cumulated vsize (KiB) 915444
[startup+2204.87 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2199.16
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 219555 361 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.16
Current children cumulated vsize (KiB) 915444
[startup+2264.95 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2259.19
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 225558 361 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.19
Current children cumulated vsize (KiB) 915444
[startup+2325.04 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2319.21
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 231559 362 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.21
Current children cumulated vsize (KiB) 915444
[startup+2385.12 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 12641
/proc/meminfo: memFree=1333088/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2379.25
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 237563 362 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791028 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.25
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2405.91 s]
/proc/loadavg: 2.00 2.00 1.93 4/93 12641
/proc/meminfo: memFree=1333152/2055920 swapFree=4161388/4192956
[pid=12583] ppid=12581 vsize=915444 CPUtime=2400.03
/proc/12583/stat : 12583 (java) R 12581 12583 12116 0 -1 0 10594 0 1 0 239641 362 0 0 25 0 8 0 272132365 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12583/statm: 228861 10321 2528 14 0 215331 0
[pid=12583/tid=12585] ppid=12581 vsize=915444 CPUtime=0.03
/proc/12583/task/12585/stat : 12585 (java) S 12581 12583 12116 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12586] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12586/stat : 12586 (java) S 12581 12583 12116 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12587] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12587/stat : 12587 (java) S 12581 12583 12116 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272132372 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12588] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12588/stat : 12588 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12589] ppid=12581 vsize=915444 CPUtime=0.23
/proc/12583/task/12589/stat : 12589 (java) S 12581 12583 12116 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12583/tid=12590] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12590/stat : 12590 (java) S 12581 12583 12116 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12583/tid=12591] ppid=12581 vsize=915444 CPUtime=0
/proc/12583/task/12591/stat : 12591 (java) S 12581 12583 12116 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272132377 937414656 10321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2405.95
CPU time (s): 2400.06
CPU user time (s): 2396.43
CPU system time (s): 3.63245
CPU usage (%): 99.7554
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.43
system time used= 3.63245
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10612
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= 49768
involuntary context switches= 90501
runsolver used 3.02854 s user time and 7.62884 s system time
The end
Begin job on node29 on Fri Jan 19 20:09:43 UTC 2007
IDJOB= 276428
IDBENCH= 5766
IDSOLVER= 69
FILE ID= node29/276428-1169237382
PBS_JOBID= 3589311
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276428-1169237382/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-276428-1169237382 -o ROOT/results/node29/solver-276428-1169237382 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276428-1169237382/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 01f6d45782dacf7980256bd8b86da3b5
RANDOM SEED= 73196994
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.241
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.241
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: 1352376 kB
Buffers: 39852 kB
Cached: 537112 kB
SwapCached: 2192 kB
Active: 194588 kB
Inactive: 438248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1352376 kB
SwapTotal: 4192956 kB
SwapFree: 4161388 kB
Dirty: 2468 kB
Writeback: 0 kB
Mapped: 81340 kB
Slab: 55316 kB
Committed_AS: 5846968 kB
PageTables: 2500 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 node29 on Fri Jan 19 20:49:49 UTC 2007