0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276536-1169239811/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.44 => wckTime=0.105 cpuTime=0.1 mem=6M910
0.44
0.44 relations being loaded...
0.80
0.80 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=7 maxArity=2
0.93 => wckTime=0.601 cpuTime=0.54 mem=36M368
0.99
0.99 solver LocalSearchSolver being built...
1.03 => wckTime=0.7 cpuTime=0.58 mem=7M417
1.04
1.04 s SATISFIABLE
1.04 o 12
1.04 c 72
1.05 o 16
1.05 c 68
1.05 o 19
1.05 c 65
1.05 o 22
1.05 c 62
1.05 o 25
1.05 c 59
1.05 o 28
1.05 c 56
1.06 o 31
1.06 c 53
1.06 o 34
1.06 c 50
1.06 o 37
1.06 c 47
1.06 o 39
1.06 c 45
1.06 o 40
1.06 c 44
1.06 o 42
1.06 c 42
1.07 o 43
1.07 c 41
1.07 o 45
1.07 c 39
1.07 o 47
1.07 c 37
1.07 o 49
1.07 c 35
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.08 o 57
1.08 c 27
1.08 o 58
1.08 c 26
1.08 o 59
1.08 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.09 o 64
1.09 c 20
1.10 o 65
1.10 c 19
1.10 o 66
1.10 c 18
1.11 o 67
1.11 c 17
1.11 o 68
1.11 c 16
1.13 o 69
1.14 c 15
1.14 o 70
1.14 c 14
1.14 o 71
1.14 c 13
1.14 o 72
1.14 c 12
1.16 o 73
1.16 c 11
1.17 o 74
1.17 c 10
1.18 o 75
1.18 c 9
1.22 o 76
1.22 c 8
1.22 o 77
1.22 c 7
1.33 o 78
1.33 c 6
3.04 o 79
3.04 c 5
11.63
11.63 search
11.63 run=0 nbConstraintChecks=89791381 nbAssignments=10000
11.63 => wckTime=10.597 cpuTime=10.47 mem=7M417
23.32
23.32 search
23.32 run=1 nbConstraintChecks=187347355 nbAssignments=20000
23.33 => wckTime=22.295 cpuTime=22.08 mem=7M417
33.31
33.31 search
33.31 run=2 nbConstraintChecks=269254509 nbAssignments=29693
33.31 => wckTime=32.276 cpuTime=31.98 mem=7M417
33.31
33.31 global
33.31 nbConstraintChecks=269254509 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.31 solvingWckTime=32.272 solvingCpuTime=31.97 expiredTime=no totalExploration=no nbFoundSolutions=0
33.31 globalCpuTime=32.6
33.31 => wckTime=32.977 cpuTime=32.56 mem=7M417
33.31
33.31 solver IterativeSystematicSolver being built...
33.44 => wckTime=33.105 cpuTime=32.66 mem=18M316
33.44
33.44 preprocessing
33.44 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.44 detectedInconsistency=no
33.44 => wckTime=0.0070 cpuTime=0.0 mem=18M316
35.99
35.99 search
35.99 run=0 nbConstraintChecks=16236177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=562
35.99 nbFailedAssignments=544 nbBacktracks=10 nbVisitedNodes=1117 nbRestartNogoods=0
35.99 => wckTime=2.555 cpuTime=2.49 mem=18M316
37.18
37.18 search
37.18 run=1 nbConstraintChecks=22934344 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=891
37.18 nbFailedAssignments=842 nbBacktracks=25 nbVisitedNodes=1759 nbRestartNogoods=101
37.18 => wckTime=3.741 cpuTime=3.66 mem=18M316
45.27
45.27 search
45.27 run=2 nbConstraintChecks=71549746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2651
45.27 nbFailedAssignments=2574 nbBacktracks=47 nbVisitedNodes=5273 nbRestartNogoods=224
45.27 => wckTime=11.837 cpuTime=11.65 mem=18M316
62.62
62.62 search
62.62 run=3 nbConstraintChecks=237961334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6998
62.62 nbFailedAssignments=6869 nbBacktracks=80 nbVisitedNodes=13948 nbRestartNogoods=329
62.62 => wckTime=29.186 cpuTime=28.93 mem=18M316
75.57
75.57 search
75.57 run=4 nbConstraintChecks=331883474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10836
75.57 nbFailedAssignments=10649 nbBacktracks=130 nbVisitedNodes=21616 nbRestartNogoods=628
75.57 => wckTime=42.137 cpuTime=41.85 mem=18M316
88.60
88.60 search
88.60 run=5 nbConstraintChecks=419162935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14681
88.60 nbFailedAssignments=14406 nbBacktracks=205 nbVisitedNodes=29293 nbRestartNogoods=750
88.60 => wckTime=55.163 cpuTime=54.86 mem=18M316
102.22
102.22 search
102.22 run=6 nbConstraintChecks=540479876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19650
102.22 nbFailedAssignments=19251 nbBacktracks=318 nbVisitedNodes=39220 nbRestartNogoods=965
102.22 => wckTime=68.785 cpuTime=68.47 mem=18M316
104.58
104.58 search
104.58 run=7 nbConstraintChecks=558151332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21037
104.58 nbFailedAssignments=20452 nbBacktracks=488 nbVisitedNodes=41978 nbRestartNogoods=1184
104.58 => wckTime=71.144 cpuTime=70.83 mem=18M316
122.57
122.57 search
122.57 run=8 nbConstraintChecks=703657873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27416
122.57 nbFailedAssignments=26563 nbBacktracks=744 nbVisitedNodes=54724 nbRestartNogoods=1605
122.57 => wckTime=89.139 cpuTime=88.78 mem=18M316
150.11
150.11 search
150.11 run=9 nbConstraintChecks=868966316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33372
150.11 nbFailedAssignments=32130 nbBacktracks=1128 nbVisitedNodes=66630 nbRestartNogoods=1662
150.11 => wckTime=116.674 cpuTime=116.32 mem=18M316
194.87
194.87 search
194.87 run=10 nbConstraintChecks=1180274855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47622
194.87 nbFailedAssignments=45798 nbBacktracks=1704 nbVisitedNodes=95122 nbRestartNogoods=1772
194.87 => wckTime=161.431 cpuTime=161.02 mem=18M316
221.95
221.95 search
221.95 run=11 nbConstraintChecks=1332993781 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53795
221.95 nbFailedAssignments=51100 nbBacktracks=2569 nbVisitedNodes=107462 nbRestartNogoods=1797
221.95 => wckTime=188.518 cpuTime=188.06 mem=18M316
269.14
269.14 search
269.14 run=12 nbConstraintChecks=1584841649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62196
269.14 nbFailedAssignments=58197 nbBacktracks=3866 nbVisitedNodes=124252 nbRestartNogoods=1803
269.14 => wckTime=235.704 cpuTime=235.19 mem=18M316
331.09
331.09 search
331.09 run=13 nbConstraintChecks=1898679218 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=72518
331.09 nbFailedAssignments=66567 nbBacktracks=5812 nbVisitedNodes=144847 nbRestartNogoods=1876
331.09 => wckTime=297.65 cpuTime=297.08 mem=18M316
420.42
420.42 search
420.42 run=14 nbConstraintChecks=2297836399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85344
420.42 nbFailedAssignments=76466 nbBacktracks=8731 nbVisitedNodes=170466 nbRestartNogoods=1911
420.42 => wckTime=386.987 cpuTime=386.31 mem=18M316
527.05
527.05 search
527.05 run=15 nbConstraintChecks=2784934281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=99358
527.05 nbFailedAssignments=86098 nbBacktracks=13109 nbVisitedNodes=198361 nbRestartNogoods=1921
527.05 => wckTime=493.617 cpuTime=492.81 mem=18M316
668.78
668.78 search
668.78 run=16 nbConstraintChecks=3389007718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119232
668.78 nbFailedAssignments=99395 nbBacktracks=19677 nbVisitedNodes=237836 nbRestartNogoods=2013
668.78 => wckTime=635.346 cpuTime=634.36 mem=18M316
884.17
884.17 search
884.17 run=17 nbConstraintChecks=4361731075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=150509
884.17 nbFailedAssignments=120815 nbBacktracks=29530 nbVisitedNodes=299818 nbRestartNogoods=2038
884.17 => wckTime=850.732 cpuTime=849.47 mem=18M316
949.62 o 80
949.62 c 4
1056.09 o 81
1056.09 c 3
1129.09 o 82
1129.09 c 2
1159.41
1159.41 search
1159.41 run=18 nbConstraintChecks=5562898753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=194704
1159.41 nbFailedAssignments=150224 nbBacktracks=44308 nbVisitedNodes=386121 nbRestartNogoods=2062
1159.41 => wckTime=1125.972 cpuTime=1124.41 mem=18M316
1540.61
1540.61 search
1540.61 run=19 nbConstraintChecks=6861232317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=249027
1540.61 nbFailedAssignments=182375 nbBacktracks=66477 nbVisitedNodes=485337 nbRestartNogoods=2098
1540.61 => wckTime=1507.173 cpuTime=1505.1 mem=18M316
1808.11 o 83
1808.11 c 1
1890.84
1890.84 search
1890.84 run=20 nbConstraintChecks=8071819488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=297584
1890.84 nbFailedAssignments=210087 nbBacktracks=87322 nbVisitedNodes=572656 nbRestartNogoods=2224
1890.84 => wckTime=1857.401 cpuTime=1854.94 mem=18M316
1890.84
1890.84 global
1890.84 nbConstraintChecks=8071819488 nbRestartNogoods=2224 solvingWckTime=1857.402 solvingCpuTime=1854.94
1890.84 expiredTime=no totalExploration=yes nbFoundSolutions=4 globalCpuTime=1887.64
1890.84 => wckTime=1890.507 cpuTime=1887.6 mem=19M287
1890.84
1890.84 s OPTIMUM FOUND
1890.84 v 56 7 172 100 18 156 78 107 161 0 21 64 61 40 176 56 137 45 170 44 100 20 96 99 169 48 171 5 103 124 111 3 62 41 148 5 29 16 75 15
1890.84
1890.84 totalWckTime=1890.586 totalCpuTime=1887.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-276536-1169239811 -o ROOT/results/node11/solver-276536-1169239811 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276536-1169239811/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.01 2.00 4/86 13045
/proc/meminfo: memFree=1283352/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=18540 CPUtime=0
/proc/13044/stat : 13044 (runsolver) R 13042 13044 12314 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272376161 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13044/statm: 4635 279 244 17 0 2626 0
[startup+0.104075 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 13045
/proc/meminfo: memFree=1283352/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=912432 CPUtime=0.07
/proc/13044/stat : 13044 (java) D 13042 13044 12314 0 -1 0 2745 0 1 0 6 1 0 0 17 0 8 0 272376161 934330368 2491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228108 2491 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.514157 s]
/proc/loadavg: 2.00 2.01 2.00 4/86 13045
/proc/meminfo: memFree=1283352/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915332 CPUtime=0.48
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 7065 0 1 0 43 5 0 0 18 0 8 0 272376161 937299968 6804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073590939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228833 6804 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33532 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1236960/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1.28
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14241 0 1 0 119 9 0 0 25 0 8 0 272376161 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073682419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 13979 2476 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272376165 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.12
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272376169 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 13979 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915444
[startup+2.97264 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1236896/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=2.91
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14245 0 1 0 275 16 0 0 25 0 8 0 272376161 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 13982 2476 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272376165 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.13
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 333 0 0 0 13 0 0 0 15 0 8 0 272376169 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 13982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915444
[startup+6.27129 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1236768/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=6.18
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14246 0 1 0 588 30 0 0 25 0 8 0 272376161 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 13983 2476 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.13
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272376169 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 13983 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.7487 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1236832/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=12.59
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14248 0 1 0 1206 53 0 0 25 0 8 0 272376161 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 13985 2476 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.13
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 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) 12.59
Current children cumulated vsize (KiB) 915444
[startup+25.6091 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1237024/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=25.35
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14248 0 1 0 2435 100 0 0 25 0 8 0 272376161 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073684284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 13985 2476 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.13
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 13985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 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) 25.35
Current children cumulated vsize (KiB) 915444
[startup+51.2252 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 13052
/proc/meminfo: memFree=1236640/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=50.74
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14404 0 1 0 4944 130 0 0 25 0 8 0 272376161 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13044/statm: 228861 14134 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.24
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 272376169 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.478 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 13131
/proc/meminfo: memFree=1228456/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=101.92
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14409 0 1 0 10061 131 0 0 25 0 8 0 272376161 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14137 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.24
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 272376169 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915444
[startup+162.493 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 13131
/proc/meminfo: memFree=1228328/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=161.86
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14410 0 1 0 16054 132 0 0 25 0 8 0 272376161 937414656 14137 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1420.85
Current children cumulated vsize (KiB) 915444
[startup+1482.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13329
/proc/meminfo: memFree=1228136/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1480.81
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 147938 143 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.81
Current children cumulated vsize (KiB) 915444
[startup+1542.98 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13329
/proc/meminfo: memFree=1228200/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1540.66
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 153923 143 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.66
Current children cumulated vsize (KiB) 915444
[startup+1603 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13329
/proc/meminfo: memFree=1228136/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1600.6
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 159917 143 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073874032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.6
Current children cumulated vsize (KiB) 915444
[startup+1663.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13329
/proc/meminfo: memFree=1228200/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1660.56
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 165913 143 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.56
Current children cumulated vsize (KiB) 915444
[startup+1723.05 s]
/proc/loadavg: 2.05 2.01 2.00 3/94 13329
/proc/meminfo: memFree=1228136/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1720.53
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 171909 144 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (KiB) 915444
[startup+1783.07 s]
/proc/loadavg: 2.02 2.01 2.00 3/94 13329
/proc/meminfo: memFree=1228136/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1780.48
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14415 0 1 0 177904 144 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.48
Current children cumulated vsize (KiB) 915444
[startup+1843.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13329
/proc/meminfo: memFree=1228136/2055920 swapFree=4171812/4192956
[pid=13044] ppid=13042 vsize=915444 CPUtime=1840.44
/proc/13044/stat : 13044 (java) R 13042 13044 12314 0 -1 0 14416 0 1 0 183900 144 0 0 25 0 8 0 272376161 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13044/statm: 228861 14140 2527 14 0 215331 0
[pid=13044/tid=13046] ppid=13042 vsize=915444 CPUtime=0.03
/proc/13044/task/13046/stat : 13046 (java) S 13042 13044 12314 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272376165 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13047] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13047/stat : 13047 (java) S 13042 13044 12314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13048] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13048/stat : 13048 (java) S 13042 13044 12314 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272376166 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13049] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13049/stat : 13049 (java) S 13042 13044 12314 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13050] ppid=13042 vsize=915444 CPUtime=0.25
/proc/13044/task/13050/stat : 13050 (java) S 13042 13044 12314 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13044/tid=13051] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13051/stat : 13051 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13044/tid=13052] ppid=13042 vsize=915444 CPUtime=0
/proc/13044/task/13052/stat : 13052 (java) S 13042 13044 12314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272376169 937414656 14140 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1840.44
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1890.9
CPU time (s): 1888.16
CPU user time (s): 1886.71
CPU system time (s): 1.45378
CPU usage (%): 99.855
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1886.71
system time used= 1.45378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14428
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= 39404
involuntary context switches= 53809
runsolver used 2.34464 s user time and 6.05308 s system time
The end
Begin job on node11 on Fri Jan 19 20:50:11 UTC 2007
IDJOB= 276536
IDBENCH= 5840
IDSOLVER= 69
FILE ID= node11/276536-1169239811
PBS_JOBID= 3589009
Free space on /tmp= 66557 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276536-1169239811/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-276536-1169239811 -o ROOT/results/node11/solver-276536-1169239811 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276536-1169239811/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 249ce723fb04f168e7430a752a69f18d
RANDOM SEED= 754057808
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.261
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 : 5931.00
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.261
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: 1283832 kB
Buffers: 62104 kB
Cached: 578008 kB
SwapCached: 2828 kB
Active: 224936 kB
Inactive: 468420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1283832 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 3548 kB
Writeback: 0 kB
Mapped: 71604 kB
Slab: 63556 kB
Committed_AS: 8088732 kB
PageTables: 2340 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= 66554 MiB
End job on node11 on Fri Jan 19 21:21:42 UTC 2007