0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278327-1169287215/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.091 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=2239 nbRelationTypes=44 nbExtensionStructures=44 nbSharedExtensionStructures=2195
0.68 nbConflictsStructures=44 nbSharedConflictsStructures=2195 nbSharedBinaryRepresentations=0 maxDegree=185
0.68 maxArity=3
0.68 => wckTime=0.362 cpuTime=0.23 mem=13M736
0.73
0.73 solver LocalSearchSolver being built...
0.77 => wckTime=0.458 cpuTime=0.27 mem=6M546
0.78
0.78 s SATISFIABLE
0.78 o 1945
0.78 c 294
0.78 o 1953
0.78 c 286
0.78 o 1961
0.78 c 278
0.78 o 1963
0.79 c 276
0.79 o 1972
0.79 c 267
0.79 o 1978
0.79 c 261
0.79 o 1981
0.79 c 258
0.79 o 1982
0.79 c 257
0.79 o 1989
0.79 c 250
0.79 o 1992
0.79 c 247
0.80 o 1993
0.80 c 246
0.80 o 1997
0.80 c 242
0.80 o 2001
0.80 c 238
0.80 o 2002
0.80 c 237
0.88 o 2003
0.88 c 236
0.88 o 2010
0.88 c 229
0.89 o 2011
0.89 c 228
2.04 o 2012
2.04 c 227
2.36 o 2013
2.36 c 226
2.36 o 2018
2.36 c 221
10.16
10.16 search
10.16 run=0 nbConstraintChecks=51808881 nbAssignments=10000
10.16 => wckTime=9.389 cpuTime=9.29 mem=6M546
19.59
19.59 search
19.59 run=1 nbConstraintChecks=105015461 nbAssignments=20000
19.59 => wckTime=18.818 cpuTime=18.62 mem=6M546
28.77
28.77 search
28.77 run=2 nbConstraintChecks=156881978 nbAssignments=30000
28.77 => wckTime=27.996 cpuTime=27.71 mem=6M546
32.64
32.64 search
32.64 run=3 nbConstraintChecks=179563485 nbAssignments=34281
32.64 => wckTime=31.869 cpuTime=31.56 mem=6M546
32.64
32.64 global
32.64 nbConstraintChecks=179563485 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.64 solvingWckTime=31.868 solvingCpuTime=31.55 expiredTime=no totalExploration=no nbFoundSolutions=0
32.64 globalCpuTime=31.88
32.64 => wckTime=32.328 cpuTime=31.83 mem=6M546
32.64
32.64 solver IterativeSystematicSolver being built...
32.83 => wckTime=32.517 cpuTime=31.98 mem=29M532
32.85
32.85 preprocessing
32.85 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.85 detectedInconsistency=no
32.85 => wckTime=0.02 cpuTime=0.01 mem=29M532
33.01
33.01 search
33.01 run=0 nbConstraintChecks=42523 nbValidityChecks=94797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.01 nbAssignments=40 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0
33.01 => wckTime=0.175 cpuTime=0.15 mem=29M532
33.19
33.19 search
33.19 run=1 nbConstraintChecks=108191 nbValidityChecks=253792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.19 nbAssignments=92 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=137 nbRestartNogoods=1
33.19 => wckTime=0.356 cpuTime=0.31 mem=29M532
33.41
33.41 search
33.41 run=2 nbConstraintChecks=192937 nbValidityChecks=489015 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.41 nbAssignments=157 nbFailedAssignments=38 nbBacktracks=47 nbVisitedNodes=243 nbRestartNogoods=4
33.41 => wckTime=0.578 cpuTime=0.53 mem=29M532
33.72
33.72 search
33.72 run=3 nbConstraintChecks=334897 nbValidityChecks=852876 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.72 nbAssignments=249 nbFailedAssignments=71 nbBacktracks=81 nbVisitedNodes=402 nbRestartNogoods=6
33.72 => wckTime=0.889 cpuTime=0.84 mem=29M532
34.10
34.10 search
34.10 run=4 nbConstraintChecks=533858 nbValidityChecks=1294492 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.10 nbAssignments=360 nbFailedAssignments=104 nbBacktracks=132 nbVisitedNodes=597 nbRestartNogoods=9
34.10 => wckTime=1.264 cpuTime=1.22 mem=29M532
34.74
34.74 search
34.74 run=5 nbConstraintChecks=780570 nbValidityChecks=2033853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.74 nbAssignments=515 nbFailedAssignments=161 nbBacktracks=207 nbVisitedNodes=884 nbRestartNogoods=11
34.74 => wckTime=1.904 cpuTime=1.85 mem=29M532
35.70
35.70 search
35.70 run=6 nbConstraintChecks=1197849 nbValidityChecks=3173914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.70 nbAssignments=750 nbFailedAssignments=259 nbBacktracks=321 nbVisitedNodes=1331 nbRestartNogoods=15
35.70 => wckTime=2.864 cpuTime=2.81 mem=29M532
37.03
37.03 search
37.03 run=7 nbConstraintChecks=1821487 nbValidityChecks=4828588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.03 nbAssignments=1087 nbFailedAssignments=399 nbBacktracks=491 nbVisitedNodes=1978 nbRestartNogoods=20
37.03 => wckTime=4.199 cpuTime=4.14 mem=29M532
39.09
39.09 search
39.09 run=8 nbConstraintChecks=2704155 nbValidityChecks=7291401 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.09 nbAssignments=1569 nbFailedAssignments=601 nbBacktracks=747 nbVisitedNodes=2918 nbRestartNogoods=22
39.09 => wckTime=6.261 cpuTime=6.19 mem=29M532
42.26
42.26 search
42.26 run=9 nbConstraintChecks=3948806 nbValidityChecks=11043618 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.26 nbAssignments=2272 nbFailedAssignments=899 nbBacktracks=1132 nbVisitedNodes=4304 nbRestartNogoods=27
42.26 => wckTime=9.424 cpuTime=9.34 mem=29M532
47.05
47.05 search
47.05 run=10 nbConstraintChecks=5833746 nbValidityChecks=16833380 nbPropagations=0 nbRevisions=0
47.05 nbUselessRevisions=0 nbAssignments=3340 nbFailedAssignments=1368 nbBacktracks=1708 nbVisitedNodes=6417
47.05 nbRestartNogoods=33
47.05 => wckTime=14.214 cpuTime=14.12 mem=29M532
54.35
54.35 search
54.35 run=11 nbConstraintChecks=8538973 nbValidityChecks=25536136 nbPropagations=0 nbRevisions=0
54.35 nbUselessRevisions=0 nbAssignments=4934 nbFailedAssignments=2077 nbBacktracks=2572 nbVisitedNodes=9584
54.35 nbRestartNogoods=36
54.35 => wckTime=21.516 cpuTime=21.4 mem=29M532
65.12
65.12 search
65.12 run=12 nbConstraintChecks=12612416 nbValidityChecks=38311133 nbPropagations=0 nbRevisions=0
65.12 nbUselessRevisions=0 nbAssignments=7248 nbFailedAssignments=3074 nbBacktracks=3869 nbVisitedNodes=14192
65.12 nbRestartNogoods=41
65.12 => wckTime=32.288 cpuTime=32.16 mem=29M532
82.08
82.08 search
82.08 run=13 nbConstraintChecks=18543754 nbValidityChecks=58232124 nbPropagations=0 nbRevisions=0
82.08 nbUselessRevisions=0 nbAssignments=10810 nbFailedAssignments=4669 nbBacktracks=5816 nbVisitedNodes=21296
82.08 nbRestartNogoods=48
82.08 => wckTime=49.245 cpuTime=49.05 mem=29M532
106.70
106.70 search
106.70 run=14 nbConstraintChecks=27394515 nbValidityChecks=87273959 nbPropagations=0 nbRevisions=0
106.70 nbUselessRevisions=0 nbAssignments=16025 nbFailedAssignments=6946 nbBacktracks=8735 nbVisitedNodes=31707
106.70 nbRestartNogoods=55
106.70 => wckTime=73.867 cpuTime=73.66 mem=29M532
144.42
144.42 search
144.42 run=15 nbConstraintChecks=40536891 nbValidityChecks=131881982 nbPropagations=0 nbRevisions=0
144.42 nbUselessRevisions=0 nbAssignments=23907 nbFailedAssignments=10430 nbBacktracks=13113 nbVisitedNodes=47451
144.42 nbRestartNogoods=62
144.42 => wckTime=111.587 cpuTime=111.3 mem=29M532
200.83
200.83 search
200.83 run=16 nbConstraintChecks=59838026 nbValidityChecks=197828868 nbPropagations=0 nbRevisions=0
200.83 nbUselessRevisions=0 nbAssignments=35662 nbFailedAssignments=15598 nbBacktracks=19682 nbVisitedNodes=70943
200.83 nbRestartNogoods=69
200.83 => wckTime=167.999 cpuTime=167.67 mem=29M532
288.99
288.99 search
288.99 run=17 nbConstraintChecks=88055654 nbValidityChecks=299952058 nbPropagations=0 nbRevisions=0
288.99 nbUselessRevisions=0 nbAssignments=53401 nbFailedAssignments=23466 nbBacktracks=29534 nbVisitedNodes=106402
288.99 nbRestartNogoods=77
288.99 => wckTime=256.156 cpuTime=255.74 mem=29M532
414.77
414.77 search
414.77 run=18 nbConstraintChecks=131685749 nbValidityChecks=448124597 nbPropagations=0 nbRevisions=0
414.77 nbUselessRevisions=0 nbAssignments=79292 nbFailedAssignments=34561 nbBacktracks=44312 nbVisitedNodes=158166
414.77 nbRestartNogoods=84
414.77 => wckTime=381.935 cpuTime=381.37 mem=29M532
617.65
617.65 search
617.65 run=19 nbConstraintChecks=195271956 nbValidityChecks=684609679 nbPropagations=0 nbRevisions=0
617.65 nbUselessRevisions=0 nbAssignments=119848 nbFailedAssignments=52932 nbBacktracks=66480 nbVisitedNodes=239258
617.65 nbRestartNogoods=89
617.65 => wckTime=584.816 cpuTime=584.03 mem=29M532
913.85
913.85 search
913.85 run=20 nbConstraintChecks=288811072 nbValidityChecks=1027003084 nbPropagations=0 nbRevisions=0
913.85 nbUselessRevisions=0 nbAssignments=178448 nbFailedAssignments=78262 nbBacktracks=99732 nbVisitedNodes=356439
913.85 nbRestartNogoods=96
913.85 => wckTime=881.018 cpuTime=879.92 mem=29M532
1372.01
1372.01 search
1372.01 run=21 nbConstraintChecks=425412928 nbValidityChecks=1550301016 nbPropagations=0 nbRevisions=0
1372.01 nbUselessRevisions=0 nbAssignments=267686 nbFailedAssignments=117604 nbBacktracks=149610 nbVisitedNodes=534893
1372.01 nbRestartNogoods=105
1372.01 => wckTime=1339.173 cpuTime=1337.59 mem=29M532
2052.36
2052.36 search
2052.36 run=22 nbConstraintChecks=636411943 nbValidityChecks=2351220190 nbPropagations=0 nbRevisions=0
2052.36 nbUselessRevisions=0 nbAssignments=402608 nbFailedAssignments=177690 nbBacktracks=224428 nbVisitedNodes=804661
2052.36 nbRestartNogoods=113
2052.36 => wckTime=2019.531 cpuTime=2017.22 mem=29M532
2402.99 v 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-278327-1169287215 -o ROOT/results/node9/solver-278327-1169287215 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278327-1169287215/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.08 2.03 2.00 4/93 4167
/proc/meminfo: memFree=1233384/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=1784 CPUtime=0
/proc/4166/stat : 4166 (java) D 4164 4166 3321 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 277116651 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4166/statm: 446 140 106 14 0 91 0
[startup+0.106753 s]
/proc/loadavg: 2.08 2.03 2.00 4/93 4167
/proc/meminfo: memFree=1233384/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=914988 CPUtime=0.08
/proc/4166/stat : 4166 (java) D 4164 4166 3321 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 277116651 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514797 s]
/proc/loadavg: 2.08 2.03 2.00 4/93 4167
/proc/meminfo: memFree=1233384/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915332 CPUtime=0.48
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 6332 0 1 0 44 4 0 0 18 0 8 0 277116651 937299968 6071 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073543227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228833 6071 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33588 s]
/proc/loadavg: 2.08 2.03 2.00 3/100 4174
/proc/meminfo: memFree=1209840/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=1.29
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 8554 0 1 0 120 9 0 0 24 0 8 0 277116651 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228861 8292 2473 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.18
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 367 0 0 0 18 0 0 0 16 0 8 0 277116659 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 8292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.97306 s]
/proc/loadavg: 2.08 2.03 2.00 3/100 4174
/proc/meminfo: memFree=1209776/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2.92
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 8561 0 1 0 276 16 0 0 25 0 8 0 277116651 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228861 8298 2475 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.19
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 373 0 0 0 19 0 0 0 16 0 8 0 277116659 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915444
[startup+6.27443 s]
/proc/loadavg: 2.08 2.03 2.00 3/100 4174
/proc/meminfo: memFree=1209712/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915448 CPUtime=6.19
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 8561 0 1 0 586 33 0 0 25 0 8 0 277116651 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228862 8298 2475 14 0 215332 0
[pid=4166/tid=4168] ppid=4164 vsize=915448 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 277116655 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915448 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915448 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915448 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915448 CPUtime=0.19
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 373 0 0 0 19 0 0 0 16 0 8 0 277116659 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915448 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915448 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) R 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937418752 8298 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448
[startup+12.7441 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 4174
/proc/meminfo: memFree=1209656/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=12.6
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 8564 0 1 0 1196 64 0 0 25 0 8 0 277116651 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228861 8301 2475 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.19
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 376 0 0 0 19 0 0 0 17 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.6126 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 4174
/proc/meminfo: memFree=1209784/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=25.36
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 8564 0 1 0 2411 125 0 0 25 0 8 0 277116651 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816467 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4166/statm: 228861 8301 2475 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.19
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 376 0 0 0 19 0 0 0 17 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 8301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
[startup+51.2234 s]
/proc/loadavg: 2.04 2.03 2.00 3/101 4318
/proc/meminfo: memFree=1229192/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=50.86
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12334 0 1 0 4921 165 0 0 25 0 8 0 277116651 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952610 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12064 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 438 0 0 0 30 0 0 0 17 0 8 0 277116659 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915444
[startup+102.485 s]
/proc/loadavg: 2.16 2.06 2.01 3/100 4423
/proc/meminfo: memFree=1228112/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=102.02
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12342 0 1 0 10027 175 0 0 25 0 8 0 277116651 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12072 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 438 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 915444
[startup+162.585 s]
/proc/loadavg: 2.06 2.05 2.01 3/94 4452
/proc/meminfo: memFree=1229224/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=162.05
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12348 0 1 0 16026 179 0 0 25 0 8 0 277116651 937414656 12078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.51
Current children cumulated vsize (KiB) 915444
[startup+2085.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 4454
/proc/meminfo: memFree=1229096/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2082.55
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 208071 184 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.55
Current children cumulated vsize (KiB) 915444
[startup+2145.24 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 4454
/proc/meminfo: memFree=1229096/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2142.58
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 214074 184 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142.58
Current children cumulated vsize (KiB) 915444
[startup+2205.34 s]
/proc/loadavg: 1.96 2.00 2.00 2/88 4481
/proc/meminfo: memFree=1234328/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2202.61
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 220076 185 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2202.61
Current children cumulated vsize (KiB) 915444
[startup+2265.4 s]
/proc/loadavg: 1.62 1.89 1.96 3/100 5286
/proc/meminfo: memFree=1214000/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2262.61
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 226069 192 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2262.61
Current children cumulated vsize (KiB) 915444
[startup+2325.45 s]
/proc/loadavg: 1.86 1.91 1.96 3/100 5286
/proc/meminfo: memFree=1206832/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2322.6
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 232068 192 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073970352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2322.6
Current children cumulated vsize (KiB) 915444
[startup+2385.5 s]
/proc/loadavg: 1.95 1.92 1.96 3/100 5286
/proc/meminfo: memFree=1206768/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2382.57
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 238065 192 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974269 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2382.57
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.98 s]
/proc/loadavg: 1.96 1.92 1.96 3/100 5286
/proc/meminfo: memFree=1206768/2055920 swapFree=4191880/4192956
[pid=4166] ppid=4164 vsize=915444 CPUtime=2400.05
/proc/4166/stat : 4166 (java) R 4164 4166 3321 0 -1 0 12367 0 1 0 239813 192 0 0 25 0 8 0 277116651 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4166/statm: 228861 12097 2529 14 0 215331 0
[pid=4166/tid=4168] ppid=4164 vsize=915444 CPUtime=0.04
/proc/4166/task/4168/stat : 4168 (java) S 4164 4166 3321 0 -1 64 410 0 0 0 4 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4169] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4169/stat : 4169 (java) S 4164 4166 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4170] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4170/stat : 4170 (java) S 4164 4166 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277116655 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4171] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4171/stat : 4171 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4172] ppid=4164 vsize=915444 CPUtime=0.3
/proc/4166/task/4172/stat : 4172 (java) S 4164 4166 3321 0 -1 64 440 0 0 0 30 0 0 0 16 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4166/tid=4173] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4173/stat : 4173 (java) S 4164 4166 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4166/tid=4174] ppid=4164 vsize=915444 CPUtime=0
/proc/4166/task/4174/stat : 4174 (java) S 4164 4166 3321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277116659 937414656 12097 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.05
CPU time (s): 2400.12
CPU user time (s): 2398.19
CPU system time (s): 1.93371
CPU usage (%): 99.8783
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.19
system time used= 1.93371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12389
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= 49921
involuntary context switches= 79681
runsolver used 3.13552 s user time and 7.51386 s system time
The end
Begin job on node9 on Sat Jan 20 10:00:15 UTC 2007
IDJOB= 278327
IDBENCH= 8270
IDSOLVER= 69
FILE ID= node9/278327-1169287215
PBS_JOBID= 3609490
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2500-147421_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278327-1169287215/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-278327-1169287215 -o ROOT/results/node9/solver-278327-1169287215 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278327-1169287215/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b8da1be296b9a9adbdf775fbdaf7cb97
RANDOM SEED= 500076078
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.231
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.231
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: 1233800 kB
Buffers: 59812 kB
Cached: 590816 kB
SwapCached: 268 kB
Active: 326940 kB
Inactive: 409952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1233800 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1840 kB
Writeback: 4 kB
Mapped: 108092 kB
Slab: 69856 kB
Committed_AS: 9205468 kB
PageTables: 2420 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 node9 on Sat Jan 20 10:40:19 UTC 2007