0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276572-1169241177/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.113 cpuTime=0.1 mem=6M910
0.43
0.43 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.93 => wckTime=0.613 cpuTime=0.55 mem=36M423
0.98
0.98 solver LocalSearchSolver being built...
1.03 => wckTime=0.713 cpuTime=0.59 mem=7M382
1.04
1.04 s SATISFIABLE
1.04 o 12
1.04 c 72
1.04 o 16
1.04 c 68
1.04 o 19
1.04 c 65
1.05 o 22
1.05 c 62
1.05 o 25
1.05 c 59
1.05 o 28
1.05 c 56
1.05 o 30
1.05 c 54
1.05 o 32
1.05 c 52
1.06 o 34
1.06 c 50
1.06 o 36
1.06 c 48
1.06 o 38
1.06 c 46
1.06 o 40
1.06 c 44
1.06 o 42
1.06 c 42
1.07 o 44
1.07 c 40
1.07 o 46
1.07 c 38
1.07 o 48
1.07 c 36
1.07 o 50
1.07 c 34
1.07 o 52
1.07 c 32
1.07 o 54
1.07 c 30
1.07 o 56
1.07 c 28
1.07 o 57
1.07 c 27
1.07 o 59
1.07 c 25
1.08 o 60
1.08 c 24
1.08 o 61
1.08 c 23
1.08 o 62
1.08 c 22
1.10 o 63
1.10 c 21
1.11 o 64
1.11 c 20
1.11 o 65
1.11 c 19
1.11 o 66
1.11 c 18
1.11 o 67
1.11 c 17
1.13 o 68
1.13 c 16
1.13 o 69
1.13 c 15
1.14 o 71
1.14 c 13
1.14 o 72
1.14 c 12
1.14 o 73
1.14 c 11
1.22 o 74
1.22 c 10
1.38 o 75
1.38 c 9
1.38 o 76
1.38 c 8
1.43 o 77
1.43 c 7
2.18 o 78
2.18 c 6
2.18 o 79
2.18 c 5
2.34 o 80
2.34 c 4
11.19
11.19 search
11.19 run=0 nbConstraintChecks=85386720 nbAssignments=10000
11.19 => wckTime=10.165 cpuTime=10.06 mem=7M382
22.02
22.02 search
22.02 run=1 nbConstraintChecks=175095205 nbAssignments=20000
22.02 => wckTime=20.997 cpuTime=20.8 mem=7M382
32.31
32.31 search
32.31 run=2 nbConstraintChecks=259206283 nbAssignments=30000
32.31 => wckTime=31.284 cpuTime=30.99 mem=7M382
32.61
32.61 search
32.61 run=3 nbConstraintChecks=261656931 nbAssignments=30482
32.61 => wckTime=31.587 cpuTime=31.3 mem=7M382
32.61
32.61 global
32.61 nbConstraintChecks=261656931 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.61 solvingWckTime=31.583 solvingCpuTime=31.29 expiredTime=no totalExploration=no nbFoundSolutions=0
32.61 globalCpuTime=31.94
32.61 => wckTime=32.301 cpuTime=31.9 mem=7M382
32.61
32.62 solver IterativeSystematicSolver being built...
32.74 => wckTime=32.427 cpuTime=31.99 mem=18M335
32.75
32.75 preprocessing
32.75 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.75 detectedInconsistency=no
32.75 => wckTime=0.0070 cpuTime=0.01 mem=18M335
36.29
36.29 search
36.29 run=0 nbConstraintChecks=25465291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=816
36.29 nbFailedAssignments=801 nbBacktracks=10 nbVisitedNodes=1628 nbRestartNogoods=0
36.29 => wckTime=3.548 cpuTime=3.47 mem=18M335
39.99
39.99 search
39.99 run=1 nbConstraintChecks=48699709 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1821
39.99 nbFailedAssignments=1783 nbBacktracks=25 nbVisitedNodes=3630 nbRestartNogoods=24
39.99 => wckTime=7.245 cpuTime=7.11 mem=18M335
41.32
41.32 search
41.32 run=2 nbConstraintChecks=55394642 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2170
41.32 nbFailedAssignments=2097 nbBacktracks=47 nbVisitedNodes=4315 nbRestartNogoods=178
41.32 => wckTime=8.579 cpuTime=8.43 mem=18M335
42.83
42.83 search
42.83 run=3 nbConstraintChecks=63087277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2606
42.83 nbFailedAssignments=2487 nbBacktracks=80 nbVisitedNodes=5174 nbRestartNogoods=229
42.83 => wckTime=10.092 cpuTime=9.93 mem=18M335
50.93
50.93 search
50.93 run=4 nbConstraintChecks=129453826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4965
50.93 nbFailedAssignments=4787 nbBacktracks=130 nbVisitedNodes=9883 nbRestartNogoods=235
50.93 => wckTime=18.188 cpuTime=17.95 mem=18M335
52.61
52.61 search
52.61 run=5 nbConstraintChecks=139021146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5631
52.61 nbFailedAssignments=5364 nbBacktracks=205 nbVisitedNodes=11201 nbRestartNogoods=407
52.61 => wckTime=19.87 cpuTime=19.61 mem=18M335
69.37
69.37 search
69.37 run=6 nbConstraintChecks=283170380 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11470
69.37 nbFailedAssignments=11083 nbBacktracks=318 nbVisitedNodes=22869 nbRestartNogoods=543
69.37 => wckTime=36.628 cpuTime=36.21 mem=18M335
89.27
89.27 search
89.27 run=7 nbConstraintChecks=414498612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18614
89.27 nbFailedAssignments=18042 nbBacktracks=488 nbVisitedNodes=37142 nbRestartNogoods=607
89.27 => wckTime=56.533 cpuTime=55.95 mem=18M335
98.32
98.32 search
98.32 run=8 nbConstraintChecks=480103838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22191
98.32 nbFailedAssignments=21349 nbBacktracks=744 nbVisitedNodes=44282 nbRestartNogoods=686
98.32 => wckTime=65.576 cpuTime=64.92 mem=18M335
130.01
130.02 search
130.02 run=9 nbConstraintChecks=683944176 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30570
130.02 nbFailedAssignments=29336 nbBacktracks=1128 nbVisitedNodes=61025 nbRestartNogoods=946
130.02 => wckTime=97.274 cpuTime=96.33 mem=18M335
165.30
165.30 search
165.30 run=10 nbConstraintChecks=868288528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37426
165.30 nbFailedAssignments=35605 nbBacktracks=1704 nbVisitedNodes=74709 nbRestartNogoods=1086
165.30 => wckTime=132.555 cpuTime=131.29 mem=18M335
195.47
195.47 search
195.47 run=11 nbConstraintChecks=1033602410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48315
195.47 nbFailedAssignments=45613 nbBacktracks=2568 nbVisitedNodes=96447 nbRestartNogoods=1301
195.47 => wckTime=162.731 cpuTime=161.21 mem=18M335
233.38
233.38 search
233.38 run=12 nbConstraintChecks=1203278942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55884
233.38 nbFailedAssignments=51873 nbBacktracks=3865 nbVisitedNodes=111535 nbRestartNogoods=1555
233.38 => wckTime=200.641 cpuTime=198.79 mem=18M335
292.47
292.47 search
292.47 run=13 nbConstraintChecks=1467421412 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=65787
292.47 nbFailedAssignments=59822 nbBacktracks=5812 nbVisitedNodes=131227 nbRestartNogoods=1663
292.47 => wckTime=259.732 cpuTime=257.35 mem=18M335
331.80
331.80 search
331.80 run=14 nbConstraintChecks=1675919566 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77869
331.80 nbFailedAssignments=68967 nbBacktracks=8731 nbVisitedNodes=155301 nbRestartNogoods=1720
331.80 => wckTime=299.062 cpuTime=296.33 mem=18M335
424.31
424.31 search
424.31 run=15 nbConstraintChecks=2038699209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90679
424.31 nbFailedAssignments=77389 nbBacktracks=13110 nbVisitedNodes=179936 nbRestartNogoods=2041
424.31 => wckTime=391.571 cpuTime=388.01 mem=18M335
576.94
576.94 search
576.94 run=16 nbConstraintChecks=2634773544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=112753
576.94 nbFailedAssignments=92889 nbBacktracks=19678 nbVisitedNodes=223556 nbRestartNogoods=2132
576.94 => wckTime=544.196 cpuTime=539.28 mem=18M335
766.82
766.82 search
766.82 run=17 nbConstraintChecks=3427981126 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142090
766.82 nbFailedAssignments=112360 nbBacktracks=29531 nbVisitedNodes=281913 nbRestartNogoods=2173
766.82 => wckTime=734.079 cpuTime=727.49 mem=18M335
1057.54
1057.54 search
1057.54 run=18 nbConstraintChecks=4635423021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=184838
1057.55 nbFailedAssignments=140318 nbBacktracks=44309 nbVisitedNodes=365904 nbRestartNogoods=2398
1057.55 => wckTime=1024.803 cpuTime=1015.63 mem=18M335
1277.40 o 81
1277.40 c 3
1402.43
1402.43 search
1402.43 run=19 nbConstraintChecks=6079993902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241910
1402.43 nbFailedAssignments=175214 nbBacktracks=66477 nbVisitedNodes=473646 nbRestartNogoods=2459
1402.43 => wckTime=1369.688 cpuTime=1360.0 mem=19M306
1910.32
1910.32 search
1910.32 run=20 nbConstraintChecks=7974720961 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=320455
1910.32 nbFailedAssignments=220498 nbBacktracks=99729 nbVisitedNodes=619020 nbRestartNogoods=2564
1910.32 => wckTime=1877.578 cpuTime=1867.31 mem=19M306
2411.48 v 86 35 72 8 101 166 11 0 28 54 17 149 163 56 133 92 140 0 34 1 155 126 39 118 30 0 73 18 35 4 29 21 17 33 156 106 0 26 34 91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-276572-1169241177 -o ROOT/results/node12/solver-276572-1169241177 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/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.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=47416 CPUtime=0
/proc/29406/stat : 29406 (java) D 29404 29406 29002 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 272512790 48553984 960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29406/statm: 11854 960 760 14 0 1707 0
[startup+0.103739 s]
/proc/loadavg: 2.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=914988 CPUtime=0.09
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 272512790 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513809 s]
/proc/loadavg: 2.05 2.02 2.00 4/87 29407
/proc/meminfo: memFree=1328160/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915332 CPUtime=0.48
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 7218 0 1 0 45 3 0 0 18 0 8 0 272512790 937299968 6957 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073592159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228833 6957 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33795 s]
/proc/loadavg: 2.12 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281768/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=1.31
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14247 0 1 0 123 8 0 0 24 0 8 0 272512790 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13985 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272512794 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.11
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98325 s]
/proc/loadavg: 2.12 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281704/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2.94
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14253 0 1 0 279 15 0 0 25 0 8 0 272512790 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13990 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.12
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.27284 s]
/proc/loadavg: 2.11 2.04 2.01 4/94 29414
/proc/meminfo: memFree=1281640/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=6.19
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14253 0 1 0 592 27 0 0 25 0 8 0 272512790 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13990 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.12
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 335 0 0 0 12 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.757 s]
/proc/loadavg: 2.10 2.04 2.01 3/94 29414
/proc/meminfo: memFree=1281768/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=12.63
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14255 0 1 0 1210 53 0 0 25 0 8 0 272512790 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073683682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13992 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.13
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.6013 s]
/proc/loadavg: 2.09 2.04 2.00 3/94 29414
/proc/meminfo: memFree=1281896/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=25.37
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14255 0 1 0 2437 100 0 0 25 0 8 0 272512790 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 13992 2476 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.13
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 13992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2159 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 29414
/proc/meminfo: memFree=1281576/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=50.74
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14409 0 1 0 4946 128 0 0 25 0 8 0 272512790 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 14139 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.22
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 391 0 0 0 22 0 0 0 16 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 14139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.44 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 29414
/proc/meminfo: memFree=1281640/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=101.51
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14413 0 1 0 10022 129 0 0 25 0 8 0 272512790 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29406/statm: 228861 14141 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.22
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272512798 937414656 14141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915444
[startup+162.507 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 29414
/proc/meminfo: memFree=1281576/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=161.05
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14414 0 1 0 15976 129 0 0 25 0 8 0 272512790 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.17
Current children cumulated vsize (KiB) 915444
[startup+2084.82 s]
/proc/loadavg: 1.86 1.97 1.99 3/101 29583
/proc/meminfo: memFree=1304752/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2074.14
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 207271 143 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.14
Current children cumulated vsize (KiB) 915444
[startup+2144.92 s]
/proc/loadavg: 1.95 1.97 1.99 4/101 29583
/proc/meminfo: memFree=1305136/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2134.18
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 213274 144 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.18
Current children cumulated vsize (KiB) 915444
[startup+2204.94 s]
/proc/loadavg: 2.05 1.99 1.99 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2194.14
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 219270 144 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.14
Current children cumulated vsize (KiB) 915444
[startup+2264.95 s]
/proc/loadavg: 2.02 1.99 1.99 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2254.09
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 225264 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.09
Current children cumulated vsize (KiB) 915444
[startup+2324.99 s]
/proc/loadavg: 2.07 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305328/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2314.06
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 231261 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.06
Current children cumulated vsize (KiB) 915444
[startup+2385.04 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2373.79
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 237234 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.79
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.47 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 29583
/proc/meminfo: memFree=1305264/2055920 swapFree=4160348/4192956
[pid=29406] ppid=29404 vsize=915444 CPUtime=2400.06
/proc/29406/stat : 29406 (java) R 29404 29406 29002 0 -1 0 14418 0 1 0 239861 145 0 0 25 0 8 0 272512790 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29406/statm: 228861 14144 2527 14 0 215331 0
[pid=29406/tid=29408] ppid=29404 vsize=915444 CPUtime=0.04
/proc/29406/task/29408/stat : 29408 (java) S 29404 29406 29002 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272512794 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29409] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29409/stat : 29409 (java) S 29404 29406 29002 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29410] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29410/stat : 29410 (java) S 29404 29406 29002 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272512795 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29411] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29411/stat : 29411 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29412] ppid=29404 vsize=915444 CPUtime=0.23
/proc/29406/task/29412/stat : 29412 (java) S 29404 29406 29002 0 -1 64 398 0 0 0 23 0 0 0 16 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29413] ppid=29404 vsize=915444 CPUtime=0
/proc/29406/task/29413/stat : 29413 (java) S 29404 29406 29002 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29406/tid=29414] ppid=29404 vsize=915444 CPUtime=0.01
/proc/29406/task/29414/stat : 29414 (java) S 29404 29406 29002 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 272512798 937414656 14144 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.51
CPU time (s): 2400.1
CPU user time (s): 2398.64
CPU system time (s): 1.46378
CPU usage (%): 99.527
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.64
system time used= 1.46378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14437
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= 49902
involuntary context switches= 89417
runsolver used 2.98055 s user time and 7.72083 s system time
The end
Begin job on node12 on Fri Jan 19 21:12:58 UTC 2007
IDJOB= 276572
IDBENCH= 5870
IDSOLVER= 69
FILE ID= node12/276572-1169241177
PBS_JOBID= 3589024
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-276572-1169241177 -o ROOT/results/node12/solver-276572-1169241177 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276572-1169241177/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 34410238574fa0d1b325633cee1e3577
RANDOM SEED= 829051590
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.265
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.265
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: 1328640 kB
Buffers: 58652 kB
Cached: 511056 kB
SwapCached: 5164 kB
Active: 310856 kB
Inactive: 342104 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1328640 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3488 kB
Writeback: 0 kB
Mapped: 94408 kB
Slab: 59120 kB
Committed_AS: 7522764 kB
PageTables: 2200 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 node12 on Fri Jan 19 21:53:09 UTC 2007