0.30
0.30 Abscon 109 (November, 2006)
0.30
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276608-1169242251/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.41 => wckTime=0.106 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.77
0.77 constraints being loaded...
0.91 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.91 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.91 => wckTime=0.603 cpuTime=0.53 mem=36M368
0.96
0.96 solver LocalSearchSolver being built...
1.01 => wckTime=0.702 cpuTime=0.58 mem=7M417
1.02
1.02 s SATISFIABLE
1.02 o 13
1.02 c 71
1.03 o 15
1.03 c 69
1.03 o 18
1.03 c 66
1.03 o 22
1.03 c 62
1.03 o 25
1.03 c 59
1.03 o 28
1.03 c 56
1.03 o 31
1.03 c 53
1.04 o 34
1.04 c 50
1.04 o 36
1.04 c 48
1.04 o 38
1.04 c 46
1.04 o 39
1.04 c 45
1.04 o 40
1.04 c 44
1.04 o 42
1.04 c 42
1.04 o 44
1.04 c 40
1.05 o 45
1.05 c 39
1.05 o 47
1.05 c 37
1.05 o 49
1.05 c 35
1.05 o 50
1.05 c 34
1.05 o 51
1.05 c 33
1.05 o 52
1.05 c 32
1.05 o 53
1.05 c 31
1.05 o 55
1.05 c 29
1.05 o 56
1.05 c 28
1.06 o 58
1.06 c 26
1.06 o 59
1.06 c 25
1.06 o 60
1.06 c 24
1.06 o 61
1.06 c 23
1.07 o 62
1.07 c 22
1.07 o 63
1.07 c 21
1.08 o 64
1.08 c 20
1.08 o 65
1.08 c 19
1.09 o 66
1.09 c 18
1.09 o 67
1.09 c 17
1.09 o 68
1.09 c 16
1.12 o 69
1.12 c 15
1.14 o 70
1.14 c 14
1.15 o 71
1.15 c 13
1.15 o 72
1.15 c 12
1.16 o 73
1.16 c 11
1.18 o 74
1.18 c 10
1.19 o 75
1.19 c 9
1.19 o 76
1.19 c 8
1.20 o 77
1.20 c 7
1.26 o 78
1.26 c 6
2.61 o 79
2.61 c 5
2.61 o 80
2.61 c 4
2.63 o 81
2.63 c 3
2.70 o 82
2.70 c 2
10.07
10.07 search
10.07 run=0 nbConstraintChecks=76111142 nbAssignments=10000
10.07 => wckTime=9.057 cpuTime=8.93 mem=7M417
20.57
20.57 search
20.57 run=1 nbConstraintChecks=162231916 nbAssignments=20000
20.57 => wckTime=19.561 cpuTime=19.34 mem=7M417
31.16
31.16 search
31.16 run=2 nbConstraintChecks=249863948 nbAssignments=30000
31.16 => wckTime=30.153 cpuTime=29.83 mem=7M417
33.00
33.00 search
33.00 run=3 nbConstraintChecks=264793521 nbAssignments=31789
33.00 => wckTime=31.995 cpuTime=31.66 mem=7M417
33.01
33.01 global
33.01 nbConstraintChecks=264793521 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.01 solvingWckTime=31.991 solvingCpuTime=31.66 expiredTime=no totalExploration=no nbFoundSolutions=0
33.01 globalCpuTime=32.29
33.01 => wckTime=32.698 cpuTime=32.24 mem=7M417
33.01
33.01 solver IterativeSystematicSolver being built...
33.13 => wckTime=32.826 cpuTime=32.34 mem=18M317
33.14
33.14 preprocessing
33.14 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.14 detectedInconsistency=no
33.14 => wckTime=0.0070 cpuTime=0.01 mem=18M317
35.90
35.90 search
35.90 run=0 nbConstraintChecks=20031281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=691
35.90 nbFailedAssignments=676 nbBacktracks=10 nbVisitedNodes=1378 nbRestartNogoods=0
35.90 => wckTime=2.763 cpuTime=2.7 mem=18M317
41.99
41.99 search
41.99 run=1 nbConstraintChecks=67706219 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2391
41.99 nbFailedAssignments=2357 nbBacktracks=25 nbVisitedNodes=4774 nbRestartNogoods=110
41.99 => wckTime=8.853 cpuTime=8.7 mem=18M317
42.27
42.27 search
42.27 run=2 nbConstraintChecks=68815095 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2444
42.27 nbFailedAssignments=2386 nbBacktracks=47 nbVisitedNodes=4877 nbRestartNogoods=220
42.27 => wckTime=9.137 cpuTime=8.98 mem=18M317
49.17
49.17 search
49.17 run=3 nbConstraintChecks=108221686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3728
49.17 nbFailedAssignments=3634 nbBacktracks=80 nbVisitedNodes=7442 nbRestartNogoods=243
49.17 => wckTime=16.033 cpuTime=15.81 mem=18M317
56.72
56.72 search
56.72 run=4 nbConstraintChecks=147192511 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5112
56.72 nbFailedAssignments=4958 nbBacktracks=130 nbVisitedNodes=10200 nbRestartNogoods=278
56.72 => wckTime=23.582 cpuTime=23.29 mem=18M317
60.80
60.80 search
60.80 run=5 nbConstraintChecks=181484444 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6187
60.80 nbFailedAssignments=5951 nbBacktracks=205 nbVisitedNodes=12343 nbRestartNogoods=499
60.80 => wckTime=27.665 cpuTime=27.33 mem=18M317
72.82
72.82 search
72.82 run=6 nbConstraintChecks=282709440 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10135
72.82 nbFailedAssignments=9772 nbBacktracks=318 nbVisitedNodes=20222 nbRestartNogoods=672
72.82 => wckTime=39.682 cpuTime=39.24 mem=18M317
96.79
96.79 search
96.79 run=7 nbConstraintChecks=436947922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14753
96.79 nbFailedAssignments=14215 nbBacktracks=488 nbVisitedNodes=29453 nbRestartNogoods=1091
96.79 => wckTime=63.66 cpuTime=62.99 mem=18M317
118.16
118.16 search
118.16 run=8 nbConstraintChecks=555571092 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18140
118.16 nbFailedAssignments=17343 nbBacktracks=744 nbVisitedNodes=36224 nbRestartNogoods=1180
118.16 => wckTime=85.03 cpuTime=84.16 mem=18M317
159.62
159.62 search
159.62 run=9 nbConstraintChecks=785570984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25971
159.62 nbFailedAssignments=24785 nbBacktracks=1128 nbVisitedNodes=51875 nbRestartNogoods=1340
159.62 => wckTime=126.487 cpuTime=125.24 mem=18M317
200.39
200.39 search
200.39 run=10 nbConstraintChecks=1010203966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33956
200.39 nbFailedAssignments=32190 nbBacktracks=1705 nbVisitedNodes=67841 nbRestartNogoods=1430
200.39 => wckTime=167.256 cpuTime=165.63 mem=18M317
252.42
252.42 search
252.42 run=11 nbConstraintChecks=1263088563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42218
252.42 nbFailedAssignments=39583 nbBacktracks=2570 nbVisitedNodes=84345 nbRestartNogoods=1526
252.42 => wckTime=219.289 cpuTime=217.19 mem=18M317
285.22
285.22 search
285.22 run=12 nbConstraintChecks=1386397101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48103
285.22 nbFailedAssignments=44168 nbBacktracks=3867 nbVisitedNodes=95954 nbRestartNogoods=1611
285.22 => wckTime=252.09 cpuTime=249.68 mem=18M317
343.99
343.99 search
343.99 run=13 nbConstraintChecks=1585906577 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=56307
343.99 nbFailedAssignments=50425 nbBacktracks=5813 nbVisitedNodes=111711 nbRestartNogoods=1691
343.99 => wckTime=310.855 cpuTime=307.9 mem=18M317
444.46
444.46 search
444.46 run=14 nbConstraintChecks=1975678779 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=71047
444.46 nbFailedAssignments=62242 nbBacktracks=8733 nbVisitedNodes=140620 nbRestartNogoods=1870
444.46 => wckTime=411.323 cpuTime=407.45 mem=18M317
547.47
547.47 search
547.47 run=15 nbConstraintChecks=2310581985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83990
547.47 nbFailedAssignments=70803 nbBacktracks=13111 nbVisitedNodes=165320 nbRestartNogoods=1915
547.47 => wckTime=514.34 cpuTime=509.52 mem=18M317
701.70
701.70 search
701.70 run=16 nbConstraintChecks=2860324190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107546
701.70 nbFailedAssignments=87774 nbBacktracks=19679 nbVisitedNodes=210466 nbRestartNogoods=2030
701.70 => wckTime=668.564 cpuTime=662.33 mem=18M317
911.24
911.24 search
911.24 run=17 nbConstraintChecks=3502557876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=132744
911.24 nbFailedAssignments=103106 nbBacktracks=29531 nbVisitedNodes=257491 nbRestartNogoods=2191
911.24 => wckTime=878.106 cpuTime=869.94 mem=18M317
926.08 o 83
926.08 c 1
1000.59
1000.59 search
1000.59 run=18 nbConstraintChecks=3768613087 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143637
1000.59 nbFailedAssignments=109137 nbBacktracks=34393 nbVisitedNodes=276315 nbRestartNogoods=2206
1000.59 => wckTime=967.46 cpuTime=958.47 mem=18M317
1000.59
1000.59 global
1000.59 nbConstraintChecks=3768613087 nbRestartNogoods=2206 solvingWckTime=967.461 solvingCpuTime=958.47 expiredTime=no
1000.59 totalExploration=yes nbFoundSolutions=1 globalCpuTime=990.86
1000.59 => wckTime=1000.287 cpuTime=990.81 mem=18M317
1000.60
1000.60 s OPTIMUM FOUND
1000.60 v 5 68 70 114 84 46 5 21 31 74 152 168 108 113 95 13 174 32 90 30 76 31 26 86 4 104 61 11 134 92 170 8 113 3 176 127 162 32 122 140
1000.60
1000.60 totalWckTime=1000.365 totalCpuTime=990.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-276608-1169242251 -o ROOT/results/node12/solver-276608-1169242251 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276608-1169242251/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 5/93 29470
/proc/meminfo: memFree=1331504/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=11868 CPUtime=0
/proc/29469/stat : 29469 (java) D 29467 29469 28149 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 272620109 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/29469/statm: 2967 515 425 14 0 1602 0
[startup+0.104377 s]
/proc/loadavg: 2.00 2.00 2.00 5/93 29470
/proc/meminfo: memFree=1331504/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=914988 CPUtime=0.09
/proc/29469/stat : 29469 (java) S 29467 29469 28149 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 272620109 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516452 s]
/proc/loadavg: 2.00 2.00 2.00 5/93 29470
/proc/meminfo: memFree=1331504/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915332 CPUtime=0.5
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 7508 0 1 0 45 5 0 0 18 0 8 0 272620109 937299968 7247 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228833 7247 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3406 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1285112/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=1.31
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14252 0 1 0 122 9 0 0 25 0 8 0 272620109 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 13990 2476 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 615 0 0 0 3 0 0 0 17 0 8 0 272620113 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.13
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 330 0 0 0 13 0 0 0 16 0 8 0 272620117 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 13990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97789 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1285048/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=2.93
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14257 0 1 0 276 17 0 0 25 0 8 0 272620109 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 13994 2476 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.13
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.27448 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284920/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=6.19
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14257 0 1 0 586 33 0 0 25 0 8 0 272620109 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 13994 2476 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.13
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 334 0 0 0 13 0 0 0 15 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 13994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7496 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284920/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915448 CPUtime=12.61
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14259 0 1 0 1199 62 0 0 25 0 8 0 272620109 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10595602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228862 13996 2476 14 0 215332 0
[pid=29469/tid=29471] ppid=29467 vsize=915448 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272620113 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915448 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915448 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915448 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915448 CPUtime=0.14
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272620117 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915448 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915448 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937418752 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448
[startup+25.603 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1285048/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=25.34
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14259 0 1 0 2421 113 0 0 25 0 8 0 272620109 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 13996 2476 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 615 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.14
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 336 0 0 0 14 0 0 0 16 0 8 0 272620117 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 13996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.2136 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=50.72
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14413 0 1 0 4930 142 0 0 25 0 8 0 272620109 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14142 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.24
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 272620117 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14142 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915444
[startup+102.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=101.46
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14417 0 1 0 10004 142 0 0 25 0 8 0 272620109 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14145 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915444
[startup+162.479 s]
/proc/loadavg: 2.05 2.01 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=160.95
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14417 0 1 0 15953 142 0 0 25 0 8 0 272620109 937414656 14145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073863132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.07
Current children cumulated vsize (KiB) 915444
[startup+582.984 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=577.6
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14422 0 1 0 57614 146 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.6
Current children cumulated vsize (KiB) 915444
[startup+643.063 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=637.12
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14422 0 1 0 63566 146 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.12
Current children cumulated vsize (KiB) 915444
[startup+703.133 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284664/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=696.64
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14423 0 1 0 69517 147 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.64
Current children cumulated vsize (KiB) 915444
[startup+763.204 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284664/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=756.16
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14423 0 1 0 75469 147 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.16
Current children cumulated vsize (KiB) 915444
[startup+823.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284664/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=815.68
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14423 0 1 0 81420 148 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 815.68
Current children cumulated vsize (KiB) 915444
[startup+883.349 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 29477
/proc/meminfo: memFree=1284728/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=875.2
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14423 0 1 0 87372 148 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.2
Current children cumulated vsize (KiB) 915444
[startup+943.414 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 29477
/proc/meminfo: memFree=1284664/2055920 swapFree=4160348/4192956
[pid=29469] ppid=29467 vsize=915444 CPUtime=934.71
/proc/29469/stat : 29469 (java) R 29467 29469 28149 0 -1 0 14423 0 1 0 93323 148 0 0 25 0 8 0 272620109 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29469/statm: 228861 14148 2527 14 0 215331 0
[pid=29469/tid=29471] ppid=29467 vsize=915444 CPUtime=0.03
/proc/29469/task/29471/stat : 29471 (java) S 29467 29469 28149 0 -1 64 616 0 0 0 3 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29472] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29472/stat : 29472 (java) S 29467 29469 28149 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29473] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29473/stat : 29473 (java) S 29467 29469 28149 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272620113 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29474] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29474/stat : 29474 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29475] ppid=29467 vsize=915444 CPUtime=0.25
/proc/29469/task/29475/stat : 29475 (java) S 29467 29469 28149 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29476] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29476/stat : 29476 (java) S 29467 29469 28149 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29469/tid=29477] ppid=29467 vsize=915444 CPUtime=0
/proc/29469/task/29477/stat : 29477 (java) S 29467 29469 28149 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272620117 937414656 14148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 934.71
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 1000.64
CPU time (s): 991.39
CPU user time (s): 989.886
CPU system time (s): 1.50377
CPU usage (%): 99.0752
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 989.887
system time used= 1.50377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14435
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= 21383
involuntary context switches= 46810
runsolver used 1.16782 s user time and 3.2695 s system time
The end
Begin job on node12 on Fri Jan 19 21:30:51 UTC 2007
IDJOB= 276608
IDBENCH= 5891
IDSOLVER= 69
FILE ID= node12/276608-1169242251
PBS_JOBID= 3589002
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276608-1169242251/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-276608-1169242251 -o ROOT/results/node12/solver-276608-1169242251 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276608-1169242251/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 54797be09cfc54703d39b3ea9948e138
RANDOM SEED= 895705559
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1331920 kB
Buffers: 58668 kB
Cached: 509680 kB
SwapCached: 5164 kB
Active: 305844 kB
Inactive: 343916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1331920 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3496 kB
Writeback: 0 kB
Mapped: 100672 kB
Slab: 59120 kB
Committed_AS: 8271536 kB
PageTables: 2224 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= 66558 MiB
End job on node12 on Fri Jan 19 21:47:32 UTC 2007