0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276047-1169230889/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.43
0.43 relations being loaded...
0.71
0.71 constraints being loaded...
0.87 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.87 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.87 => wckTime=0.544 cpuTime=0.48 mem=43M447
0.96
0.96 solver LocalSearchSolver being built...
1.00 => wckTime=0.673 cpuTime=0.53 mem=12M445
1.01
1.01 s SATISFIABLE
1.01 o 27
1.01 c 32
1.01 o 32
1.01 c 27
1.01 o 35
1.01 c 24
1.01 o 38
1.01 c 21
1.02 o 40
1.02 c 19
1.02 o 43
1.02 c 16
1.02 o 44
1.02 c 15
1.02 o 46
1.02 c 13
1.02 o 47
1.02 c 12
1.04 o 49
1.04 c 10
1.04 o 50
1.04 c 9
1.04 o 51
1.04 c 8
1.05 o 52
1.05 c 7
1.07 o 53
1.07 c 6
1.07 o 54
1.07 c 5
1.78 o 55
1.78 c 4
2.38 o 56
2.38 c 3
10.26
10.26 search
10.26 run=0 nbConstraintChecks=11137798 nbAssignments=10000
10.26 => wckTime=9.266 cpuTime=9.19 mem=12M445
19.12
19.12 search
19.12 run=1 nbConstraintChecks=22244744 nbAssignments=20000
19.12 => wckTime=18.126 cpuTime=18.05 mem=12M445
28.03
28.03 search
28.03 run=2 nbConstraintChecks=33397866 nbAssignments=30000
28.03 => wckTime=27.037 cpuTime=26.95 mem=12M445
32.45
32.45 search
32.45 run=3 nbConstraintChecks=38908176 nbAssignments=34747
32.45 => wckTime=31.452 cpuTime=31.37 mem=12M445
32.45
32.45 global
32.45 nbConstraintChecks=38908176 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.45 solvingWckTime=31.45 solvingCpuTime=31.37 expiredTime=no totalExploration=no nbFoundSolutions=0
32.45 globalCpuTime=31.96
32.45 => wckTime=32.126 cpuTime=31.9 mem=12M445
32.45
32.45 solver IterativeSystematicSolver being built...
32.58 => wckTime=32.256 cpuTime=31.99 mem=23M220
32.59
32.59 preprocessing
32.59 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.59 detectedInconsistency=no
32.59 => wckTime=0.0050 cpuTime=0.0 mem=23M220
32.71
32.71 search
32.71 run=0 nbConstraintChecks=45353 nbValidityChecks=198798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.71 nbAssignments=77 nbFailedAssignments=59 nbBacktracks=10 nbVisitedNodes=147 nbRestartNogoods=0
32.71 => wckTime=0.129 cpuTime=0.09 mem=24M222
32.93
32.93 search
32.93 run=1 nbConstraintChecks=155897 nbValidityChecks=652911 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.93 nbAssignments=227 nbFailedAssignments=186 nbBacktracks=25 nbVisitedNodes=439 nbRestartNogoods=14
32.93 => wckTime=0.347 cpuTime=0.3 mem=24M222
33.07
33.07 search
33.07 run=2 nbConstraintChecks=223508 nbValidityChecks=1004769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.07 nbAssignments=359 nbFailedAssignments=288 nbBacktracks=47 nbVisitedNodes=695 nbRestartNogoods=40
33.07 => wckTime=0.488 cpuTime=0.44 mem=24M222
33.46
33.46 search
33.46 run=3 nbConstraintChecks=428301 nbValidityChecks=2084342 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.46 nbAssignments=705 nbFailedAssignments=594 nbBacktracks=80 nbVisitedNodes=1379 nbRestartNogoods=53
33.46 => wckTime=0.877 cpuTime=0.82 mem=24M222
33.83
33.83 search
33.83 run=4 nbConstraintChecks=606471 nbValidityChecks=2990588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.83 nbAssignments=1031 nbFailedAssignments=862 nbBacktracks=130 nbVisitedNodes=2022 nbRestartNogoods=80
33.83 => wckTime=1.246 cpuTime=1.19 mem=24M222
34.85
34.85 search
34.85 run=5 nbConstraintChecks=1210564 nbValidityChecks=5724741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.85 nbAssignments=1867 nbFailedAssignments=1618 nbBacktracks=205 nbVisitedNodes=3686 nbRestartNogoods=102
34.85 => wckTime=2.265 cpuTime=2.18 mem=24M222
35.81
35.81 search
35.81 run=6 nbConstraintChecks=1714579 nbValidityChecks=8298667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.81 nbAssignments=2705 nbFailedAssignments=2337 nbBacktracks=318 nbVisitedNodes=5344 nbRestartNogoods=119
35.81 => wckTime=3.228 cpuTime=3.12 mem=24M222
37.01
37.01 search
37.01 run=7 nbConstraintChecks=2330126 nbValidityChecks=11444155 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.01 nbAssignments=4146 nbFailedAssignments=3599 nbBacktracks=488 nbVisitedNodes=8217 nbRestartNogoods=125
37.01 => wckTime=4.425 cpuTime=4.33 mem=24M222
38.93
38.93 search
38.93 run=8 nbConstraintChecks=3312531 nbValidityChecks=16210092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.93 nbAssignments=5762 nbFailedAssignments=4951 nbBacktracks=744 nbVisitedNodes=11436 nbRestartNogoods=149
38.93 => wckTime=6.351 cpuTime=6.25 mem=24M222
41.80
41.80 search
41.80 run=9 nbConstraintChecks=4855460 nbValidityChecks=24144135 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.80 nbAssignments=8419 nbFailedAssignments=7218 nbBacktracks=1128 nbVisitedNodes=16731 nbRestartNogoods=168
41.80 => wckTime=9.216 cpuTime=9.11 mem=24M222
44.83
44.83 search
44.83 run=10 nbConstraintChecks=6410811 nbValidityChecks=32510267 nbPropagations=0 nbRevisions=0
44.83 nbUselessRevisions=0 nbAssignments=12042 nbFailedAssignments=10258 nbBacktracks=1704 nbVisitedNodes=23953
44.83 nbRestartNogoods=178
44.83 => wckTime=12.248 cpuTime=12.13 mem=24M222
49.13
49.13 search
49.13 run=11 nbConstraintChecks=8687362 nbValidityChecks=43640036 nbPropagations=0 nbRevisions=0
49.13 nbUselessRevisions=0 nbAssignments=17085 nbFailedAssignments=14428 nbBacktracks=2569 nbVisitedNodes=33994
49.13 nbRestartNogoods=199
49.13 => wckTime=16.543 cpuTime=16.43 mem=24M222
58.67
58.67 search
58.67 run=12 nbConstraintChecks=13780510 nbValidityChecks=70859914 nbPropagations=0 nbRevisions=0
58.67 nbUselessRevisions=0 nbAssignments=26232 nbFailedAssignments=22271 nbBacktracks=3866 nbVisitedNodes=52186
58.67 nbRestartNogoods=233
58.67 => wckTime=26.087 cpuTime=25.97 mem=24M222
68.63
68.63 search
68.63 run=13 nbConstraintChecks=19004727 nbValidityChecks=96950057 nbPropagations=0 nbRevisions=0
68.63 nbUselessRevisions=0 nbAssignments=35803 nbFailedAssignments=29890 nbBacktracks=5813 nbVisitedNodes=71268
68.63 nbRestartNogoods=252
68.63 => wckTime=36.051 cpuTime=35.92 mem=24M222
84.87
84.87 search
84.87 run=14 nbConstraintChecks=28120003 nbValidityChecks=140787245 nbPropagations=0 nbRevisions=0
84.87 nbUselessRevisions=0 nbAssignments=51023 nbFailedAssignments=42183 nbBacktracks=8733 nbVisitedNodes=101515
84.87 nbRestartNogoods=267
84.87 => wckTime=52.291 cpuTime=52.13 mem=24M222
110.76
110.76 search
110.76 run=15 nbConstraintChecks=42302274 nbValidityChecks=209545732 nbPropagations=0 nbRevisions=0
110.76 nbUselessRevisions=0 nbAssignments=72511 nbFailedAssignments=59288 nbBacktracks=13111 nbVisitedNodes=144078
110.76 nbRestartNogoods=291
110.76 => wckTime=78.183 cpuTime=78.0 mem=24M222
140.72
140.72 search
140.72 run=16 nbConstraintChecks=58966984 nbValidityChecks=284772580 nbPropagations=0 nbRevisions=0
140.72 nbUselessRevisions=0 nbAssignments=96035 nbFailedAssignments=76236 nbBacktracks=19679 nbVisitedNodes=190244
140.72 nbRestartNogoods=297
140.72 => wckTime=108.14 cpuTime=107.92 mem=24M222
182.55
182.55 search
182.55 run=17 nbConstraintChecks=81450908 nbValidityChecks=390013861 nbPropagations=0 nbRevisions=0
182.55 nbUselessRevisions=0 nbAssignments=129346 nbFailedAssignments=99688 nbBacktracks=29531 nbVisitedNodes=255851
182.55 nbRestartNogoods=323
182.55 => wckTime=149.966 cpuTime=149.71 mem=24M222
234.61
234.61 search
234.61 run=18 nbConstraintChecks=110340766 nbValidityChecks=517312659 nbPropagations=0 nbRevisions=0
234.61 nbUselessRevisions=0 nbAssignments=167708 nbFailedAssignments=123264 nbBacktracks=44309 nbVisitedNodes=330677
234.61 nbRestartNogoods=365
234.61 => wckTime=202.03 cpuTime=201.72 mem=24M222
317.41
317.41 search
317.41 run=19 nbConstraintChecks=157061422 nbValidityChecks=721191202 nbPropagations=0 nbRevisions=0
317.41 nbUselessRevisions=0 nbAssignments=232530 nbFailedAssignments=165913 nbBacktracks=66477 nbVisitedNodes=458517
317.41 nbRestartNogoods=384
317.41 => wckTime=284.824 cpuTime=284.43 mem=24M222
449.50
449.50 search
449.50 run=20 nbConstraintChecks=231550142 nbValidityChecks=1053046069 nbPropagations=0 nbRevisions=0
449.50 nbUselessRevisions=0 nbAssignments=328927 nbFailedAssignments=229052 nbBacktracks=99729 nbVisitedNodes=647595
449.50 nbRestartNogoods=410
449.50 => wckTime=416.922 cpuTime=416.39 mem=24M222
614.34
614.35 search
614.35 run=21 nbConstraintChecks=319341306 nbValidityChecks=1453479976 nbPropagations=0 nbRevisions=0
614.35 nbUselessRevisions=0 nbAssignments=460064 nbFailedAssignments=310304 nbBacktracks=149607 nbVisitedNodes=905003
614.35 nbRestartNogoods=427
614.35 => wckTime=581.763 cpuTime=581.09 mem=24M222
897.60
897.60 search
897.60 run=22 nbConstraintChecks=478119757 nbValidityChecks=2148694736 nbPropagations=0 nbRevisions=0
897.60 nbUselessRevisions=0 nbAssignments=667224 nbFailedAssignments=442640 nbBacktracks=224425 nbVisitedNodes=1310749
897.60 nbRestartNogoods=465
897.60 => wckTime=865.017 cpuTime=864.03 mem=24M222
1283.78
1283.78 search
1283.78 run=23 nbConstraintChecks=691026128 nbValidityChecks=3118474187 nbPropagations=0 nbRevisions=0
1283.78 nbUselessRevisions=0 nbAssignments=963720 nbFailedAssignments=626904 nbBacktracks=336652 nbVisitedNodes=1889964
1283.78 nbRestartNogoods=498
1283.78 => wckTime=1251.196 cpuTime=1249.84 mem=24M222
1869.61
1869.61 search
1869.61 run=24 nbConstraintChecks=1028750351 nbValidityChecks=4590735376 nbPropagations=0 nbRevisions=0
1869.61 nbUselessRevisions=0 nbAssignments=1411424 nbFailedAssignments=906261 nbBacktracks=504993
1869.61 nbVisitedNodes=2759322 nbRestartNogoods=533
1869.61 => wckTime=1837.032 cpuTime=1835.2 mem=24M222
2012.66 o 57
2012.66 c 2
2020.79 o 58
2020.79 c 1
2402.04 v 8 1 13 14 4 14 16 0 7 1 0 12 2 6 8 19 10 19 15 2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-276047-1169230889 -o ROOT/results/node26/solver-276047-1169230889 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276047-1169230889/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.15 2.06 1.98 4/87 27792
/proc/meminfo: memFree=1455512/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=18540 CPUtime=0
/proc/27791/stat : 27791 (runsolver) R 27789 27791 26950 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271483180 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27791/statm: 4635 279 244 17 0 2626 0
[startup+0.10351 s]
/proc/loadavg: 2.15 2.06 1.98 4/87 27792
/proc/meminfo: memFree=1455512/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=914988 CPUtime=0.09
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 2956 0 1 0 7 2 0 0 17 0 8 0 271483180 936947712 2702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155085064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27791/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511548 s]
/proc/loadavg: 2.15 2.06 1.98 4/87 27792
/proc/meminfo: memFree=1455512/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915332 CPUtime=0.48
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 7222 0 1 0 44 4 0 0 18 0 8 0 271483180 937299968 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073559689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27791/statm: 228833 6961 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33263 s]
/proc/loadavg: 2.14 2.06 1.98 3/94 27799
/proc/meminfo: memFree=1397088/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=1.29
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17261 0 1 0 120 9 0 0 25 0 8 0 271483180 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27791/statm: 228860 16999 2475 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.1
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 271483188 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 16999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915440
[startup+2.96978 s]
/proc/loadavg: 2.14 2.06 1.98 3/94 27799
/proc/meminfo: memFree=1397088/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2.91
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17268 0 1 0 275 16 0 0 25 0 8 0 271483180 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27791/statm: 228860 17005 2477 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.11
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 271483188 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17005 18446744073709551615 134512640 134570532 4294956480 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) 915440
[startup+6.26808 s]
/proc/loadavg: 2.05 2.04 1.98 2/88 27821
/proc/meminfo: memFree=1450192/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=6.2
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17269 0 1 0 588 32 0 0 25 0 8 0 271483180 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17006 2477 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.11
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 327 0 0 0 11 0 0 0 15 0 8 0 271483188 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7407 s]
/proc/loadavg: 2.04 2.04 1.98 3/95 27891
/proc/meminfo: memFree=1445024/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=12.65
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17271 0 1 0 1202 63 0 0 25 0 8 0 271483180 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17008 2477 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.11
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915440
[startup+25.6209 s]
/proc/loadavg: 2.04 2.03 1.98 3/94 27892
/proc/meminfo: memFree=1442480/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=25.52
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17271 0 1 0 2431 121 0 0 25 0 8 0 271483180 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17008 2477 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1843 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.11
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915440
[startup+51.2453 s]
/proc/loadavg: 2.02 2.03 1.98 3/94 27892
/proc/meminfo: memFree=1442288/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=51.1
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17436 0 1 0 4959 151 0 0 25 0 8 0 271483180 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17169 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915440
[startup+102.496 s]
/proc/loadavg: 2.01 2.02 1.98 3/94 27892
/proc/meminfo: memFree=1442288/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=102.3
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17438 0 1 0 10079 151 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915440
[startup+162.592 s]
/proc/loadavg: 2.00 2.02 1.98 3/94 27892
/proc/meminfo: memFree=1442224/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=162.34
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17439 0 1 0 16083 151 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 915440
[startup+2084.26 s]
/proc/loadavg: 1.00 1.27 1.65 2/85 27979
/proc/meminfo: memFree=1459272/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2082.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 208076 159 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 915440
[startup+2144.27 s]
/proc/loadavg: 1.00 1.22 1.60 2/85 27979
/proc/meminfo: memFree=1459272/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2142.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 214076 159 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 915440
[startup+2204.29 s]
/proc/loadavg: 1.00 1.18 1.56 2/85 27979
/proc/meminfo: memFree=1459336/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2202.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 220076 159 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 915440
[startup+2264.31 s]
/proc/loadavg: 1.04 1.16 1.53 2/85 27979
/proc/meminfo: memFree=1459336/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2262.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 226076 159 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 915440
[startup+2324.32 s]
/proc/loadavg: 1.01 1.13 1.49 2/85 27979
/proc/meminfo: memFree=1459336/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2322.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 232076 159 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 915440
[startup+2384.34 s]
/proc/loadavg: 1.00 1.10 1.46 2/91 28053
/proc/meminfo: memFree=1458136/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2382.35
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 238073 162 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.35
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.03 s]
/proc/loadavg: 1.00 1.09 1.45 2/91 28095
/proc/meminfo: memFree=1458072/2055920 swapFree=4191880/4192956
[pid=27791] ppid=27789 vsize=915440 CPUtime=2400.03
/proc/27791/stat : 27791 (java) R 27789 27791 26950 0 -1 0 17440 0 1 0 239839 164 0 0 25 0 8 0 271483180 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27791/statm: 228860 17170 2530 14 0 215330 0
[pid=27791/tid=27793] ppid=27789 vsize=915440 CPUtime=0.06
/proc/27791/task/27793/stat : 27793 (java) S 27789 27791 26950 0 -1 64 1844 0 0 0 6 0 0 0 16 0 8 0 271483184 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27794] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27794/stat : 27794 (java) S 27789 27791 26950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27795] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27795/stat : 27795 (java) S 27789 27791 26950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271483185 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27796] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27796/stat : 27796 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27797] ppid=27789 vsize=915440 CPUtime=0.23
/proc/27791/task/27797/stat : 27797 (java) S 27789 27791 26950 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27791/tid=27798] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27798/stat : 27798 (java) S 27789 27791 26950 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27791/tid=27799] ppid=27789 vsize=915440 CPUtime=0
/proc/27791/task/27799/stat : 27799 (java) S 27789 27791 26950 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271483188 937410560 17170 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.11
CPU time (s): 2400.12
CPU user time (s): 2398.46
CPU system time (s): 1.65875
CPU usage (%): 99.9171
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.46
system time used= 1.65875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17460
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= 49677
involuntary context switches= 63908
runsolver used 2.71059 s user time and 7.33289 s system time
The end
Begin job on node26 on Fri Jan 19 18:21:29 UTC 2007
IDJOB= 276047
IDBENCH= 5221
IDSOLVER= 69
FILE ID= node26/276047-1169230889
PBS_JOBID= 3589243
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-22_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276047-1169230889/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-276047-1169230889 -o ROOT/results/node26/solver-276047-1169230889 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276047-1169230889/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0d70628e8da0871606a4ab584786a256
RANDOM SEED= 826179115
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1455992 kB
Buffers: 40964 kB
Cached: 372752 kB
SwapCached: 268 kB
Active: 296452 kB
Inactive: 235272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1455992 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2952 kB
Writeback: 0 kB
Mapped: 136904 kB
Slab: 52928 kB
Committed_AS: 4678176 kB
PageTables: 2384 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= 66562 MiB
End job on node26 on Fri Jan 19 19:01:31 UTC 2007