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/278093-1169275218/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.086 cpuTime=0.07 mem=6M910
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.56 nbConstraints=1050 nbRelationTypes=31 nbExtensionStructures=31 nbSharedExtensionStructures=1019
0.56 nbConflictsStructures=31 nbSharedConflictsStructures=1019 nbSharedBinaryRepresentations=0 maxDegree=93
0.56 maxArity=3
0.56 => wckTime=0.259 cpuTime=0.16 mem=10M811
0.61
0.61 solver LocalSearchSolver being built...
0.64 => wckTime=0.34 cpuTime=0.21 mem=5M916
0.65
0.65 s SATISFIABLE
0.65 o 923
0.65 c 127
0.65 o 930
0.65 c 120
0.65 o 935
0.65 c 115
0.65 o 941
0.65 c 109
0.65 o 950
0.65 c 100
0.65 o 951
0.65 c 99
0.66 o 954
0.66 c 96
0.66 o 955
0.66 c 95
0.67 o 957
0.67 c 93
0.67 o 959
0.67 c 91
0.67 o 961
0.67 c 89
0.77 o 964
0.77 c 86
0.77 o 965
0.77 c 85
0.77 o 966
0.77 c 84
0.84 o 967
0.84 c 83
0.94 o 968
0.94 c 82
1.09 o 969
1.09 c 81
2.72 o 970
2.72 c 80
4.08
4.08 search
4.08 run=0 nbConstraintChecks=21435827 nbAssignments=10000
4.08 => wckTime=3.435 cpuTime=3.41 mem=5M916
7.49
7.49 search
7.49 run=1 nbConstraintChecks=43453734 nbAssignments=20000
7.49 => wckTime=6.851 cpuTime=6.82 mem=5M916
10.84
10.84 search
10.84 run=2 nbConstraintChecks=64939940 nbAssignments=30000
10.84 => wckTime=10.198 cpuTime=10.17 mem=5M916
14.25
14.25 search
14.25 run=3 nbConstraintChecks=87013222 nbAssignments=40000
14.25 => wckTime=13.609 cpuTime=13.58 mem=5M916
17.57
17.57 search
17.57 run=4 nbConstraintChecks=108467911 nbAssignments=50000
17.57 => wckTime=16.924 cpuTime=16.89 mem=5M916
20.96
20.96 search
20.96 run=5 nbConstraintChecks=130567181 nbAssignments=60000
20.96 => wckTime=20.323 cpuTime=20.29 mem=5M916
24.30
24.30 search
24.30 run=6 nbConstraintChecks=152062725 nbAssignments=70000
24.30 => wckTime=23.657 cpuTime=23.62 mem=5M916
27.72
27.72 search
27.72 run=7 nbConstraintChecks=174140051 nbAssignments=80000
27.72 => wckTime=27.083 cpuTime=27.05 mem=5M916
31.09
31.09 search
31.09 run=8 nbConstraintChecks=195637992 nbAssignments=90000
31.10 => wckTime=30.454 cpuTime=30.4 mem=5M916
32.76
32.76 search
32.76 run=9 nbConstraintChecks=206324630 nbAssignments=94846
32.76 => wckTime=32.123 cpuTime=32.06 mem=5M916
32.77
32.77 global
32.77 nbConstraintChecks=206324630 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.77 solvingWckTime=32.121 solvingCpuTime=32.06 expiredTime=no totalExploration=no nbFoundSolutions=0
32.77 globalCpuTime=32.33
32.77 => wckTime=32.463 cpuTime=32.27 mem=5M916
32.77
32.77 solver IterativeSystematicSolver being built...
32.94 => wckTime=32.638 cpuTime=32.4 mem=22M765
32.96
32.96 preprocessing
32.96 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.96 detectedInconsistency=no
32.96 => wckTime=0.013 cpuTime=0.0 mem=22M765
33.05
33.05 search
33.05 run=0 nbConstraintChecks=16039 nbValidityChecks=45234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.05 nbAssignments=38 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
33.05 => wckTime=0.104 cpuTime=0.07 mem=22M765
33.13
33.13 search
33.13 run=1 nbConstraintChecks=40884 nbValidityChecks=116279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.13 nbAssignments=87 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=131 nbRestartNogoods=3
33.13 => wckTime=0.184 cpuTime=0.14 mem=22M765
33.20
33.20 search
33.20 run=2 nbConstraintChecks=68469 nbValidityChecks=205426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.20 nbAssignments=140 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=217 nbRestartNogoods=5
33.20 => wckTime=0.258 cpuTime=0.21 mem=22M765
33.32
33.32 search
33.32 run=3 nbConstraintChecks=123844 nbValidityChecks=369400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.32 nbAssignments=227 nbFailedAssignments=58 nbBacktracks=81 nbVisitedNodes=367 nbRestartNogoods=7
33.32 => wckTime=0.376 cpuTime=0.33 mem=22M765
33.49
33.49 search
33.49 run=4 nbConstraintChecks=196224 nbValidityChecks=604102 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.49 nbAssignments=338 nbFailedAssignments=100 nbBacktracks=131 nbVisitedNodes=570 nbRestartNogoods=10
33.49 => wckTime=0.55 cpuTime=0.5 mem=22M765
33.72
33.72 search
33.72 run=5 nbConstraintChecks=292257 nbValidityChecks=919868 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.72 nbAssignments=484 nbFailedAssignments=150 nbBacktracks=206 nbVisitedNodes=841 nbRestartNogoods=14
33.72 => wckTime=0.779 cpuTime=0.73 mem=22M765
34.10
34.10 search
34.10 run=6 nbConstraintChecks=448982 nbValidityChecks=1448341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.10 nbAssignments=718 nbFailedAssignments=250 nbBacktracks=320 nbVisitedNodes=1289 nbRestartNogoods=16
34.10 => wckTime=1.159 cpuTime=1.11 mem=22M765
34.64
34.64 search
34.64 run=7 nbConstraintChecks=665347 nbValidityChecks=2220563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.64 nbAssignments=1042 nbFailedAssignments=383 nbBacktracks=491 nbVisitedNodes=1917 nbRestartNogoods=20
34.64 => wckTime=1.695 cpuTime=1.64 mem=22M765
35.56
35.56 search
35.56 run=8 nbConstraintChecks=995180 nbValidityChecks=3484328 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.56 nbAssignments=1552 nbFailedAssignments=620 nbBacktracks=747 nbVisitedNodes=2920 nbRestartNogoods=23
35.56 => wckTime=2.615 cpuTime=2.54 mem=22M765
36.79
36.79 search
36.79 run=9 nbConstraintChecks=1448911 nbValidityChecks=5160442 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.79 nbAssignments=2235 nbFailedAssignments=903 nbBacktracks=1131 nbVisitedNodes=4270 nbRestartNogoods=27
36.79 => wckTime=3.844 cpuTime=3.76 mem=22M765
38.53
38.53 search
38.53 run=10 nbConstraintChecks=2149661 nbValidityChecks=7661887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.53 nbAssignments=3215 nbFailedAssignments=1290 nbBacktracks=1707 nbVisitedNodes=6213 nbRestartNogoods=32
38.53 => wckTime=5.589 cpuTime=5.5 mem=22M765
41.45
41.45 search
41.45 run=11 nbConstraintChecks=3275257 nbValidityChecks=11898221 nbPropagations=0 nbRevisions=0
41.45 nbUselessRevisions=0 nbAssignments=4828 nbFailedAssignments=2022 nbBacktracks=2571 nbVisitedNodes=9422
41.45 nbRestartNogoods=34
41.45 => wckTime=8.504 cpuTime=8.41 mem=22M765
45.53
45.53 search
45.53 run=12 nbConstraintChecks=4791902 nbValidityChecks=17556844 nbPropagations=0 nbRevisions=0
45.53 nbUselessRevisions=0 nbAssignments=7085 nbFailedAssignments=2964 nbBacktracks=3868 nbVisitedNodes=13896
45.53 nbRestartNogoods=41
45.53 => wckTime=12.59 cpuTime=12.5 mem=22M765
51.55
51.55 search
51.55 run=13 nbConstraintChecks=7191746 nbValidityChecks=26123417 nbPropagations=0 nbRevisions=0
51.55 nbUselessRevisions=0 nbAssignments=10458 nbFailedAssignments=4369 nbBacktracks=5814 nbVisitedNodes=20620
51.55 nbRestartNogoods=45
51.55 => wckTime=18.608 cpuTime=18.51 mem=22M765
60.97
60.97 search
60.97 run=14 nbConstraintChecks=10666132 nbValidityChecks=39551653 nbPropagations=0 nbRevisions=0
60.97 nbUselessRevisions=0 nbAssignments=15620 nbFailedAssignments=6592 nbBacktracks=8734 nbVisitedNodes=30924
60.97 nbRestartNogoods=50
60.97 => wckTime=28.025 cpuTime=27.92 mem=22M765
75.19
75.19 search
75.19 run=15 nbConstraintChecks=15673511 nbValidityChecks=59350918 nbPropagations=0 nbRevisions=0
75.19 nbUselessRevisions=0 nbAssignments=23239 nbFailedAssignments=9815 nbBacktracks=13112 nbVisitedNodes=46132
75.19 nbRestartNogoods=57
75.19 => wckTime=42.251 cpuTime=42.15 mem=22M765
97.43
97.43 search
97.43 run=16 nbConstraintChecks=23110119 nbValidityChecks=90019195 nbPropagations=0 nbRevisions=0
97.43 nbUselessRevisions=0 nbAssignments=34640 nbFailedAssignments=14631 nbBacktracks=19680 nbVisitedNodes=68851
97.43 nbRestartNogoods=63
97.43 => wckTime=64.494 cpuTime=64.35 mem=22M765
129.39
129.39 search
129.39 run=17 nbConstraintChecks=34014007 nbValidityChecks=135103711 nbPropagations=0 nbRevisions=0
129.39 nbUselessRevisions=0 nbAssignments=51600 nbFailedAssignments=21722 nbBacktracks=29532 nbVisitedNodes=102661
129.39 nbRestartNogoods=69
129.39 => wckTime=96.453 cpuTime=96.26 mem=22M765
178.55
178.55 search
178.55 run=18 nbConstraintChecks=50654430 nbValidityChecks=202027170 nbPropagations=0 nbRevisions=0
178.55 nbUselessRevisions=0 nbAssignments=77293 nbFailedAssignments=32621 nbBacktracks=44310 nbVisitedNodes=153885
178.55 nbRestartNogoods=77
178.55 => wckTime=145.608 cpuTime=145.37 mem=22M765
253.17
253.17 search
253.17 run=19 nbConstraintChecks=75057237 nbValidityChecks=304082710 nbPropagations=0 nbRevisions=0
253.17 nbUselessRevisions=0 nbAssignments=116520 nbFailedAssignments=49662 nbBacktracks=66478 nbVisitedNodes=231763
253.17 nbRestartNogoods=85
253.17 => wckTime=220.227 cpuTime=219.92 mem=22M765
363.48
363.48 search
363.48 run=20 nbConstraintChecks=111423784 nbValidityChecks=451979876 nbPropagations=0 nbRevisions=0
363.48 nbUselessRevisions=0 nbAssignments=173388 nbFailedAssignments=73261 nbBacktracks=99730 nbVisitedNodes=344780
363.48 nbRestartNogoods=92
363.48 => wckTime=330.534 cpuTime=329.74 mem=22M765
527.25
527.25 search
527.25 run=21 nbConstraintChecks=166504943 nbValidityChecks=671541827 nbPropagations=0 nbRevisions=0
527.25 nbUselessRevisions=0 nbAssignments=259745 nbFailedAssignments=109723 nbBacktracks=149610 nbVisitedNodes=516115
527.25 nbRestartNogoods=101
527.25 => wckTime=494.309 cpuTime=492.61 mem=22M765
768.32
768.32 search
768.32 run=22 nbConstraintChecks=253251543 nbValidityChecks=985368387 nbPropagations=0 nbRevisions=0
768.32 nbUselessRevisions=0 nbAssignments=389801 nbFailedAssignments=164944 nbBacktracks=224429 nbVisitedNodes=774670
768.32 nbRestartNogoods=110
768.32 => wckTime=735.376 cpuTime=731.85 mem=22M765
1115.78
1115.78 search
1115.78 run=23 nbConstraintChecks=387669536 nbValidityChecks=1463177864 nbPropagations=0 nbRevisions=0
1115.78 nbUselessRevisions=0 nbAssignments=584129 nbFailedAssignments=247024 nbBacktracks=336657 nbVisitedNodes=1159301
1115.78 nbRestartNogoods=117
1115.78 => wckTime=1082.837 cpuTime=1076.27 mem=22M765
1599.42
1599.42 search
1599.42 run=24 nbConstraintChecks=596204269 nbValidityChecks=2110085116 nbPropagations=0 nbRevisions=0
1599.42 nbUselessRevisions=0 nbAssignments=865557 nbFailedAssignments=360090 nbBacktracks=505000 nbVisitedNodes=1712424
1599.42 nbRestartNogoods=124
1599.42 => wckTime=1566.479 cpuTime=1555.47 mem=22M765
2242.41
2242.41 search
2242.41 run=25 nbConstraintChecks=890772032 nbValidityChecks=2983770188 nbPropagations=0 nbRevisions=0
2242.41 nbUselessRevisions=0 nbAssignments=1279851 nbFailedAssignments=521853 nbBacktracks=757512
2242.41 nbVisitedNodes=2491727 nbRestartNogoods=132
2242.41 => wckTime=2209.465 cpuTime=2192.83 mem=22M765
2418.19 v 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-278093-1169275218 -o ROOT/results/node3/solver-278093-1169275218 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278093-1169275218/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: 0.92 0.98 1.13 5/85 28492
/proc/meminfo: memFree=1304728/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=1784 CPUtime=0
/proc/28491/stat : 28491 (java) D 28487 28491 28350 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 275917489 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/28491/statm: 446 158 123 14 0 91 0
[startup+0.106774 s]
/proc/loadavg: 0.92 0.98 1.13 5/85 28492
/proc/meminfo: memFree=1304728/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=914988 CPUtime=0.08
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 2961 0 1 0 7 1 0 0 20 0 8 0 275917489 936947712 2707 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228747 2707 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515836 s]
/proc/loadavg: 0.92 0.98 1.13 5/85 28492
/proc/meminfo: memFree=1304728/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915332 CPUtime=0.49
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 6618 0 1 0 46 3 0 0 22 0 8 0 275917489 937299968 6357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545933 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228833 6358 2148 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34097 s]
/proc/loadavg: 0.92 0.98 1.13 3/95 28523
/proc/meminfo: memFree=1284168/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=1.31
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 7606 0 1 0 120 11 0 0 25 0 8 0 275917489 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 7344 2475 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 256 0 0 0 3 0 0 0 17 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915424 CPUtime=0.14
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 275917498 937394176 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915420
[startup+2.97824 s]
/proc/loadavg: 0.92 0.98 1.13 3/95 28523
/proc/meminfo: memFree=1284104/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915424 CPUtime=2.95
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 7607 0 1 0 264 31 0 0 25 0 8 0 275917489 937394176 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 7344 2475 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.14
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 7344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915424
[startup+6.27477 s]
/proc/loadavg: 1.01 1.00 1.14 3/95 28523
/proc/meminfo: memFree=1283912/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915424 CPUtime=6.24
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 7609 0 1 0 558 66 0 0 25 0 8 0 275917489 937394176 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 7346 2475 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.15
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 345 0 0 0 15 0 0 0 16 0 8 0 275917498 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915424 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) R 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937394176 7346 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915424
[startup+12.7498 s]
/proc/loadavg: 1.09 1.02 1.14 3/95 28523
/proc/meminfo: memFree=1283912/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=12.71
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 7610 0 1 0 1132 139 0 0 25 0 8 0 275917489 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 7347 2475 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915424 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937394176 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.15
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915420
[startup+25.6039 s]
/proc/loadavg: 1.29 1.06 1.16 3/94 28524
/proc/meminfo: memFree=1283344/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=25.56
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 7610 0 1 0 2273 283 0 0 25 0 8 0 275917489 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 7347 2475 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 256 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.15
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915424 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937394176 7347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915420
[startup+51.2251 s]
/proc/loadavg: 1.53 1.14 1.18 3/94 28524
/proc/meminfo: memFree=1271632/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=51.14
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10648 0 1 0 4752 362 0 0 25 0 8 0 275917489 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10380 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 417 0 0 0 27 1 0 0 17 0 8 0 275917498 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915420
[startup+102.445 s]
/proc/loadavg: 1.79 1.27 1.22 3/94 28524
/proc/meminfo: memFree=1271568/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=102.32
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10659 0 1 0 9869 363 0 0 25 0 8 0 275917489 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10391 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 418 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10391 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915420
[startup+162.507 s]
/proc/loadavg: 2.02 1.43 1.27 3/94 28524
/proc/meminfo: memFree=1271504/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=162.33
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10662 0 1 0 15870 363 0 0 25 0 8 0 275917489 937390080 10394 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2009.33
Current children cumulated vsize (KiB) 915420
[startup+2084.05 s]
/proc/loadavg: 2.00 2.00 1.88 3/93 28782
/proc/meminfo: memFree=1270680/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2068.81
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10682 0 1 0 206501 380 0 0 25 0 8 0 275917489 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10413 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.81
Current children cumulated vsize (KiB) 915420
[startup+2144.09 s]
/proc/loadavg: 2.00 2.00 1.88 3/93 28782
/proc/meminfo: memFree=1270744/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2128.37
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10682 0 1 0 212456 381 0 0 25 0 8 0 275917489 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073875609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10413 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.37
Current children cumulated vsize (KiB) 915420
[startup+2204.13 s]
/proc/loadavg: 2.00 2.00 1.89 3/93 28782
/proc/meminfo: memFree=1270744/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2187.87
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10682 0 1 0 218406 381 0 0 25 0 8 0 275917489 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10413 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10413 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.87
Current children cumulated vsize (KiB) 915420
[startup+2264.17 s]
/proc/loadavg: 2.04 2.01 1.90 3/93 28782
/proc/meminfo: memFree=1270744/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2247.39
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10686 0 1 0 224358 381 0 0 25 0 8 0 275917489 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10416 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.39
Current children cumulated vsize (KiB) 915420
[startup+2324.21 s]
/proc/loadavg: 2.01 2.01 1.91 3/93 28782
/proc/meminfo: memFree=1270744/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2306.92
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10686 0 1 0 230311 381 0 0 25 0 8 0 275917489 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073894582 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10416 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.92
Current children cumulated vsize (KiB) 915420
[startup+2384.27 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 28784
/proc/meminfo: memFree=1270680/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2366.41
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10686 0 1 0 236259 382 0 0 25 0 8 0 275917489 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073901194 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10416 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.41
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.18 s]
/proc/loadavg: 2.08 2.02 1.91 3/93 28784
/proc/meminfo: memFree=1270744/2055920 swapFree=4191880/4192956
[pid=28491] ppid=28487 vsize=915420 CPUtime=2400.03
/proc/28491/stat : 28491 (java) R 28487 28491 28350 0 -1 0 10686 0 1 0 239621 382 0 0 25 0 8 0 275917489 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877462 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28491/statm: 228855 10416 2529 14 0 215325 0
[pid=28491/tid=28493] ppid=28487 vsize=915420 CPUtime=0.03
/proc/28491/task/28493/stat : 28493 (java) S 28487 28491 28350 0 -1 64 257 0 0 0 3 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28494] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28494/stat : 28494 (java) S 28487 28491 28350 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28495] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28495/stat : 28495 (java) S 28487 28491 28350 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275917494 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28498] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28498/stat : 28498 (java) S 28487 28491 28350 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28499] ppid=28487 vsize=915420 CPUtime=0.28
/proc/28491/task/28499/stat : 28499 (java) S 28487 28491 28350 0 -1 64 419 0 0 0 27 1 0 0 16 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28500] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28500/stat : 28500 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28491/tid=28501] ppid=28487 vsize=915420 CPUtime=0
/proc/28491/task/28501/stat : 28501 (java) S 28487 28491 28350 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275917498 937390080 10416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2418.25
CPU time (s): 2400.09
CPU user time (s): 2396.26
CPU system time (s): 3.82642
CPU usage (%): 99.2492
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.26
system time used= 3.82642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10709
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= 50233
involuntary context switches= 98232
runsolver used 2.70559 s user time and 6.97594 s system time
The end
Begin job on node3 on Sat Jan 20 06:40:19 UTC 2007
IDJOB= 278093
IDBENCH= 8019
IDSOLVER= 69
FILE ID= node3/278093-1169275218
PBS_JOBID= 3609465
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1100-987621_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278093-1169275218/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-278093-1169275218 -o ROOT/results/node3/solver-278093-1169275218 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278093-1169275218/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c73e20d392eefb144e7205551263a842
RANDOM SEED= 984353395
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.279
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.279
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: 1305944 kB
Buffers: 56280 kB
Cached: 561556 kB
SwapCached: 284 kB
Active: 193700 kB
Inactive: 481240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305944 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4452 kB
Writeback: 0 kB
Mapped: 68688 kB
Slab: 60360 kB
Committed_AS: 7402048 kB
PageTables: 1900 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 node3 on Sat Jan 20 07:20:37 UTC 2007