0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/281261-1169310829/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M910
0.38
0.38 relations being loaded...
0.45
0.45 constraints being loaded...
0.55 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.55 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5566 maxDegree=24
0.55 maxArity=2
0.55 => wckTime=0.259 cpuTime=0.18 mem=9M835
0.59
0.59 solver LocalSearchSolver being built...
0.63 => wckTime=0.339 cpuTime=0.21 mem=5M671
0.64
0.64 s SATISFIABLE
0.64 o 240
0.64 c 60
0.64 o 246
0.64 c 54
0.64 o 252
0.64 c 48
0.64 o 256
0.64 c 44
0.64 o 259
0.64 c 41
0.64 o 263
0.64 c 37
0.64 o 266
0.64 c 34
0.64 o 267
0.64 c 33
0.64 o 269
0.65 c 31
0.65 o 271
0.65 c 29
0.65 o 274
0.65 c 26
0.65 o 276
0.65 c 24
0.65 o 279
0.65 c 21
0.65 o 280
0.65 c 20
0.65 o 284
0.65 c 16
0.65 o 285
0.65 c 15
0.65 o 287
0.65 c 13
0.65 o 288
0.65 c 12
0.65 o 289
0.65 c 11
0.67 o 290
0.67 c 10
0.67 o 291
0.67 c 9
0.67 o 292
0.67 c 8
0.68 o 294
0.68 c 6
0.68 o 295
0.68 c 5
0.68 o 296
0.68 c 4
0.68 o 297
0.68 c 3
0.77 o 298
0.77 c 2
2.52
2.52 search
2.52 run=0 nbConstraintChecks=12129422 nbAssignments=10000
2.52 => wckTime=1.893 cpuTime=1.88 mem=5M671
4.38
4.38 search
4.38 run=1 nbConstraintChecks=24453989 nbAssignments=20000
4.38 => wckTime=3.747 cpuTime=3.69 mem=5M671
6.18
6.18 search
6.18 run=2 nbConstraintChecks=36512673 nbAssignments=30000
6.18 => wckTime=5.549 cpuTime=5.5 mem=5M671
8.04
8.04 search
8.04 run=3 nbConstraintChecks=49137206 nbAssignments=40000
8.04 => wckTime=7.416 cpuTime=7.35 mem=5M671
9.86
9.86 search
9.86 run=4 nbConstraintChecks=61305306 nbAssignments=50000
9.86 => wckTime=9.234 cpuTime=9.16 mem=5M671
11.70
11.70 search
11.70 run=5 nbConstraintChecks=73781595 nbAssignments=60000
11.70 => wckTime=11.07 cpuTime=10.99 mem=5M671
13.48
13.48 search
13.48 run=6 nbConstraintChecks=85728813 nbAssignments=70000
13.48 => wckTime=12.85 cpuTime=12.76 mem=5M671
15.30
15.30 search
15.30 run=7 nbConstraintChecks=98105948 nbAssignments=80000
15.30 => wckTime=14.667 cpuTime=14.57 mem=5M671
17.10
17.10 search
17.10 run=8 nbConstraintChecks=110230896 nbAssignments=90000
17.10 => wckTime=16.468 cpuTime=16.37 mem=5M671
18.91
18.91 search
18.91 run=9 nbConstraintChecks=122521319 nbAssignments=100000
18.91 => wckTime=18.283 cpuTime=18.18 mem=5M671
20.71
20.71 search
20.71 run=10 nbConstraintChecks=134636421 nbAssignments=110000
20.71 => wckTime=20.078 cpuTime=19.96 mem=5M671
22.56
22.56 search
22.56 run=11 nbConstraintChecks=147137696 nbAssignments=120000
22.56 => wckTime=21.932 cpuTime=21.81 mem=5M671
24.37
24.37 search
24.37 run=12 nbConstraintChecks=159217913 nbAssignments=130000
24.37 => wckTime=23.738 cpuTime=23.61 mem=5M671
26.21
26.21 search
26.21 run=13 nbConstraintChecks=171635074 nbAssignments=140000
26.21 => wckTime=25.583 cpuTime=25.45 mem=5M671
28.02
28.03 search
28.03 run=14 nbConstraintChecks=183716616 nbAssignments=150000
28.03 => wckTime=27.397 cpuTime=27.25 mem=5M671
29.88
29.88 search
29.88 run=15 nbConstraintChecks=196265051 nbAssignments=160000
29.88 => wckTime=29.249 cpuTime=29.1 mem=5M671
30.92
30.92 search
30.92 run=16 nbConstraintChecks=203165435 nbAssignments=165819
30.92 => wckTime=30.288 cpuTime=30.14 mem=5M671
30.92
30.92 global
30.92 nbConstraintChecks=203165435 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.92 solvingWckTime=30.287 solvingCpuTime=30.14 expiredTime=no totalExploration=no nbFoundSolutions=0
30.92 globalCpuTime=30.4
30.92 => wckTime=30.628 cpuTime=30.35 mem=5M671
30.92
30.92 solver IterativeSystematicSolver being built...
31.04 => wckTime=30.752 cpuTime=30.44 mem=16M660
31.05
31.05 preprocessing
31.05 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.05 detectedInconsistency=no
31.05 => wckTime=0.0050 cpuTime=0.0 mem=16M660
31.12
31.12 search
31.12 run=0 nbConstraintChecks=88574 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
31.12 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0
31.12 => wckTime=0.072 cpuTime=0.05 mem=16M660
31.19
31.19 search
31.19 run=1 nbConstraintChecks=240227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114
31.19 nbFailedAssignments=76 nbBacktracks=25 nbVisitedNodes=216 nbRestartNogoods=6
31.19 => wckTime=0.144 cpuTime=0.1 mem=16M660
31.26
31.26 search
31.26 run=2 nbConstraintChecks=465761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=216
31.26 nbFailedAssignments=150 nbBacktracks=47 nbVisitedNodes=414 nbRestartNogoods=15
31.26 => wckTime=0.213 cpuTime=0.17 mem=16M660
31.34
31.34 search
31.34 run=3 nbConstraintChecks=749207 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=339
31.34 nbFailedAssignments=233 nbBacktracks=81 nbVisitedNodes=654 nbRestartNogoods=34
31.34 => wckTime=0.295 cpuTime=0.25 mem=16M660
31.45
31.45 search
31.45 run=4 nbConstraintChecks=1145539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=514
31.45 nbFailedAssignments=350 nbBacktracks=131 nbVisitedNodes=996 nbRestartNogoods=38
31.45 => wckTime=0.404 cpuTime=0.35 mem=16M660
31.67
31.67 search
31.67 run=5 nbConstraintChecks=1882884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=855
31.67 nbFailedAssignments=610 nbBacktracks=207 nbVisitedNodes=1673 nbRestartNogoods=44
31.67 => wckTime=0.625 cpuTime=0.57 mem=16M660
31.88
31.88 search
31.88 run=6 nbConstraintChecks=2689077 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1196
31.88 nbFailedAssignments=830 nbBacktracks=321 nbVisitedNodes=2348 nbRestartNogoods=49
31.88 => wckTime=0.835 cpuTime=0.78 mem=16M660
32.30
32.30 search
32.30 run=7 nbConstraintChecks=4108250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1833
32.30 nbFailedAssignments=1292 nbBacktracks=491 nbVisitedNodes=3617 nbRestartNogoods=64
32.30 => wckTime=1.26 cpuTime=1.19 mem=16M660
32.86
32.86 search
32.86 run=8 nbConstraintChecks=6297293 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2757
32.86 nbFailedAssignments=1953 nbBacktracks=747 nbVisitedNodes=5458 nbRestartNogoods=79
32.86 => wckTime=1.821 cpuTime=1.74 mem=16M660
33.72
33.72 search
33.72 run=9 nbConstraintChecks=9491399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4093
33.72 nbFailedAssignments=2898 nbBacktracks=1131 nbVisitedNodes=8123 nbRestartNogoods=99
33.72 => wckTime=2.675 cpuTime=2.59 mem=16M660
34.84
34.84 search
34.84 run=10 nbConstraintChecks=13622233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5822
34.84 nbFailedAssignments=4042 nbBacktracks=1709 nbVisitedNodes=11571 nbRestartNogoods=108
34.84 => wckTime=3.796 cpuTime=3.71 mem=16M660
36.50
36.50 search
36.50 run=11 nbConstraintChecks=19870870 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8398
36.50 nbFailedAssignments=5746 nbBacktracks=2573 nbVisitedNodes=16703 nbRestartNogoods=119
36.50 => wckTime=5.459 cpuTime=5.37 mem=16M660
38.82
38.82 search
38.82 run=12 nbConstraintChecks=28733795 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12055
38.82 nbFailedAssignments=8101 nbBacktracks=3870 nbVisitedNodes=23934 nbRestartNogoods=128
38.82 => wckTime=7.78 cpuTime=7.67 mem=16M660
41.79
41.79 search
41.79 run=13 nbConstraintChecks=39524140 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16614
41.79 nbFailedAssignments=10706 nbBacktracks=5818 nbVisitedNodes=32779 nbRestartNogoods=137
41.79 => wckTime=10.75 cpuTime=10.63 mem=16M660
46.11
46.11 search
46.11 run=14 nbConstraintChecks=55508582 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23300
46.11 nbFailedAssignments=14464 nbBacktracks=8737 nbVisitedNodes=45713 nbRestartNogoods=149
46.11 => wckTime=15.069 cpuTime=14.93 mem=16M660
52.93
52.93 search
52.93 run=15 nbConstraintChecks=79338029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33427
52.93 nbFailedAssignments=20208 nbBacktracks=13116 nbVisitedNodes=65286 nbRestartNogoods=161
52.93 => wckTime=21.891 cpuTime=21.7 mem=16M660
63.25
63.25 search
63.25 run=16 nbConstraintChecks=116317558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48808
63.25 nbFailedAssignments=29013 nbBacktracks=19684 nbVisitedNodes=95167 nbRestartNogoods=169
63.25 => wckTime=32.21 cpuTime=31.98 mem=16M660
77.88
77.88 search
77.88 run=17 nbConstraintChecks=167695642 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70634
77.88 nbFailedAssignments=40983 nbBacktracks=29536 nbVisitedNodes=137226 nbRestartNogoods=193
77.88 => wckTime=46.833 cpuTime=46.55 mem=16M660
100.63
100.63 search
100.63 run=18 nbConstraintChecks=247363142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104385
100.63 nbFailedAssignments=59951 nbBacktracks=44315 nbVisitedNodes=203028 nbRestartNogoods=207
100.63 => wckTime=69.586 cpuTime=69.18 mem=16M660
132.73
132.73 search
132.73 run=19 nbConstraintChecks=360907868 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=152483
132.73 nbFailedAssignments=85875 nbBacktracks=66483 nbVisitedNodes=295412 nbRestartNogoods=220
132.73 => wckTime=101.685 cpuTime=101.15 mem=16M660
179.93
179.93 search
179.93 run=20 nbConstraintChecks=527947786 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=223806
179.93 nbFailedAssignments=123939 nbBacktracks=99735 nbVisitedNodes=432443 nbRestartNogoods=232
179.93 => wckTime=148.888 cpuTime=148.14 mem=16M660
251.32
251.32 search
251.32 run=21 nbConstraintChecks=781554654 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=331724
251.32 nbFailedAssignments=181970 nbBacktracks=149614 nbVisitedNodes=640219 nbRestartNogoods=245
251.32 => wckTime=220.279 cpuTime=219.2 mem=16M660
325.35
325.35 search
325.35 run=22 nbConstraintChecks=1044473969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443155
325.35 nbFailedAssignments=242940 nbBacktracks=200076 nbVisitedNodes=855576 nbRestartNogoods=259
325.35 => wckTime=294.306 cpuTime=292.87 mem=16M660
325.35
325.35 global
325.35 nbConstraintChecks=1044473969 nbRestartNogoods=259 solvingWckTime=294.308 solvingCpuTime=292.87 expiredTime=no
325.35 totalExploration=yes nbFoundSolutions=0 globalCpuTime=323.36
325.35 => wckTime=325.06 cpuTime=323.31 mem=16M660
325.35
325.35 s OPTIMUM FOUND
325.35 v 0 5 9 9 5 5 6 7 8 2 4 4 1 1 8 9 7 7 0 8 6 9 1 9 1
325.35
325.35 totalWckTime=325.135 totalCpuTime=323.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-281261-1169310829 -o ROOT/results/node65/solver-281261-1169310829 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281261-1169310829/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: 1.42 1.13 1.05 4/80 6953
/proc/meminfo: memFree=1440708/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=18540 CPUtime=0
/proc/6952/stat : 6952 (runsolver) R 6950 6952 6325 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 78580168 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/6952/statm: 4635 279 244 17 0 2626 0
[startup+0.107244 s]
/proc/loadavg: 1.42 1.13 1.05 4/80 6953
/proc/meminfo: memFree=1440708/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=914988 CPUtime=0.08
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 3065 0 1 0 7 1 0 0 22 0 8 0 78580168 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228747 2812 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515301 s]
/proc/loadavg: 1.42 1.13 1.05 4/80 6953
/proc/meminfo: memFree=1440708/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915332 CPUtime=0.49
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 6633 0 1 0 44 5 0 0 25 0 8 0 78580168 937299968 6372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228833 6372 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33643 s]
/proc/loadavg: 1.42 1.13 1.05 3/87 6960
/proc/meminfo: memFree=1418444/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=1.31
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 7427 0 1 0 112 19 0 0 25 0 8 0 78580168 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 7165 2476 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.14
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 78580175 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915468 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937439232 7165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9787 s]
/proc/loadavg: 1.42 1.13 1.05 3/87 6960
/proc/meminfo: memFree=1418444/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=2.94
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 7430 0 1 0 241 53 0 0 25 0 8 0 78580168 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 7167 2476 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915468 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.14
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27125 s]
/proc/loadavg: 1.46 1.14 1.05 3/87 6960
/proc/meminfo: memFree=1418444/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=6.2
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 7430 0 1 0 498 122 0 0 25 0 8 0 78580168 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 7167 2476 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.14
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7473 s]
/proc/loadavg: 1.51 1.16 1.06 3/87 6960
/proc/meminfo: memFree=1418452/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915468 CPUtime=12.65
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 7430 0 1 0 1012 253 0 0 25 0 8 0 78580168 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 7167 2476 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915468 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.14
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915468
[startup+25.6064 s]
/proc/loadavg: 1.61 1.20 1.07 3/87 6960
/proc/meminfo: memFree=1418516/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=25.46
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 7430 0 1 0 2026 520 0 0 25 0 8 0 78580168 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 7167 2476 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 197 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915468 CPUtime=0.14
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 349 0 0 0 13 1 0 0 16 0 8 0 78580175 937439232 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 7167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464
[startup+51.2137 s]
/proc/loadavg: 1.75 1.26 1.10 3/87 6960
/proc/meminfo: memFree=1405844/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=50.93
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 9085 0 1 0 4461 632 0 0 25 0 8 0 78580168 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742314 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 8816 2527 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.24
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 406 0 0 0 23 1 0 0 16 0 8 0 78580175 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915464
[startup+102.515 s]
/proc/loadavg: 1.89 1.37 1.14 3/87 6960
/proc/meminfo: memFree=1405780/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=102
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 9097 0 1 0 9568 632 0 0 25 0 8 0 78580168 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 8827 2527 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.24
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 78580175 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 8827 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915464
[startup+162.556 s]
/proc/loadavg: 1.96 1.48 1.19 3/87 6960
/proc/meminfo: memFree=1405780/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=161.78
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 9099 0 1 0 15546 632 0 0 25 0 8 0 78580168 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 8829 2527 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.24
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 78580175 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 8829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.78
Current children cumulated vsize (KiB) 915464
[startup+222.595 s]
/proc/loadavg: 1.98 1.57 1.24 3/87 6960
/proc/meminfo: memFree=1405724/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=221.55
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 9102 0 1 0 21522 633 0 0 25 0 8 0 78580168 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 8832 2527 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.24
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 78580175 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 8832 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 915464
[startup+282.63 s]
/proc/loadavg: 1.99 1.65 1.29 3/87 6960
/proc/meminfo: memFree=1405660/2055920 swapFree=4191892/4192956
[pid=6952] ppid=6950 vsize=915464 CPUtime=281.3
/proc/6952/stat : 6952 (java) R 6950 6952 6325 0 -1 0 9104 0 1 0 27497 633 0 0 25 0 8 0 78580168 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073898324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6952/statm: 228866 8834 2527 14 0 215336 0
[pid=6952/tid=6954] ppid=6950 vsize=915464 CPUtime=0.02
/proc/6952/task/6954/stat : 6954 (java) S 6950 6952 6325 0 -1 64 198 0 0 0 2 0 0 0 16 0 8 0 78580172 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6955] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6955/stat : 6955 (java) S 6950 6952 6325 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78580172 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6956] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6956/stat : 6956 (java) S 6950 6952 6325 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78580172 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6957] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6957/stat : 6957 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 78580175 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6958] ppid=6950 vsize=915464 CPUtime=0.24
/proc/6952/task/6958/stat : 6958 (java) S 6950 6952 6325 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 78580175 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6959] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6959/stat : 6959 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 78580175 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6952/tid=6960] ppid=6950 vsize=915464 CPUtime=0
/proc/6952/task/6960/stat : 6960 (java) S 6950 6952 6325 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78580175 937435136 8834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.3
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 325.404
CPU time (s): 323.843
CPU user time (s): 317.505
CPU system time (s): 6.33804
CPU usage (%): 99.5203
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.505
system time used= 6.33804
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9200
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= 7787
involuntary context switches= 12614
runsolver used 0.415936 s user time and 1.01484 s system time
The end
Begin job on node65 on Sat Jan 20 16:33:49 UTC 2007
IDJOB= 281261
IDBENCH= 12130
IDSOLVER= 69
FILE ID= node65/281261-1169310829
PBS_JOBID= 3610245
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281261-1169310829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-281261-1169310829 -o ROOT/results/node65/solver-281261-1169310829 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281261-1169310829/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 741954f15997b8632f69eb302e97a010
RANDOM SEED= 262361568
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.263
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.263
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: 1441188 kB
Buffers: 50032 kB
Cached: 458484 kB
SwapCached: 396 kB
Active: 137068 kB
Inactive: 407420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1441188 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3656 kB
Writeback: 0 kB
Mapped: 53876 kB
Slab: 55580 kB
Committed_AS: 2065348 kB
PageTables: 1908 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= 66561 MiB
End job on node65 on Sat Jan 20 16:39:15 UTC 2007