0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/276509-1169239208/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.48 => wckTime=0.192 cpuTime=0.07 mem=6M910
0.48
0.48 relations being loaded...
0.65
0.65 constraints being loaded...
0.74 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.74 => wckTime=0.448 cpuTime=0.3 mem=21M739
0.78
0.78 solver LocalSearchSolver being built...
0.82 => wckTime=0.535 cpuTime=0.33 mem=6M328
0.83
0.83 s SATISFIABLE
0.83 o 29
0.83 c 74
0.84 o 33
0.84 c 70
0.84 o 36
0.84 c 67
0.84 o 40
0.84 c 63
0.84 o 43
0.84 c 60
0.84 o 46
0.84 c 57
0.84 o 49
0.84 c 54
0.84 o 52
0.84 c 51
0.84 o 56
0.84 c 47
0.84 o 59
0.84 c 44
0.84 o 61
0.84 c 42
0.85 o 63
0.85 c 40
0.85 o 66
0.85 c 37
0.85 o 67
0.85 c 36
0.85 o 69
0.85 c 34
0.85 o 72
0.85 c 31
0.85 o 73
0.85 c 30
0.85 o 75
0.85 c 28
0.85 o 76
0.85 c 27
0.85 o 77
0.85 c 26
0.85 o 78
0.85 c 25
0.86 o 79
0.86 c 24
0.86 o 80
0.86 c 23
0.87 o 81
0.87 c 22
0.87 o 82
0.87 c 21
0.87 o 83
0.87 c 20
0.87 o 84
0.87 c 19
0.87 o 85
0.87 c 18
0.87 o 86
0.87 c 17
0.88 o 87
0.88 c 16
0.88 o 88
0.88 c 15
0.90 o 89
0.90 c 14
0.90 o 90
0.90 c 13
0.91 o 91
0.91 c 12
0.92 o 92
0.92 c 11
0.92 o 93
0.92 c 10
0.92 o 94
0.92 c 9
0.92 o 95
0.92 c 8
1.09 o 96
1.09 c 7
1.20 o 97
1.20 c 6
1.20 o 98
1.20 c 5
1.20 o 99
1.20 c 4
6.31
6.31 search
6.31 run=0 nbConstraintChecks=46014654 nbAssignments=10000
6.31 => wckTime=5.486 cpuTime=5.44 mem=6M328
11.82
11.82 search
11.82 run=1 nbConstraintChecks=94524002 nbAssignments=20000
11.82 => wckTime=10.995 cpuTime=10.93 mem=6M328
17.06
17.06 search
17.06 run=2 nbConstraintChecks=139890572 nbAssignments=30000
17.06 => wckTime=16.233 cpuTime=16.17 mem=6M328
22.48
22.48 search
22.48 run=3 nbConstraintChecks=187344821 nbAssignments=40000
22.48 => wckTime=21.652 cpuTime=21.59 mem=6M328
27.69
27.69 search
27.69 run=4 nbConstraintChecks=232774059 nbAssignments=50000
27.69 => wckTime=26.862 cpuTime=26.79 mem=6M328
31.26
31.26 search
31.26 run=5 nbConstraintChecks=263409461 nbAssignments=56916
31.26 => wckTime=30.44 cpuTime=30.37 mem=6M328
31.26
31.27 global
31.27 nbConstraintChecks=263409461 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.27 solvingWckTime=30.436 solvingCpuTime=30.36 expiredTime=no totalExploration=no nbFoundSolutions=0
31.27 globalCpuTime=30.76
31.27 => wckTime=30.975 cpuTime=30.7 mem=6M328
31.27
31.27 solver IterativeSystematicSolver being built...
31.38 => wckTime=31.095 cpuTime=30.79 mem=17M220
31.39
31.39 preprocessing
31.39 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.39 detectedInconsistency=no
31.39 => wckTime=0.0060 cpuTime=0.01 mem=17M220
31.68
31.68 search
31.68 run=0 nbConstraintChecks=1155777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163
31.68 nbFailedAssignments=140 nbBacktracks=10 nbVisitedNodes=314 nbRestartNogoods=0
31.68 => wckTime=0.297 cpuTime=0.27 mem=17M220
32.05
32.05 search
32.05 run=1 nbConstraintChecks=2939852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332
32.05 nbFailedAssignments=280 nbBacktracks=26 nbVisitedNodes=639 nbRestartNogoods=46
32.05 => wckTime=0.669 cpuTime=0.64 mem=17M220
33.34
33.34 search
33.34 run=2 nbConstraintChecks=9097332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=811
33.34 nbFailedAssignments=733 nbBacktracks=48 nbVisitedNodes=1593 nbRestartNogoods=114
33.34 => wckTime=1.951 cpuTime=1.91 mem=17M220
34.33
34.33 search
34.33 run=3 nbConstraintChecks=14391115 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1337
34.33 nbFailedAssignments=1217 nbBacktracks=81 nbVisitedNodes=2636 nbRestartNogoods=125
34.33 => wckTime=2.946 cpuTime=2.91 mem=17M220
35.49
35.49 search
35.49 run=4 nbConstraintChecks=20327790 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1879
35.49 nbFailedAssignments=1700 nbBacktracks=131 nbVisitedNodes=3711 nbRestartNogoods=255
35.49 => wckTime=4.1 cpuTime=4.04 mem=17M220
35.98
35.98 search
35.98 run=5 nbConstraintChecks=22629797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2232
35.98 nbFailedAssignments=1964 nbBacktracks=206 nbVisitedNodes=4403 nbRestartNogoods=381
35.98 => wckTime=4.593 cpuTime=4.53 mem=17M220
51.41
51.41 search
51.41 run=6 nbConstraintChecks=101950545 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7847
51.41 nbFailedAssignments=7456 nbBacktracks=319 nbVisitedNodes=15623 nbRestartNogoods=501
51.41 => wckTime=20.022 cpuTime=19.93 mem=17M220
55.44
55.44 search
55.44 run=7 nbConstraintChecks=123564946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9361
55.44 nbFailedAssignments=8787 nbBacktracks=489 nbVisitedNodes=18638 nbRestartNogoods=650
55.44 => wckTime=24.051 cpuTime=23.96 mem=17M220
65.31
65.31 search
65.31 run=8 nbConstraintChecks=181745411 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14702
65.31 nbFailedAssignments=13862 nbBacktracks=745 nbVisitedNodes=29310 nbRestartNogoods=887
65.31 => wckTime=33.922 cpuTime=33.82 mem=17M220
74.93
74.93 search
74.93 run=9 nbConstraintChecks=237516775 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20762
74.93 nbFailedAssignments=19525 nbBacktracks=1129 nbVisitedNodes=41417 nbRestartNogoods=1050
74.93 => wckTime=43.542 cpuTime=43.44 mem=17M220
86.11
86.11 search
86.11 run=10 nbConstraintChecks=301662812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26460
86.11 nbFailedAssignments=24632 nbBacktracks=1705 nbVisitedNodes=52798 nbRestartNogoods=1160
86.11 => wckTime=54.728 cpuTime=54.62 mem=17M220
116.09
116.09 search
116.09 run=11 nbConstraintChecks=460659174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38170
116.09 nbFailedAssignments=35473 nbBacktracks=2569 nbVisitedNodes=76181 nbRestartNogoods=1346
116.09 => wckTime=84.708 cpuTime=84.57 mem=17M220
151.83
151.83 search
151.83 run=12 nbConstraintChecks=664528512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55816
151.83 nbFailedAssignments=51803 nbBacktracks=3866 nbVisitedNodes=111381 nbRestartNogoods=1381
151.83 => wckTime=120.445 cpuTime=120.26 mem=17M220
173.98
173.98 search
173.98 run=13 nbConstraintChecks=780591881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72917
173.98 nbFailedAssignments=66938 nbBacktracks=5813 nbVisitedNodes=145554 nbRestartNogoods=1634
173.98 => wckTime=142.591 cpuTime=142.39 mem=17M220
225.55
225.55 search
225.55 run=14 nbConstraintChecks=1016152085 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92090
225.55 nbFailedAssignments=83185 nbBacktracks=8732 nbVisitedNodes=183869 nbRestartNogoods=1709
225.56 => wckTime=194.169 cpuTime=193.92 mem=17M220
284.45
284.45 search
284.45 run=15 nbConstraintChecks=1260954758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110043
284.45 nbFailedAssignments=96751 nbBacktracks=13110 nbVisitedNodes=219703 nbRestartNogoods=1817
284.45 => wckTime=253.061 cpuTime=252.72 mem=17M220
364.43
364.43 search
364.43 run=16 nbConstraintChecks=1572070088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136305
364.43 nbFailedAssignments=116438 nbBacktracks=19678 nbVisitedNodes=271950 nbRestartNogoods=1906
364.43 => wckTime=333.041 cpuTime=332.07 mem=17M220
469.72
469.72 search
469.72 run=17 nbConstraintChecks=1948497201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165819
469.72 nbFailedAssignments=136095 nbBacktracks=29531 nbVisitedNodes=330488 nbRestartNogoods=1922
469.72 => wckTime=438.336 cpuTime=436.41 mem=17M220
486.72 o 100
486.72 c 3
616.85
616.85 search
616.85 run=18 nbConstraintChecks=2424904629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207927
616.85 nbFailedAssignments=163417 nbBacktracks=44311 nbVisitedNodes=411779 nbRestartNogoods=2002
616.85 => wckTime=585.463 cpuTime=582.2 mem=17M220
838.84
838.84 search
838.84 run=19 nbConstraintChecks=3124842054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=269170
838.84 nbFailedAssignments=202488 nbBacktracks=66479 nbVisitedNodes=531404 nbRestartNogoods=2072
838.84 => wckTime=807.45 cpuTime=802.17 mem=17M220
1164.42
1164.42 search
1164.42 run=20 nbConstraintChecks=4138095812 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=360775
1164.42 nbFailedAssignments=260837 nbBacktracks=99731 nbVisitedNodes=707633 nbRestartNogoods=2099
1164.42 => wckTime=1133.035 cpuTime=1125.77 mem=17M220
1207.70 o 101
1207.70 c 2
1638.75
1638.75 search
1638.75 run=21 nbConstraintChecks=5568821779 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=491152
1638.75 nbFailedAssignments=341331 nbBacktracks=149610 nbVisitedNodes=952290 nbRestartNogoods=2167
1638.75 => wckTime=1607.365 cpuTime=1597.7 mem=17M220
2333.31
2333.31 search
2333.31 run=22 nbConstraintChecks=7650904712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=681421
2333.31 nbFailedAssignments=456777 nbBacktracks=224430 nbVisitedNodes=1308124 nbRestartNogoods=2175
2333.31 => wckTime=2301.927 cpuTime=2289.02 mem=17M220
2413.47 v 18 1 1 1 47 5 10 25 37 49 14 19 9 69 15 57 17 14 65 35 19 31 34 15 14 30 40 7 33 17 16 62 41 6 22 24 41 35 3 31
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-276509-1169239208 -o ROOT/results/node30/solver-276509-1169239208 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276509-1169239208/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.00 2.00 1.97 4/87 27780
/proc/meminfo: memFree=1520632/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=172 CPUtime=0
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 272314739 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7016747 0 0 4096 0 0 0 0 17 0 0 0
/proc/27779/statm: 43 24 18 14 0 3 0
[startup+0.108455 s]
/proc/loadavg: 2.00 2.00 1.97 4/87 27780
/proc/meminfo: memFree=1520632/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=914988 CPUtime=0.09
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 3084 0 1 0 8 1 0 0 22 0 8 0 272314739 936947712 2830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228747 2830 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516481 s]
/proc/loadavg: 2.00 2.00 1.97 4/87 27780
/proc/meminfo: memFree=1520632/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915332 CPUtime=0.4
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 6285 0 1 0 36 4 0 0 18 0 8 0 272314739 937299968 6024 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228833 6025 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915332
[startup+1.33953 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489600/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=1.22
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10432 0 1 0 112 10 0 0 25 0 8 0 272314739 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073676860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10170 2476 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915448 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937418752 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.12
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 331 0 0 0 11 1 0 0 15 0 8 0 272314746 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915444
[startup+2.99264 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489600/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2.87
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10436 0 1 0 264 23 0 0 25 0 8 0 272314739 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10173 2476 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.12
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 334 0 0 0 11 1 0 0 16 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915444
[startup+6.27784 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489472/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915448 CPUtime=6.14
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10436 0 1 0 571 43 0 0 25 0 8 0 272314739 937418752 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10173 2476 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.12
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 334 0 0 0 11 1 0 0 16 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915448
[startup+12.7773 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489472/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=12.63
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10438 0 1 0 1177 86 0 0 25 0 8 0 272314739 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10175 2476 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.13
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915444
[startup+25.628 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489536/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=25.47
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10438 0 1 0 2375 172 0 0 25 0 8 0 272314739 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073674921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10175 2476 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.13
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 336 0 0 0 12 1 0 0 16 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915444
[startup+51.2607 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489280/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=51.07
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10594 0 1 0 4892 215 0 0 25 0 8 0 272314739 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10326 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.21
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 389 0 0 0 20 1 0 0 15 0 8 0 272314746 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915444
[startup+102.522 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489280/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=102.29
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10600 0 1 0 10013 216 0 0 25 0 8 0 272314739 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27779/statm: 228861 10329 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.21
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 272314746 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 915444
[startup+162.531 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 27787
/proc/meminfo: memFree=1489216/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=162.24
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10601 0 1 0 16008 216 0 0 25 0 8 0 272314739 937414656 10329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.44
Current children cumulated vsize (KiB) 915444
[startup+2084.05 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28057
/proc/meminfo: memFree=1452176/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2072.22
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 206990 232 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.22
Current children cumulated vsize (KiB) 915444
[startup+2144.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28057
/proc/meminfo: memFree=1452112/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2131.98
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 212966 232 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.98
Current children cumulated vsize (KiB) 915444
[startup+2204.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28057
/proc/meminfo: memFree=1452112/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2191.75
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 218942 233 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.75
Current children cumulated vsize (KiB) 915444
[startup+2264.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28057
/proc/meminfo: memFree=1452112/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2251.51
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 224918 233 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073673523 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.51
Current children cumulated vsize (KiB) 915444
[startup+2324.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28057
/proc/meminfo: memFree=1452112/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2311.28
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 230894 234 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.28
Current children cumulated vsize (KiB) 915444
[startup+2384.27 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28059
/proc/meminfo: memFree=1452048/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2371.04
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 236870 234 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.04
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.46 s]
/proc/loadavg: 2.06 2.01 2.00 3/100 28059
/proc/meminfo: memFree=1452112/2055920 swapFree=4167328/4192956
[pid=27779] ppid=27777 vsize=915444 CPUtime=2400.1
/proc/27779/stat : 27779 (java) R 27777 27779 27173 0 -1 0 10605 0 1 0 239776 234 0 0 25 0 8 0 272314739 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27779/statm: 228861 10331 2527 14 0 215331 0
[pid=27779/tid=27781] ppid=27777 vsize=915444 CPUtime=0.03
/proc/27779/task/27781/stat : 27781 (java) S 27777 27779 27173 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272314742 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27782] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27782/stat : 27782 (java) S 27777 27779 27173 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27783] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27783/stat : 27783 (java) S 27777 27779 27173 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272314743 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27784] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27784/stat : 27784 (java) S 27777 27779 27173 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27785] ppid=27777 vsize=915444 CPUtime=0.22
/proc/27779/task/27785/stat : 27785 (java) S 27777 27779 27173 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27779/tid=27786] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27786/stat : 27786 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27779/tid=27787] ppid=27777 vsize=915444 CPUtime=0
/proc/27779/task/27787/stat : 27787 (java) S 27777 27779 27173 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272314746 937414656 10331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.52
CPU time (s): 2400.17
CPU user time (s): 2397.81
CPU system time (s): 2.35364
CPU usage (%): 99.4466
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.81
system time used= 2.35364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10625
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= 49999
involuntary context switches= 52085
runsolver used 3.08153 s user time and 7.32888 s system time
The end
Begin job on node30 on Fri Jan 19 20:40:08 UTC 2007
IDJOB= 276509
IDBENCH= 5815
IDSOLVER= 69
FILE ID= node30/276509-1169239208
PBS_JOBID= 3589307
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276509-1169239208/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-276509-1169239208 -o ROOT/results/node30/solver-276509-1169239208 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276509-1169239208/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 42f6f08b863c15542d3855468bce8333
RANDOM SEED= 578137612
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.234
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.234
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: 1521048 kB
Buffers: 37876 kB
Cached: 372720 kB
SwapCached: 2164 kB
Active: 178612 kB
Inactive: 278344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1521048 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 2436 kB
Writeback: 0 kB
Mapped: 63840 kB
Slab: 62664 kB
Committed_AS: 4926320 kB
PageTables: 2280 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 node30 on Fri Jan 19 21:20:22 UTC 2007