0.43
0.43 Abscon 109 (November, 2006)
0.43
0.43 configuration
0.43 name=epfc.xml
0.47
0.47 instance
0.47 name=/tmp/evaluation/277867-1169270876/unknown.xml
0.50
0.50 domains being loaded...
0.50
0.50 variables being loaded...
0.54 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.103 cpuTime=0.09 mem=6M887
0.54
0.54 relations being loaded...
0.54
0.54 constraints being loaded...
0.77 nbConstraints=1485 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=1471
0.77 nbConflictsStructures=14 nbSharedConflictsStructures=1471 nbSharedBinaryRepresentations=52 maxDegree=49
0.77 maxArity=2
0.77 => wckTime=0.335 cpuTime=0.22 mem=10M804
0.82
0.82 solver LocalSearchSolver being built...
0.86 => wckTime=0.423 cpuTime=0.26 mem=6M128
0.87
0.87 s SATISFIABLE
0.87 o 1033
0.87 c 452
0.87 o 1039
0.87 c 446
0.87 o 1048
0.87 c 437
0.87 o 1055
0.87 c 430
0.87 o 1062
0.87 c 423
0.87 o 1070
0.87 c 415
0.87 o 1074
0.87 c 411
0.87 o 1083
0.87 c 402
0.87 o 1084
0.87 c 401
0.88 o 1085
0.88 c 400
0.88 o 1089
0.88 c 396
0.88 o 1094
0.88 c 391
0.88 o 1097
0.88 c 388
0.88 o 1102
0.88 c 383
0.88 o 1104
0.88 c 381
0.88 o 1111
0.88 c 374
0.88 o 1114
0.88 c 371
0.89 o 1118
0.89 c 367
0.89 o 1121
0.89 c 364
0.89 o 1126
0.89 c 359
0.89 o 1127
0.89 c 358
0.89 o 1129
0.89 c 356
0.90 o 1131
0.90 c 354
0.97 o 1132
0.97 c 353
0.97 o 1133
0.97 c 352
1.21 o 1135
1.21 c 350
1.21 o 1137
1.21 c 348
1.21 o 1140
1.21 c 345
1.42 o 1142
1.42 c 343
1.42 o 1143
1.42 c 342
1.43 o 1144
1.43 c 341
1.43 o 1145
1.43 c 340
1.43 o 1148
1.43 c 337
2.34 o 1149
2.34 c 336
2.34 o 1150
2.34 c 335
5.04
5.04 search
5.04 run=0 nbConstraintChecks=20507298 nbAssignments=10000
5.04 => wckTime=4.184 cpuTime=4.14 mem=6M128
9.19
9.19 search
9.19 run=1 nbConstraintChecks=41617537 nbAssignments=20000
9.19 => wckTime=8.333 cpuTime=8.26 mem=6M128
11.23 o 1152
11.23 c 333
12.67 o 1154
12.67 c 331
13.22
13.22 search
13.22 run=2 nbConstraintChecks=62128537 nbAssignments=30000
13.22 => wckTime=12.366 cpuTime=12.28 mem=6M128
17.37
17.37 search
17.37 run=3 nbConstraintChecks=83277104 nbAssignments=40000
17.37 => wckTime=16.511 cpuTime=16.4 mem=6M128
21.43
21.43 search
21.43 run=4 nbConstraintChecks=103765884 nbAssignments=50000
21.43 => wckTime=20.572 cpuTime=20.45 mem=6M128
25.60
25.60 search
25.60 run=5 nbConstraintChecks=124881656 nbAssignments=60000
25.60 => wckTime=24.738 cpuTime=24.59 mem=6M128
29.64
29.64 search
29.64 run=6 nbConstraintChecks=145384781 nbAssignments=70000
29.64 => wckTime=28.781 cpuTime=28.61 mem=6M128
33.77
33.77 search
33.77 run=7 nbConstraintChecks=166497409 nbAssignments=80000
33.77 => wckTime=32.914 cpuTime=32.73 mem=6M128
37.82
37.82 search
37.82 run=8 nbConstraintChecks=187018980 nbAssignments=90000
37.82 => wckTime=36.966 cpuTime=36.76 mem=6M128
41.99
41.99 search
41.99 run=9 nbConstraintChecks=208143525 nbAssignments=100000
41.99 => wckTime=41.136 cpuTime=40.91 mem=6M128
42.81
42.81 search
42.81 run=10 nbConstraintChecks=212209056 nbAssignments=102145
42.81 => wckTime=41.953 cpuTime=41.73 mem=6M128
42.81
42.81 global
42.81 nbConstraintChecks=212209056 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.81 solvingWckTime=41.951 solvingCpuTime=41.72 expiredTime=no totalExploration=no nbFoundSolutions=0
42.81 globalCpuTime=42.03
42.81 => wckTime=42.376 cpuTime=41.98 mem=6M128
42.81
42.81 solver IterativeSystematicSolver being built...
42.96 => wckTime=42.522 cpuTime=42.09 mem=17M101
43.12
43.12 preprocessing
43.12 nbConstraintChecks=180862 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
43.12 detectedInconsistency=no
43.12 => wckTime=0.156 cpuTime=0.13 mem=17M101
43.21
43.21 search
43.21 run=0 nbConstraintChecks=156879 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
43.21 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=85 nbRestartNogoods=0
43.21 => wckTime=0.248 cpuTime=0.21 mem=18M109
43.31
43.31 search
43.31 run=1 nbConstraintChecks=350504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=145
43.32 nbFailedAssignments=14 nbBacktracks=27 nbVisitedNodes=187 nbRestartNogoods=2
43.32 => wckTime=0.353 cpuTime=0.31 mem=18M109
43.43
43.43 search
43.43 run=2 nbConstraintChecks=600073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=235
43.43 nbFailedAssignments=29 nbBacktracks=50 nbVisitedNodes=315 nbRestartNogoods=4
43.43 => wckTime=0.471 cpuTime=0.42 mem=18M109
43.58
43.58 search
43.58 run=3 nbConstraintChecks=925910 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=338
43.58 nbFailedAssignments=53 nbBacktracks=83 nbVisitedNodes=475 nbRestartNogoods=6
43.58 => wckTime=0.624 cpuTime=0.58 mem=18M109
43.79
43.79 search
43.79 run=4 nbConstraintChecks=1378721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469
43.79 nbFailedAssignments=88 nbBacktracks=133 nbVisitedNodes=690 nbRestartNogoods=8
43.79 => wckTime=0.829 cpuTime=0.78 mem=18M109
44.08
44.08 search
44.08 run=5 nbConstraintChecks=1994845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=637
44.08 nbFailedAssignments=139 nbBacktracks=209 nbVisitedNodes=980 nbRestartNogoods=10
44.08 => wckTime=1.116 cpuTime=1.07 mem=18M109
44.51
44.51 search
44.51 run=6 nbConstraintChecks=2903012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=869
44.51 nbFailedAssignments=214 nbBacktracks=322 nbVisitedNodes=1398 nbRestartNogoods=12
44.51 => wckTime=1.546 cpuTime=1.49 mem=18M109
45.04
45.04 search
45.04 run=7 nbConstraintChecks=4134562 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1187
45.04 nbFailedAssignments=312 nbBacktracks=493 nbVisitedNodes=1977 nbRestartNogoods=16
45.04 => wckTime=2.084 cpuTime=2.02 mem=18M109
45.93
45.93 search
45.93 run=8 nbConstraintChecks=6084764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1657
45.93 nbFailedAssignments=480 nbBacktracks=749 nbVisitedNodes=2868 nbRestartNogoods=19
45.93 => wckTime=2.971 cpuTime=2.88 mem=18M109
47.21
47.21 search
47.21 run=9 nbConstraintChecks=8964489 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2359
47.21 nbFailedAssignments=754 nbBacktracks=1134 nbVisitedNodes=4187 nbRestartNogoods=22
47.21 => wckTime=4.25 cpuTime=4.15 mem=18M109
48.96
48.96 search
48.96 run=10 nbConstraintChecks=13011898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3312
48.96 nbFailedAssignments=1090 nbBacktracks=1710 nbVisitedNodes=6029 nbRestartNogoods=26
48.96 => wckTime=5.997 cpuTime=5.88 mem=18M109
51.50
51.50 search
51.50 run=11 nbConstraintChecks=19149145 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4760
51.50 nbFailedAssignments=1626 nbBacktracks=2575 nbVisitedNodes=8842 nbRestartNogoods=32
51.50 => wckTime=8.542 cpuTime=8.41 mem=18M109
55.75
55.75 search
55.75 run=12 nbConstraintChecks=28617234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6935
55.75 nbFailedAssignments=2464 nbBacktracks=3872 nbVisitedNodes=13117 nbRestartNogoods=37
55.75 => wckTime=12.787 cpuTime=12.64 mem=18M109
62.09
62.09 search
62.09 run=13 nbConstraintChecks=42628966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10123
62.09 nbFailedAssignments=3665 nbBacktracks=5819 nbVisitedNodes=19380 nbRestartNogoods=43
62.09 => wckTime=19.129 cpuTime=18.95 mem=18M109
70.36
70.37 search
70.37 run=14 nbConstraintChecks=62326995 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14690
70.37 nbFailedAssignments=5269 nbBacktracks=8738 nbVisitedNodes=28401 nbRestartNogoods=47
70.37 => wckTime=27.405 cpuTime=27.19 mem=18M109
85.31
85.31 search
85.31 run=15 nbConstraintChecks=94684102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22123
85.31 nbFailedAssignments=8285 nbBacktracks=13117 nbVisitedNodes=42981 nbRestartNogoods=52
85.31 => wckTime=42.354 cpuTime=42.06 mem=18M109
106.45
106.45 search
106.45 run=16 nbConstraintChecks=140615394 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32635
106.45 nbFailedAssignments=12187 nbBacktracks=19687 nbVisitedNodes=63721 nbRestartNogoods=56
106.45 => wckTime=63.493 cpuTime=63.1 mem=18M109
137.46
137.46 search
137.46 run=17 nbConstraintChecks=210189873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48585
137.46 nbFailedAssignments=18246 nbBacktracks=29539 nbVisitedNodes=94895 nbRestartNogoods=63
137.46 => wckTime=94.499 cpuTime=93.97 mem=18M109
185.76
185.76 search
185.76 run=18 nbConstraintChecks=317019024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73167
185.76 nbFailedAssignments=28011 nbBacktracks=44319 nbVisitedNodes=143193 nbRestartNogoods=69
185.76 => wckTime=142.801 cpuTime=142.04 mem=18M109
259.69
259.69 search
259.69 run=19 nbConstraintChecks=475116233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109424
259.69 nbFailedAssignments=42064 nbBacktracks=66488 nbVisitedNodes=214661 nbRestartNogoods=75
259.69 => wckTime=216.73 cpuTime=215.63 mem=18M109
372.01
372.01 search
372.01 run=20 nbConstraintChecks=711935552 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=164357
372.01 nbFailedAssignments=63708 nbBacktracks=99740 nbVisitedNodes=322331 nbRestartNogoods=84
372.01 => wckTime=329.048 cpuTime=327.43 mem=18M109
521.91
521.91 search
521.91 run=21 nbConstraintChecks=1039161575 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=241979
521.91 nbFailedAssignments=91409 nbBacktracks=149620 nbVisitedNodes=472932 nbRestartNogoods=90
521.91 => wckTime=478.949 cpuTime=476.62 mem=18M109
743.92
743.92 search
743.92 run=22 nbConstraintChecks=1529659043 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=362112
743.92 nbFailedAssignments=136682 nbBacktracks=224438 nbVisitedNodes=701243 nbRestartNogoods=95
743.92 => wckTime=700.961 cpuTime=697.6 mem=18M109
1083.80
1083.80 search
1083.80 run=23 nbConstraintChecks=2255088751 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=540957
1083.80 nbFailedAssignments=203258 nbBacktracks=336671 nbVisitedNodes=1037984 nbRestartNogoods=100
1083.80 => wckTime=1040.839 cpuTime=1035.89 mem=18M109
1531.94
1531.94 search
1531.94 run=24 nbConstraintChecks=3198106226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=794988
1531.94 nbFailedAssignments=288910 nbBacktracks=505012 nbVisitedNodes=1487780 nbRestartNogoods=108
1531.94 => wckTime=1488.983 cpuTime=1481.93 mem=18M109
2079.32
2079.32 search
2079.32 run=25 nbConstraintChecks=4493449090 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1149895
2079.32 nbFailedAssignments=391265 nbBacktracks=757523 nbVisitedNodes=2110667 nbRestartNogoods=117
2079.32 => wckTime=2036.364 cpuTime=2026.56 mem=18M109
2411.52 v 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-277867-1169270876 -o ROOT/results/node70/solver-277867-1169270876 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277867-1169270876/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.73 1.92 1.96 4/73 4355
/proc/meminfo: memFree=1424656/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=1784 CPUtime=0
/proc/4354/stat : 4354 (java) D 4352 4354 3558 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 74584528 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/4354/statm: 446 160 125 14 0 91 0
[startup+0.106519 s]
/proc/loadavg: 1.73 1.92 1.96 4/73 4355
/proc/meminfo: memFree=1424656/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=47976 CPUtime=0
/proc/4354/stat : 4354 (java) D 4352 4354 3558 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 74584528 49127424 972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4354/statm: 11994 972 769 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47976
[startup+0.518562 s]
/proc/loadavg: 1.73 1.92 1.96 4/73 4355
/proc/meminfo: memFree=1424656/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915332 CPUtime=0.37
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 5932 0 1 0 34 3 0 0 18 0 8 0 74584528 937299968 5671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228833 5671 2131 14 0 215303 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915332
[startup+1.34064 s]
/proc/loadavg: 1.73 1.92 1.96 3/80 4362
/proc/meminfo: memFree=1403608/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=1.19
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 7915 0 1 0 107 12 0 0 23 0 8 0 74584528 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 7653 2477 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.18
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 363 0 0 0 17 1 0 0 16 0 8 0 74584548 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 7653 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915444
[startup+2.9778 s]
/proc/loadavg: 1.73 1.92 1.96 3/80 4362
/proc/meminfo: memFree=1403608/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2.82
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 7922 0 1 0 253 29 0 0 25 0 8 0 74584528 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 7659 2479 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.19
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 369 0 0 0 18 1 0 0 16 0 8 0 74584548 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 7659 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915444
[startup+6.26013 s]
/proc/loadavg: 1.75 1.92 1.96 3/80 4362
/proc/meminfo: memFree=1403544/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=6.08
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 7924 0 1 0 548 60 0 0 25 0 8 0 74584528 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 7661 2479 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.19
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915444
[startup+12.7428 s]
/proc/loadavg: 1.79 1.93 1.96 3/80 4362
/proc/meminfo: memFree=1403480/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=12.54
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 7924 0 1 0 1132 122 0 0 25 0 8 0 74584528 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797850 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 7661 2479 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.19
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915444
[startup+25.6001 s]
/proc/loadavg: 1.82 1.93 1.96 3/80 4362
/proc/meminfo: memFree=1403544/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=25.33
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 7924 0 1 0 2289 244 0 0 25 0 8 0 74584528 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944772 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 7661 2479 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 311 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.19
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 371 0 0 0 18 1 0 0 16 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 7661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915444
[startup+51.2037 s]
/proc/loadavg: 1.88 1.93 1.96 4/80 4362
/proc/meminfo: memFree=1398040/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=50.81
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9383 0 1 0 4670 411 0 0 25 0 8 0 74584528 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9113 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 17 0 8 0 74584548 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915444
[startup+102.406 s]
/proc/loadavg: 1.95 1.94 1.96 3/80 4362
/proc/meminfo: memFree=1398040/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=101.78
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9395 0 1 0 9767 411 0 0 25 0 8 0 74584528 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073921936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9125 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 915444
[startup+162.453 s]
/proc/loadavg: 1.98 1.95 1.96 3/80 4362
/proc/meminfo: memFree=1398040/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=161.54
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9400 0 1 0 15743 411 0 0 25 0 8 0 74584528 937414656 9130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969270 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.12
Current children cumulated vsize (KiB) 915444
[startup+2083.92 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4560
/proc/meminfo: memFree=1397400/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2073.83
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 206969 414 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.83
Current children cumulated vsize (KiB) 915444
[startup+2143.97 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4560
/proc/meminfo: memFree=1397464/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2133.6
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 212946 414 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073969264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.6
Current children cumulated vsize (KiB) 915444
[startup+2204.01 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4560
/proc/meminfo: memFree=1397464/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2193.36
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 218922 414 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.36
Current children cumulated vsize (KiB) 915444
[startup+2264.06 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4560
/proc/meminfo: memFree=1397528/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2253.13
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 224899 414 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.13
Current children cumulated vsize (KiB) 915444
[startup+2324.11 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4560
/proc/meminfo: memFree=1397528/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2312.89
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 230875 414 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.89
Current children cumulated vsize (KiB) 915444
[startup+2384.15 s]
/proc/loadavg: 2.04 2.01 2.00 2/75 4576
/proc/meminfo: memFree=1402496/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2372.66
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 236851 415 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.66
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.51 s]
/proc/loadavg: 1.94 1.99 1.99 2/75 4619
/proc/meminfo: memFree=1400328/2055920 swapFree=4192812/4192956
[pid=4354] ppid=4352 vsize=915444 CPUtime=2400
/proc/4354/stat : 4354 (java) R 4352 4354 3558 0 -1 0 9421 0 1 0 239584 416 0 0 25 0 8 0 74584528 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920265 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4354/statm: 228861 9150 2532 14 0 215331 0
[pid=4354/tid=4356] ppid=4352 vsize=915444 CPUtime=0.03
/proc/4354/task/4356/stat : 4356 (java) S 4352 4354 3558 0 -1 64 312 0 0 0 3 0 0 0 16 0 8 0 74584544 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4357] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4357/stat : 4357 (java) S 4352 4354 3558 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4358] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4358/stat : 4358 (java) S 4352 4354 3558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 74584545 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4359] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4359/stat : 4359 (java) S 4352 4354 3558 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4360] ppid=4352 vsize=915444 CPUtime=0.31
/proc/4354/task/4360/stat : 4360 (java) S 4352 4354 3558 0 -1 64 435 0 0 0 29 2 0 0 16 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4361] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4361/stat : 4361 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4354/tid=4362] ppid=4352 vsize=915444 CPUtime=0
/proc/4354/task/4362/stat : 4362 (java) S 4352 4354 3558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74584548 937414656 9150 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.58
CPU time (s): 2400.07
CPU user time (s): 2395.9
CPU system time (s): 4.16837
CPU usage (%): 99.5229
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.9
system time used= 4.16837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9443
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= 50078
involuntary context switches= 75533
runsolver used 3.48247 s user time and 7.18091 s system time
The end
Begin job on node70 on Sat Jan 20 05:27:56 UTC 2007
IDJOB= 277867
IDBENCH= 7732
IDSOLVER= 68
FILE ID= node70/277867-1169270876
PBS_JOBID= 3607328
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-80-1100-2000/cnf-2-80-2000-523841_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277867-1169270876/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-277867-1169270876 -o ROOT/results/node70/solver-277867-1169270876 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277867-1169270876/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2c1d6fd6a8186858a440083267c87ba2
RANDOM SEED= 219833501
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1425136 kB
Buffers: 42940 kB
Cached: 492484 kB
SwapCached: 144 kB
Active: 124400 kB
Inactive: 435564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1425136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4004 kB
Writeback: 0 kB
Mapped: 35924 kB
Slab: 56432 kB
Committed_AS: 798500 kB
PageTables: 1708 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 node70 on Sat Jan 20 06:08:08 UTC 2007