0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276129-1169231504/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=49 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.089 cpuTime=0.08 mem=6M910
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.63 nbConstraints=441 nbConflictsStructures=1 nbSharedConflictsStructures=440 nbSharedBinaryRepresentations=0
0.63 nbEvaluationManagers=1 nbSharedEvaluationManagers=440 maxDegree=36 maxArity=4
0.63 => wckTime=0.335 cpuTime=0.24 mem=15M686
0.68
0.68 solver LocalSearchSolver being built...
0.71 => wckTime=0.416 cpuTime=0.28 mem=5M767
0.72
0.72 s SATISFIABLE
0.72 o 402
0.72 c 39
0.72 o 407
0.72 c 34
0.73 o 412
0.73 c 29
0.73 o 415
0.73 c 26
0.73 o 416
0.73 c 25
0.73 o 418
0.73 c 23
0.73 o 420
0.73 c 21
5.31
5.31 search
5.31 run=0 nbConstraintChecks=8010921 nbAssignments=10000
5.31 => wckTime=4.593 cpuTime=4.58 mem=5M767
9.90
9.90 search
9.90 run=1 nbConstraintChecks=16239020 nbAssignments=20000
9.90 => wckTime=9.19 cpuTime=9.16 mem=5M767
14.44
14.44 search
14.44 run=2 nbConstraintChecks=24262302 nbAssignments=30000
14.44 => wckTime=13.722 cpuTime=13.7 mem=5M767
19.05
19.05 search
19.05 run=3 nbConstraintChecks=32451269 nbAssignments=40000
19.05 => wckTime=18.334 cpuTime=18.3 mem=5M767
23.57
23.57 search
23.57 run=4 nbConstraintChecks=40513633 nbAssignments=50000
23.57 => wckTime=22.854 cpuTime=22.82 mem=5M767
28.16
28.16 search
28.16 run=5 nbConstraintChecks=48723939 nbAssignments=60000
28.16 => wckTime=27.447 cpuTime=27.42 mem=5M767
30.76
30.76 search
30.76 run=6 nbConstraintChecks=53332662 nbAssignments=65834
30.76 => wckTime=30.043 cpuTime=30.02 mem=5M767
30.76
30.76 global
30.76 nbConstraintChecks=53332662 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.76 solvingWckTime=30.042 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.76 globalCpuTime=30.35
30.76 => wckTime=30.46 cpuTime=30.3 mem=5M767
30.76
30.76 solver IterativeSystematicSolver being built...
30.92 => wckTime=30.623 cpuTime=30.41 mem=19M690
30.93
30.93 preprocessing
30.93 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.93 detectedInconsistency=no
30.93 => wckTime=0.0080 cpuTime=0.0 mem=19M690
31.01
31.01 search
31.01 run=0 nbConstraintChecks=6514 nbValidityChecks=16363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.01 nbAssignments=48 nbFailedAssignments=15 nbBacktracks=10 nbVisitedNodes=74 nbRestartNogoods=0
31.01 => wckTime=0.086 cpuTime=0.05 mem=19M690
31.06
31.06 search
31.06 run=1 nbConstraintChecks=15886 nbValidityChecks=43803 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.06 nbAssignments=104 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=155 nbRestartNogoods=2
31.06 => wckTime=0.138 cpuTime=0.1 mem=20M666
31.11
31.11 search
31.11 run=2 nbConstraintChecks=28169 nbValidityChecks=83776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 nbAssignments=171 nbFailedAssignments=39 nbBacktracks=50 nbVisitedNodes=261 nbRestartNogoods=5
31.11 => wckTime=0.191 cpuTime=0.15 mem=20M666
31.18
31.18 search
31.18 run=3 nbConstraintChecks=48747 nbValidityChecks=139714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.18 nbAssignments=256 nbFailedAssignments=59 nbBacktracks=83 nbVisitedNodes=399 nbRestartNogoods=7
31.18 => wckTime=0.253 cpuTime=0.22 mem=20M666
31.27
31.27 search
31.27 run=4 nbConstraintChecks=75480 nbValidityChecks=227758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.27 nbAssignments=368 nbFailedAssignments=90 nbBacktracks=135 nbVisitedNodes=594 nbRestartNogoods=8
31.27 => wckTime=0.347 cpuTime=0.31 mem=20M666
31.41
31.41 search
31.41 run=5 nbConstraintChecks=116430 nbValidityChecks=368014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.41 nbAssignments=529 nbFailedAssignments=144 nbBacktracks=211 nbVisitedNodes=885 nbRestartNogoods=11
31.41 => wckTime=0.483 cpuTime=0.44 mem=20M666
31.61
31.61 search
31.61 run=6 nbConstraintChecks=172302 nbValidityChecks=573302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.61 nbAssignments=753 nbFailedAssignments=225 nbBacktracks=324 nbVisitedNodes=1303 nbRestartNogoods=14
31.61 => wckTime=0.685 cpuTime=0.64 mem=20M666
31.89
31.89 search
31.89 run=7 nbConstraintChecks=263138 nbValidityChecks=866647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.89 nbAssignments=1063 nbFailedAssignments=332 nbBacktracks=494 nbVisitedNodes=1890 nbRestartNogoods=18
31.89 => wckTime=0.965 cpuTime=0.92 mem=20M666
32.34
32.34 search
32.34 run=8 nbConstraintChecks=381528 nbValidityChecks=1306785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.34 nbAssignments=1515 nbFailedAssignments=501 nbBacktracks=750 nbVisitedNodes=2767 nbRestartNogoods=22
32.34 => wckTime=1.418 cpuTime=1.36 mem=20M666
32.95
32.95 search
32.95 run=9 nbConstraintChecks=566460 nbValidityChecks=1984377 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.95 nbAssignments=2190 nbFailedAssignments=763 nbBacktracks=1135 nbVisitedNodes=4089 nbRestartNogoods=26
32.95 => wckTime=2.032 cpuTime=1.97 mem=20M666
33.86
33.86 search
33.86 run=10 nbConstraintChecks=840988 nbValidityChecks=2976688 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.86 nbAssignments=3143 nbFailedAssignments=1112 nbBacktracks=1713 nbVisitedNodes=5967 nbRestartNogoods=30
33.86 => wckTime=2.935 cpuTime=2.87 mem=20M666
35.21
35.21 search
35.21 run=11 nbConstraintChecks=1254167 nbValidityChecks=4549607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.21 nbAssignments=4634 nbFailedAssignments=1712 nbBacktracks=2577 nbVisitedNodes=8922 nbRestartNogoods=33
35.21 => wckTime=4.285 cpuTime=4.22 mem=20M666
37.39
37.39 search
37.39 run=12 nbConstraintChecks=1840206 nbValidityChecks=6728923 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.39 nbAssignments=6808 nbFailedAssignments=2566 nbBacktracks=3874 nbVisitedNodes=13246 nbRestartNogoods=37
37.39 => wckTime=6.467 cpuTime=6.4 mem=20M666
40.56
40.56 search
40.56 run=13 nbConstraintChecks=2704921 nbValidityChecks=10084028 nbPropagations=0 nbRevisions=0
40.56 nbUselessRevisions=0 nbAssignments=10081 nbFailedAssignments=3865 nbBacktracks=5821 nbVisitedNodes=19745
40.56 nbRestartNogoods=41
40.56 => wckTime=9.638 cpuTime=9.57 mem=20M666
44.88
44.88 search
44.88 run=14 nbConstraintChecks=4011889 nbValidityChecks=14861654 nbPropagations=0 nbRevisions=0
44.88 nbUselessRevisions=0 nbAssignments=14611 nbFailedAssignments=5450 nbBacktracks=8740 nbVisitedNodes=28768
44.88 nbRestartNogoods=47
44.88 => wckTime=13.962 cpuTime=13.89 mem=20M666
52.20
52.20 search
52.20 run=15 nbConstraintChecks=6006800 nbValidityChecks=22813532 nbPropagations=0 nbRevisions=0
52.20 nbUselessRevisions=0 nbAssignments=22213 nbFailedAssignments=8644 nbBacktracks=13119 nbVisitedNodes=43855
52.20 nbRestartNogoods=52
52.20 => wckTime=21.276 cpuTime=21.2 mem=20M666
62.83
62.83 search
62.83 run=16 nbConstraintChecks=9009476 nbValidityChecks=34168964 nbPropagations=0 nbRevisions=0
62.83 nbUselessRevisions=0 nbAssignments=33279 nbFailedAssignments=13116 nbBacktracks=19688 nbVisitedNodes=65818
62.83 nbRestartNogoods=57
62.83 => wckTime=31.907 cpuTime=31.82 mem=20M666
79.00
79.00 search
79.00 run=17 nbConstraintChecks=13355885 nbValidityChecks=49707879 nbPropagations=0 nbRevisions=0
79.00 nbUselessRevisions=0 nbAssignments=50097 nbFailedAssignments=20055 nbBacktracks=29543 nbVisitedNodes=98764
79.00 nbRestartNogoods=65
79.00 => wckTime=48.077 cpuTime=47.99 mem=20M666
100.77
100.77 search
100.77 run=18 nbConstraintChecks=20480627 nbValidityChecks=73874752 nbPropagations=0 nbRevisions=0
100.77 nbUselessRevisions=0 nbAssignments=74583 nbFailedAssignments=29732 nbBacktracks=44323 nbVisitedNodes=146899
100.77 nbRestartNogoods=71
100.77 => wckTime=69.852 cpuTime=69.76 mem=20M666
129.72
129.72 search
129.72 run=19 nbConstraintChecks=32417399 nbValidityChecks=105918507 nbPropagations=0 nbRevisions=0
129.72 nbUselessRevisions=0 nbAssignments=109790 nbFailedAssignments=42737 nbBacktracks=66491 nbVisitedNodes=215210
129.72 nbRestartNogoods=74
129.72 => wckTime=98.793 cpuTime=98.69 mem=20M666
169.61
169.61 search
169.61 run=20 nbConstraintChecks=48239408 nbValidityChecks=146997325 nbPropagations=0 nbRevisions=0
169.61 nbUselessRevisions=0 nbAssignments=161180 nbFailedAssignments=60845 nbBacktracks=99743 nbVisitedNodes=309995
169.61 nbRestartNogoods=84
169.61 => wckTime=138.684 cpuTime=138.57 mem=20M666
220.89
220.89 search
220.89 run=21 nbConstraintChecks=70359125 nbValidityChecks=198872712 nbPropagations=0 nbRevisions=0
220.89 nbUselessRevisions=0 nbAssignments=233709 nbFailedAssignments=83460 nbBacktracks=149621 nbVisitedNodes=435067
220.89 nbRestartNogoods=90
220.89 => wckTime=189.967 cpuTime=189.85 mem=20M666
289.16
289.16 search
289.16 run=22 nbConstraintChecks=107432743 nbValidityChecks=265326427 nbPropagations=0 nbRevisions=0
289.16 nbUselessRevisions=0 nbAssignments=339625 nbFailedAssignments=114520 nbBacktracks=224442 nbVisitedNodes=612434
289.16 nbRestartNogoods=98
289.16 => wckTime=258.241 cpuTime=258.1 mem=20M666
381.34
381.34 search
381.34 run=23 nbConstraintChecks=153969697 nbValidityChecks=355363718 nbPropagations=0 nbRevisions=0
381.34 nbUselessRevisions=0 nbAssignments=490194 nbFailedAssignments=152827 nbBacktracks=336673 nbVisitedNodes=847445
381.34 nbRestartNogoods=105
381.34 => wckTime=350.416 cpuTime=350.25 mem=20M666
503.24
503.24 search
503.24 run=24 nbConstraintChecks=221620252 nbValidityChecks=463007582 nbPropagations=0 nbRevisions=0
503.24 nbUselessRevisions=0 nbAssignments=709641 nbFailedAssignments=203898 nbBacktracks=505017 nbVisitedNodes=1171693
503.24 nbRestartNogoods=111
503.24 => wckTime=472.315 cpuTime=472.12 mem=20M666
677.34
677.34 search
677.34 run=25 nbConstraintChecks=308224965 nbValidityChecks=606095806 nbPropagations=0 nbRevisions=0
677.34 nbUselessRevisions=0 nbAssignments=1028428 nbFailedAssignments=270141 nbBacktracks=757530
677.34 nbVisitedNodes=1629427 nbRestartNogoods=117
677.34 => wckTime=646.419 cpuTime=646.18 mem=20M666
950.57
950.57 search
950.57 run=26 nbConstraintChecks=478055445 nbValidityChecks=842552502 nbPropagations=0 nbRevisions=0
950.57 nbUselessRevisions=0 nbAssignments=1524834 nbFailedAssignments=387744 nbBacktracks=1136299
950.57 nbVisitedNodes=2373024 nbRestartNogoods=124
950.57 => wckTime=919.649 cpuTime=919.34 mem=20M666
1360.04
1360.04 search
1360.04 run=27 nbConstraintChecks=706263124 nbValidityChecks=1222623057 nbPropagations=0 nbRevisions=0
1360.04 nbUselessRevisions=0 nbAssignments=2259802 nbFailedAssignments=554524 nbBacktracks=1704451
1360.04 nbVisitedNodes=3452562 nbRestartNogoods=131
1360.04 => wckTime=1329.119 cpuTime=1328.71 mem=20M666
1966.20
1966.20 search
1966.20 run=28 nbConstraintChecks=1047593454 nbValidityChecks=1752604108 nbPropagations=0 nbRevisions=0
1966.20 nbUselessRevisions=0 nbAssignments=3356376 nbFailedAssignments=798834 nbBacktracks=2556682
1966.20 nbVisitedNodes=5063514 nbRestartNogoods=140
1966.20 => wckTime=1935.277 cpuTime=1934.63 mem=20M666
2400.80 v 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 1 1 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-276129-1169231504 -o ROOT/results/node72/solver-276129-1169231504 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276129-1169231504/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.00 1.07 1.38 2/78 1249
/proc/meminfo: memFree=1298160/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=168 CPUtime=0
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 271559232 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2536228 0 0 4096 0 0 0 0 17 1 0 0
/proc/1248/statm: 54 30 25 14 0 2 0
[startup+0.102892 s]
/proc/loadavg: 1.00 1.07 1.38 2/78 1249
/proc/meminfo: memFree=1298160/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=914988 CPUtime=0.08
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 3000 0 1 0 7 1 0 0 22 0 8 0 271559232 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072897359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1248/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514928 s]
/proc/loadavg: 1.00 1.07 1.38 2/78 1249
/proc/meminfo: memFree=1298160/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915332 CPUtime=0.49
/proc/1248/stat : 1248 (java) S 1246 1248 545 0 -1 0 7378 0 1 0 46 3 0 0 16 0 8 0 271559232 937299968 7117 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228833 7117 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34301 s]
/proc/loadavg: 1.00 1.07 1.38 2/85 1256
/proc/meminfo: memFree=1273336/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=1.31
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 8894 0 1 0 120 11 0 0 17 0 8 0 271559232 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 8632 2495 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 219 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915436 CPUtime=0.14
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 354 0 0 0 13 1 0 0 15 0 8 0 271559239 937406464 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 8632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915432
[startup+2.97915 s]
/proc/loadavg: 1.00 1.07 1.38 2/85 1256
/proc/meminfo: memFree=1273272/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2.95
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 8896 0 1 0 268 27 0 0 18 0 8 0 271559232 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 8633 2495 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 219 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915436 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937406464 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.14
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 355 0 0 0 13 1 0 0 16 0 8 0 271559239 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 8633 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915432
[startup+6.25645 s]
/proc/loadavg: 1.00 1.07 1.38 2/85 1256
/proc/meminfo: memFree=1273272/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=6.22
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 8898 0 1 0 565 57 0 0 18 0 8 0 271559232 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 8635 2495 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 219 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.15
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915432
[startup+12.739 s]
/proc/loadavg: 1.00 1.07 1.37 2/85 1256
/proc/meminfo: memFree=1273272/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=12.7
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 8898 0 1 0 1153 117 0 0 18 0 8 0 271559232 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 8635 2495 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 219 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915436 CPUtime=0.15
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 357 0 0 0 14 1 0 0 16 0 8 0 271559239 937406464 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915432
[startup+25.5812 s]
/proc/loadavg: 1.00 1.06 1.37 2/85 1256
/proc/meminfo: memFree=1273336/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=25.54
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 8899 0 1 0 2325 229 0 0 16 0 8 0 271559232 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 8636 2495 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 219 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915436 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937406464 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.15
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 358 0 0 0 14 1 0 0 16 0 8 0 271559239 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 8636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915432
[startup+51.2666 s]
/proc/loadavg: 1.00 1.06 1.36 2/85 1256
/proc/meminfo: memFree=1269240/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=51.22
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10027 0 1 0 4846 276 0 0 25 0 8 0 271559232 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9759 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 425 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915432
[startup+102.526 s]
/proc/loadavg: 1.00 1.05 1.33 2/85 1256
/proc/meminfo: memFree=1269176/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=102.46
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10038 0 1 0 9970 276 0 0 25 0 8 0 271559232 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9770 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915432
[startup+162.622 s]
/proc/loadavg: 1.00 1.03 1.31 2/85 1256
/proc/meminfo: memFree=1269176/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=162.55
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10041 0 1 0 15978 277 0 0 25 0 8 0 271559232 937402368 9773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.81
Current children cumulated vsize (KiB) 915432
[startup+2085.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2084.88
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 208205 283 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.88
Current children cumulated vsize (KiB) 915432
[startup+2145.62 s]
/proc/loadavg: 1.07 1.02 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2144.97
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 214213 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.97
Current children cumulated vsize (KiB) 915432
[startup+2205.71 s]
/proc/loadavg: 1.02 1.01 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2205.05
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 220221 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2205.05
Current children cumulated vsize (KiB) 915432
[startup+2265.81 s]
/proc/loadavg: 1.01 1.00 1.00 2/85 1458
/proc/meminfo: memFree=1268920/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2265.13
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 226229 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073907151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2265.13
Current children cumulated vsize (KiB) 915432
[startup+2325.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2325.21
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 232237 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2325.21
Current children cumulated vsize (KiB) 915432
[startup+2386 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2385.28
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 238244 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2385.28
Current children cumulated vsize (KiB) 915432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 1458
/proc/meminfo: memFree=1268984/2055920 swapFree=4191880/4192956
[pid=1248] ppid=1246 vsize=915432 CPUtime=2400.08
/proc/1248/stat : 1248 (java) R 1246 1248 545 0 -1 0 10065 0 1 0 239724 284 0 0 25 0 8 0 271559232 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 228858 9796 2546 14 0 215328 0
[pid=1248/tid=1250] ppid=1246 vsize=915432 CPUtime=0.03
/proc/1248/task/1250/stat : 1250 (java) S 1246 1248 545 0 -1 64 220 0 0 0 3 0 0 0 16 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1251] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 545 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 545 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271559236 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1253] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=915432 CPUtime=0.26
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 545 0 -1 64 426 0 0 0 24 2 0 0 16 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1255] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1248/tid=1256] ppid=1246 vsize=915432 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 545 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271559239 937402368 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.81
CPU time (s): 2400.11
CPU user time (s): 2397.25
CPU system time (s): 2.85457
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 915436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.25
system time used= 2.85457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10091
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= 49526
involuntary context switches= 3225
runsolver used 2.07568 s user time and 6.45902 s system time
The end
Begin job on node72 on Fri Jan 19 18:31:44 UTC 2007
IDJOB= 276129
IDBENCH= 5266
IDSOLVER= 69
FILE ID= node72/276129-1169231504
PBS_JOBID= 3589256
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-7-7-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276129-1169231504/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-276129-1169231504 -o ROOT/results/node72/solver-276129-1169231504 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276129-1169231504/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1380713e8b92d45d51085dc26e0f4ecf
RANDOM SEED= 512931372
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.223
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.223
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: 1298576 kB
Buffers: 56984 kB
Cached: 572768 kB
SwapCached: 268 kB
Active: 288428 kB
Inactive: 389244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1298576 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1712 kB
Writeback: 0 kB
Mapped: 65268 kB
Slab: 65020 kB
Committed_AS: 4508440 kB
PageTables: 1928 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= 66563 MiB
End job on node72 on Fri Jan 19 19:11:45 UTC 2007