0.31
0.31 Abscon 109 (November, 2006)
0.31
0.32 configuration
0.32 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276554-1169240531/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.43
0.43 relations being loaded...
0.78
0.78 constraints being loaded...
0.92 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.92 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.92 => wckTime=0.603 cpuTime=0.54 mem=36M593
0.98
0.98 solver LocalSearchSolver being built...
1.02 => wckTime=0.704 cpuTime=0.58 mem=7M419
1.04
1.04 s SATISFIABLE
1.04 o 14
1.04 c 70
1.04 o 17
1.04 c 67
1.04 o 21
1.04 c 63
1.04 o 24
1.04 c 60
1.04 o 27
1.04 c 57
1.04 o 30
1.04 c 54
1.05 o 33
1.05 c 51
1.05 o 35
1.05 c 49
1.05 o 37
1.05 c 47
1.05 o 41
1.05 c 43
1.05 o 43
1.05 c 41
1.05 o 45
1.05 c 39
1.06 o 47
1.06 c 37
1.06 o 49
1.06 c 35
1.06 o 51
1.06 c 33
1.06 o 53
1.06 c 31
1.06 o 55
1.06 c 29
1.06 o 57
1.06 c 27
1.07 o 58
1.07 c 26
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.07 o 62
1.07 c 22
1.07 o 63
1.07 c 21
1.11 o 64
1.11 c 20
1.12 o 65
1.12 c 19
1.13 o 66
1.13 c 18
1.14 o 67
1.14 c 17
1.14 o 68
1.14 c 16
1.15 o 69
1.15 c 15
1.15 o 70
1.15 c 14
1.16 o 71
1.16 c 13
1.22 o 72
1.22 c 12
1.22 o 73
1.22 c 11
1.26 o 74
1.26 c 10
1.40 o 75
1.40 c 9
1.47 o 76
1.47 c 8
1.97 o 77
1.97 c 7
1.97 o 78
1.97 c 6
1.97 o 79
1.97 c 5
11.41
11.41 search
11.41 run=0 nbConstraintChecks=86557206 nbAssignments=10000
11.41 => wckTime=10.387 cpuTime=10.23 mem=7M419
20.96
20.96 search
20.96 run=1 nbConstraintChecks=167996292 nbAssignments=20000
20.96 => wckTime=19.936 cpuTime=19.69 mem=7M419
30.89
30.89 search
30.89 run=2 nbConstraintChecks=253177942 nbAssignments=30000
30.89 => wckTime=29.869 cpuTime=29.53 mem=7M419
32.29
32.30 search
32.30 run=3 nbConstraintChecks=265143227 nbAssignments=31562
32.30 => wckTime=31.275 cpuTime=30.93 mem=7M419
32.30
32.30 global
32.30 nbConstraintChecks=265143227 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.30 solvingWckTime=31.269 solvingCpuTime=30.93 expiredTime=no totalExploration=no nbFoundSolutions=0
32.30 globalCpuTime=31.57
32.30 => wckTime=31.979 cpuTime=31.51 mem=7M419
32.30
32.30 solver IterativeSystematicSolver being built...
32.42 => wckTime=32.106 cpuTime=31.6 mem=18M284
32.43
32.43 preprocessing
32.43 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.43 detectedInconsistency=no
32.43 => wckTime=0.0070 cpuTime=0.02 mem=18M284
35.37
35.37 search
35.37 run=0 nbConstraintChecks=13166683 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=407
35.37 nbFailedAssignments=392 nbBacktracks=10 nbVisitedNodes=810 nbRestartNogoods=0
35.37 => wckTime=2.945 cpuTime=2.89 mem=18M284
39.92
39.92 search
39.92 run=1 nbConstraintChecks=53527496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1643
39.92 nbFailedAssignments=1607 nbBacktracks=25 nbVisitedNodes=3276 nbRestartNogoods=78
39.92 => wckTime=7.499 cpuTime=7.37 mem=18M284
44.15
44.15 search
44.15 run=2 nbConstraintChecks=85604633 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2648
44.15 nbFailedAssignments=2584 nbBacktracks=47 nbVisitedNodes=5280 nbRestartNogoods=96
44.15 => wckTime=11.722 cpuTime=11.55 mem=18M284
53.24
53.24 search
53.24 run=3 nbConstraintChecks=167914197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5938
53.24 nbFailedAssignments=5833 nbBacktracks=80 nbVisitedNodes=11852 nbRestartNogoods=262
53.24 => wckTime=20.815 cpuTime=20.56 mem=18M284
75.46
75.54 search
75.54 run=4 nbConstraintChecks=362323091 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13646
75.54 nbFailedAssignments=13483 nbBacktracks=130 nbVisitedNodes=27260 nbRestartNogoods=386
75.54 => wckTime=43.03 cpuTime=42.61 mem=18M284
89.02
89.02 search
89.02 run=5 nbConstraintChecks=482650171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17546
89.02 nbFailedAssignments=17291 nbBacktracks=206 nbVisitedNodes=35044 nbRestartNogoods=498
89.02 => wckTime=56.593 cpuTime=56.16 mem=18M284
99.41
99.41 search
99.41 run=6 nbConstraintChecks=550237198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19016
99.41 nbFailedAssignments=18635 nbBacktracks=319 nbVisitedNodes=37971 nbRestartNogoods=642
99.41 => wckTime=66.983 cpuTime=66.55 mem=18M284
117.37
117.37 search
117.37 run=7 nbConstraintChecks=692045595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22375
117.37 nbFailedAssignments=21810 nbBacktracks=489 nbVisitedNodes=44675 nbRestartNogoods=750
117.37 => wckTime=84.947 cpuTime=84.48 mem=18M284
149.82
149.82 search
149.82 run=8 nbConstraintChecks=1003892923 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35118
149.82 nbFailedAssignments=34291 nbBacktracks=745 nbVisitedNodes=70154 nbRestartNogoods=958
149.82 => wckTime=117.399 cpuTime=116.91 mem=18M284
183.78
183.78 search
183.78 run=9 nbConstraintChecks=1317053262 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48298
183.78 nbFailedAssignments=47070 nbBacktracks=1129 nbVisitedNodes=96489 nbRestartNogoods=970
183.78 => wckTime=151.357 cpuTime=150.83 mem=18M284
218.22
218.22 search
218.22 run=10 nbConstraintChecks=1529932889 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54208
218.22 nbFailedAssignments=52398 nbBacktracks=1706 nbVisitedNodes=108302 nbRestartNogoods=1275
218.22 => wckTime=185.792 cpuTime=185.23 mem=18M284
249.38
249.38 search
249.38 run=11 nbConstraintChecks=1716989182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=60244
249.38 nbFailedAssignments=57564 nbBacktracks=2570 nbVisitedNodes=120365 nbRestartNogoods=1340
249.38 => wckTime=216.95 cpuTime=216.34 mem=18M284
280.59
280.59 search
280.59 run=12 nbConstraintChecks=1894883364 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65689
280.59 nbFailedAssignments=61705 nbBacktracks=3867 nbVisitedNodes=131246 nbRestartNogoods=1477
280.59 => wckTime=248.164 cpuTime=247.54 mem=18M284
326.43
326.43 search
326.43 run=13 nbConstraintChecks=2202254266 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76846
326.43 nbFailedAssignments=70909 nbBacktracks=5813 nbVisitedNodes=153553 nbRestartNogoods=1636
326.43 => wckTime=294.005 cpuTime=293.33 mem=18M284
409.86
409.86 search
409.86 run=14 nbConstraintChecks=2684018496 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93393
409.86 nbFailedAssignments=84530 nbBacktracks=8732 nbVisitedNodes=186609 nbRestartNogoods=1691
409.86 => wckTime=377.439 cpuTime=376.69 mem=18M284
506.12
506.12 search
506.12 run=15 nbConstraintChecks=3200148413 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109150
506.12 nbFailedAssignments=95903 nbBacktracks=13110 nbVisitedNodes=217933 nbRestartNogoods=1712
506.12 => wckTime=473.697 cpuTime=472.85 mem=18M284
666.15
666.15 search
666.15 run=16 nbConstraintChecks=3980106068 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=141067
666.15 nbFailedAssignments=121246 nbBacktracks=19678 nbVisitedNodes=280702 nbRestartNogoods=1815
666.15 => wckTime=633.721 cpuTime=632.7 mem=18M284
775.57 o 80
775.57 c 4
827.91
827.91 search
827.91 run=17 nbConstraintChecks=4680538303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=166934
827.91 nbFailedAssignments=137254 nbBacktracks=29530 nbVisitedNodes=330962 nbRestartNogoods=1972
827.91 => wckTime=795.481 cpuTime=794.21 mem=18M284
1098.96
1098.96 search
1098.96 run=18 nbConstraintChecks=5799926606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=208893
1098.96 nbFailedAssignments=164431 nbBacktracks=44308 nbVisitedNodes=412208 nbRestartNogoods=2070
1098.96 => wckTime=1066.531 cpuTime=1064.58 mem=19M252
1527.19
1527.19 search
1527.19 run=19 nbConstraintChecks=7495063799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=273029
1527.19 nbFailedAssignments=206396 nbBacktracks=66476 nbVisitedNodes=538199 nbRestartNogoods=2221
1527.19 => wckTime=1494.765 cpuTime=1490.49 mem=19M252
2001.21 o 81
2001.21 c 3
2190.37
2190.37 search
2190.37 run=20 nbConstraintChecks=10171538840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=375214
2190.37 nbFailedAssignments=275323 nbBacktracks=99728 nbVisitedNodes=736301 nbRestartNogoods=2348
2190.37 => wckTime=2157.944 cpuTime=2150.09 mem=19M252
2409.41 v 73 52 30 25 132 136 6 0 23 142 0 32 116 146 3 14 114 107 154 3 8 48 0 2 155 103 64 176 99 132 81 67 114 2 56 97 144 108 42 34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-276554-1169240531 -o ROOT/results/node26/solver-276554-1169240531 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276554-1169240531/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.03 2.01 1.97 4/100 29105
/proc/meminfo: memFree=1490096/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=18540 CPUtime=0
/proc/29104/stat : 29104 (runsolver) R 29102 29104 28288 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 272447347 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29104/statm: 4635 279 244 17 0 2626 0
[startup+0.104563 s]
/proc/loadavg: 2.03 2.01 1.97 4/100 29105
/proc/meminfo: memFree=1490096/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=914988 CPUtime=0.08
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 272447347 936947712 2698 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153791740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513602 s]
/proc/loadavg: 2.03 2.01 1.97 4/100 29105
/proc/meminfo: memFree=1490096/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915332 CPUtime=0.48
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 7238 0 1 0 45 3 0 0 18 0 8 0 272447347 937299968 6977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228833 6977 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33568 s]
/proc/loadavg: 2.03 2.01 1.97 3/107 29112
/proc/meminfo: memFree=1443640/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915448 CPUtime=1.29
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14242 0 1 0 121 8 0 0 25 0 8 0 272447347 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228862 13980 2476 14 0 215332 0
[pid=29104/tid=29106] ppid=29102 vsize=915448 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 614 0 0 0 3 0 0 0 17 0 8 0 272447351 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915448 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915448 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915448 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915448 CPUtime=0.12
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272447355 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915448 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915448 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937418752 13980 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.97283 s]
/proc/loadavg: 2.03 2.01 1.97 3/107 29112
/proc/meminfo: memFree=1443640/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2.9
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14247 0 1 0 275 15 0 0 25 0 8 0 272447347 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228861 13984 2476 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 614 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.13
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272447355 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 13984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 13984 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.25813 s]
/proc/loadavg: 2.03 2.01 1.97 3/101 29132
/proc/meminfo: memFree=1444584/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=6.15
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14248 0 1 0 588 27 0 0 25 0 8 0 272447347 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228861 13985 2476 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 614 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.13
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272447355 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 13985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915444
[startup+12.7397 s]
/proc/loadavg: 2.03 2.01 1.97 3/101 29132
/proc/meminfo: memFree=1444792/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=12.57
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14250 0 1 0 1203 54 0 0 25 0 8 0 272447347 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073677909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228861 13987 2476 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 614 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.13
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915444
[startup+25.6049 s]
/proc/loadavg: 2.02 2.01 1.97 3/101 29132
/proc/meminfo: memFree=1444984/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=25.32
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14250 0 1 0 2424 108 0 0 25 0 8 0 272447347 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228861 13987 2476 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 614 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.13
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 13987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915444
[startup+51.2173 s]
/proc/loadavg: 2.01 2.01 1.97 3/101 29132
/proc/meminfo: memFree=1444600/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=50.7
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14406 0 1 0 4935 135 0 0 25 0 8 0 272447347 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29104/statm: 228861 14135 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.23
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 390 0 0 0 22 1 0 0 17 0 8 0 272447355 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915444
[startup+102.474 s]
/proc/loadavg: 1.95 1.99 1.97 3/95 29212
/proc/meminfo: memFree=1441760/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=101.76
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14412 0 1 0 10040 136 0 0 25 0 8 0 272447347 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14139 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 915444
[startup+162.563 s]
/proc/loadavg: 1.98 1.99 1.97 3/94 29213
/proc/meminfo: memFree=1404904/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=161.77
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14414 0 1 0 16041 136 0 0 25 0 8 0 272447347 937414656 14139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2017.1
Current children cumulated vsize (KiB) 915444
[startup+2084.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2076.84
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 207544 140 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2076.84
Current children cumulated vsize (KiB) 915444
[startup+2144.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2136.55
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 213515 140 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2136.55
Current children cumulated vsize (KiB) 915444
[startup+2204.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2196.28
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 219488 140 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2196.28
Current children cumulated vsize (KiB) 915444
[startup+2264.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2256.01
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 225461 140 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2256.01
Current children cumulated vsize (KiB) 915444
[startup+2324.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2315.71
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 231431 140 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2315.71
Current children cumulated vsize (KiB) 915444
[startup+2384.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404584/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2375.45
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 237404 141 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2375.45
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 29215
/proc/meminfo: memFree=1404648/2055920 swapFree=4191880/4192956
[pid=29104] ppid=29102 vsize=915444 CPUtime=2400.09
/proc/29104/stat : 29104 (java) R 29102 29104 28288 0 -1 0 14420 0 1 0 239868 141 0 0 25 0 8 0 272447347 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29104/statm: 228861 14142 2527 14 0 215331 0
[pid=29104/tid=29106] ppid=29102 vsize=915444 CPUtime=0.03
/proc/29104/task/29106/stat : 29106 (java) S 29102 29104 28288 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272447351 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29107] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29107/stat : 29107 (java) S 29102 29104 28288 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29108] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29108/stat : 29108 (java) S 29102 29104 28288 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272447352 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29109] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29109/stat : 29109 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29110] ppid=29102 vsize=915444 CPUtime=0.24
/proc/29104/task/29110/stat : 29110 (java) S 29102 29104 28288 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29104/tid=29111] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29111/stat : 29111 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29104/tid=29112] ppid=29102 vsize=915444 CPUtime=0
/proc/29104/task/29112/stat : 29112 (java) S 29102 29104 28288 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272447355 937414656 14142 18446744073709551615 134512640 134570532 4294956480 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): 2409.46
CPU time (s): 2400.15
CPU user time (s): 2398.73
CPU system time (s): 1.41978
CPU usage (%): 99.6133
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.73
system time used= 1.41978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14438
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= 49864
involuntary context switches= 79625
runsolver used 3.00054 s user time and 7.67083 s system time
The end
Begin job on node26 on Fri Jan 19 21:02:11 UTC 2007
IDJOB= 276554
IDBENCH= 5858
IDSOLVER= 69
FILE ID= node26/276554-1169240531
PBS_JOBID= 3589308
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276554-1169240531/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-276554-1169240531 -o ROOT/results/node26/solver-276554-1169240531 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276554-1169240531/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fb4b4507e7f6489fee0b46aa958528d3
RANDOM SEED= 452603817
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.236
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.236
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: 1490512 kB
Buffers: 41324 kB
Cached: 374772 kB
SwapCached: 268 kB
Active: 264280 kB
Inactive: 232212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1490512 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3508 kB
Writeback: 0 kB
Mapped: 106156 kB
Slab: 53056 kB
Committed_AS: 4713100 kB
PageTables: 2596 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= 66555 MiB
End job on node26 on Fri Jan 19 21:42:20 UTC 2007