0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276116-1169231334/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=81 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M887
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.86 nbConstraints=1296 nbConflictsStructures=1 nbSharedConflictsStructures=1295 nbSharedBinaryRepresentations=0
0.86 nbEvaluationManagers=1 nbSharedEvaluationManagers=1295 maxDegree=64 maxArity=4
0.86 => wckTime=0.541 cpuTime=0.41 mem=32M242
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.64 cpuTime=0.45 mem=6M742
0.97
0.97 s SATISFIABLE
0.97 o 1153
0.97 c 143
0.97 o 1164
0.97 c 132
0.97 o 1174
0.97 c 122
0.98 o 1184
0.98 c 112
0.98 o 1192
0.98 c 104
0.98 o 1196
0.98 c 100
0.98 o 1200
0.98 c 96
0.98 o 1203
0.98 c 93
0.98 o 1206
0.98 c 90
0.98 o 1210
0.98 c 86
0.98 o 1212
0.98 c 84
1.03 o 1213
1.03 c 83
1.03 o 1214
1.03 c 82
1.03 o 1215
1.03 c 81
1.03 o 1216
1.03 c 80
15.55
15.55 search
15.55 run=0 nbConstraintChecks=26853402 nbAssignments=10000
15.55 => wckTime=14.599 cpuTime=14.45 mem=6M742
30.57
30.58 search
30.58 run=1 nbConstraintChecks=55095679 nbAssignments=20000
30.58 => wckTime=29.619 cpuTime=29.33 mem=6M742
31.33
31.33 search
31.33 run=2 nbConstraintChecks=56477362 nbAssignments=20749
31.33 => wckTime=30.372 cpuTime=30.08 mem=6M742
31.33
31.33 global
31.33 nbConstraintChecks=56477362 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.33 solvingWckTime=30.371 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
31.33 globalCpuTime=30.58
31.33 => wckTime=31.013 cpuTime=30.53 mem=6M742
31.33
31.33 solver IterativeSystematicSolver being built...
31.52 => wckTime=31.207 cpuTime=30.67 mem=26M598
31.72
31.72 preprocessing
31.72 nbConstraintChecks=13800 nbValidityChecks=16813 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.72 nbRemovedValues=0 detectedInconsistency=no
31.72 => wckTime=0.196 cpuTime=0.16 mem=26M598
31.87
31.87 search
31.87 run=0 nbConstraintChecks=18541 nbValidityChecks=55934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.87 nbAssignments=63 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0
31.87 => wckTime=0.343 cpuTime=0.3 mem=27M638
32.05
32.05 search
32.05 run=1 nbConstraintChecks=55893 nbValidityChecks=153450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.05 nbAssignments=147 nbFailedAssignments=19 nbBacktracks=26 nbVisitedNodes=192 nbRestartNogoods=1
32.05 => wckTime=0.529 cpuTime=0.48 mem=27M638
32.26
32.26 search
32.26 run=2 nbConstraintChecks=112018 nbValidityChecks=280420 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.26 nbAssignments=246 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=326 nbRestartNogoods=3
32.26 => wckTime=0.734 cpuTime=0.68 mem=27M638
32.53
32.53 search
32.53 run=3 nbConstraintChecks=194160 nbValidityChecks=462802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.53 nbAssignments=364 nbFailedAssignments=57 nbBacktracks=81 nbVisitedNodes=501 nbRestartNogoods=5
32.53 => wckTime=0.999 cpuTime=0.94 mem=27M638
32.86
32.86 search
32.86 run=4 nbConstraintChecks=298482 nbValidityChecks=705067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.87 nbAssignments=504 nbFailedAssignments=84 nbBacktracks=133 nbVisitedNodes=718 nbRestartNogoods=9
32.87 => wckTime=1.34 cpuTime=1.27 mem=27M638
33.34
33.34 search
33.34 run=5 nbConstraintChecks=450064 nbValidityChecks=1073603 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.34 nbAssignments=689 nbFailedAssignments=133 nbBacktracks=208 nbVisitedNodes=1023 nbRestartNogoods=12
33.34 => wckTime=1.811 cpuTime=1.74 mem=27M638
34.03
34.03 search
34.03 run=6 nbConstraintChecks=649968 nbValidityChecks=1618504 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.03 nbAssignments=931 nbFailedAssignments=204 nbBacktracks=321 nbVisitedNodes=1443 nbRestartNogoods=15
34.03 => wckTime=2.502 cpuTime=2.42 mem=27M638
35.02
35.02 search
35.02 run=7 nbConstraintChecks=911830 nbValidityChecks=2393334 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.02 nbAssignments=1252 nbFailedAssignments=301 nbBacktracks=491 nbVisitedNodes=2024 nbRestartNogoods=18
35.02 => wckTime=3.493 cpuTime=3.41 mem=27M638
36.44
36.44 search
36.44 run=8 nbConstraintChecks=1375836 nbValidityChecks=3526932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.44 nbAssignments=1713 nbFailedAssignments=442 nbBacktracks=748 nbVisitedNodes=2878 nbRestartNogoods=21
36.44 => wckTime=4.913 cpuTime=4.79 mem=27M638
38.64
38.64 search
38.64 run=9 nbConstraintChecks=1956286 nbValidityChecks=5373967 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.64 nbAssignments=2415 nbFailedAssignments=705 nbBacktracks=1132 nbVisitedNodes=4195 nbRestartNogoods=25
38.64 => wckTime=7.118 cpuTime=6.97 mem=27M638
41.75
41.75 search
41.75 run=10 nbConstraintChecks=2972015 nbValidityChecks=8121456 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.75 nbAssignments=3443 nbFailedAssignments=1096 nbBacktracks=1710 nbVisitedNodes=6152 nbRestartNogoods=29
41.75 => wckTime=10.225 cpuTime=10.06 mem=27M638
46.57
46.57 search
46.57 run=11 nbConstraintChecks=4347357 nbValidityChecks=12311349 nbPropagations=0 nbRevisions=0
46.57 nbUselessRevisions=0 nbAssignments=4950 nbFailedAssignments=1681 nbBacktracks=2574 nbVisitedNodes=9054
46.57 nbRestartNogoods=33
46.57 => wckTime=15.041 cpuTime=14.82 mem=27M638
53.70
53.70 search
53.70 run=12 nbConstraintChecks=6605023 nbValidityChecks=18646826 nbPropagations=0 nbRevisions=0
53.70 nbUselessRevisions=0 nbAssignments=7224 nbFailedAssignments=2598 nbBacktracks=3871 nbVisitedNodes=13467
53.70 nbRestartNogoods=38
53.70 => wckTime=22.171 cpuTime=21.88 mem=27M638
65.05
65.05 search
65.05 run=13 nbConstraintChecks=9200985 nbValidityChecks=27645624 nbPropagations=0 nbRevisions=0
65.05 nbUselessRevisions=0 nbAssignments=10518 nbFailedAssignments=3895 nbBacktracks=5817 nbVisitedNodes=19864
65.05 nbRestartNogoods=42
65.05 => wckTime=33.525 cpuTime=33.13 mem=27M638
81.11
81.11 search
81.11 run=14 nbConstraintChecks=14050523 nbValidityChecks=42008167 nbPropagations=0 nbRevisions=0
81.11 nbUselessRevisions=0 nbAssignments=15557 nbFailedAssignments=5958 nbBacktracks=8736 nbVisitedNodes=29732
81.11 nbRestartNogoods=48
81.11 => wckTime=49.587 cpuTime=49.05 mem=27M638
104.37
104.37 search
104.37 run=15 nbConstraintChecks=20841422 nbValidityChecks=62324420 nbPropagations=0 nbRevisions=0
104.37 nbUselessRevisions=0 nbAssignments=22720 nbFailedAssignments=8686 nbBacktracks=13114 nbVisitedNodes=43702
104.37 nbRestartNogoods=53
104.37 => wckTime=72.843 cpuTime=72.09 mem=27M638
138.36
138.36 search
138.36 run=16 nbConstraintChecks=31619562 nbValidityChecks=91092062 nbPropagations=0 nbRevisions=0
138.36 nbUselessRevisions=0 nbAssignments=33282 nbFailedAssignments=12621 nbBacktracks=19682 nbVisitedNodes=64241
138.36 nbRestartNogoods=60
138.36 => wckTime=106.832 cpuTime=105.76 mem=27M638
189.19
189.19 search
189.19 run=17 nbConstraintChecks=47529437 nbValidityChecks=133120418 nbPropagations=0 nbRevisions=0
189.19 nbUselessRevisions=0 nbAssignments=49487 nbFailedAssignments=18916 nbBacktracks=29534 nbVisitedNodes=95303
189.19 nbRestartNogoods=66
189.19 => wckTime=157.661 cpuTime=156.13 mem=27M638
255.10
255.10 search
255.10 run=18 nbConstraintChecks=71393091 nbValidityChecks=187081355 nbPropagations=0 nbRevisions=0
255.10 nbUselessRevisions=0 nbAssignments=72491 nbFailedAssignments=27084 nbBacktracks=44312 nbVisitedNodes=137609
255.10 nbRestartNogoods=71
255.10 => wckTime=223.577 cpuTime=221.45 mem=27M638
348.47
348.47 search
348.47 run=19 nbConstraintChecks=110061960 nbValidityChecks=260790067 nbPropagations=0 nbRevisions=0
348.47 nbUselessRevisions=0 nbAssignments=106810 nbFailedAssignments=39173 nbBacktracks=66481 nbVisitedNodes=200336
348.47 nbRestartNogoods=74
348.47 => wckTime=316.945 cpuTime=313.96 mem=27M638
472.54
472.54 search
472.54 run=20 nbConstraintChecks=175466626 nbValidityChecks=352724247 nbPropagations=0 nbRevisions=0
472.54 nbUselessRevisions=0 nbAssignments=157319 nbFailedAssignments=56367 nbBacktracks=99733 nbVisitedNodes=291396
472.54 nbRestartNogoods=83
472.54 => wckTime=441.014 cpuTime=436.9 mem=27M638
639.44
639.44 search
639.44 run=21 nbConstraintChecks=267491657 nbValidityChecks=471542162 nbPropagations=0 nbRevisions=0
639.44 nbUselessRevisions=0 nbAssignments=229887 nbFailedAssignments=78992 nbBacktracks=149612 nbVisitedNodes=416081
639.44 nbRestartNogoods=91
639.44 => wckTime=607.918 cpuTime=602.29 mem=27M638
876.26
876.26 search
876.26 run=22 nbConstraintChecks=402382527 nbValidityChecks=639819202 nbPropagations=0 nbRevisions=0
876.26 nbUselessRevisions=0 nbAssignments=337062 nbFailedAssignments=111279 nbBacktracks=224430 nbVisitedNodes=597017
876.26 nbRestartNogoods=98
876.26 => wckTime=844.731 cpuTime=836.94 mem=27M638
1215.63
1215.63 search
1215.63 run=23 nbConstraintChecks=601570180 nbValidityChecks=883468526 nbPropagations=0 nbRevisions=0
1215.63 nbUselessRevisions=0 nbAssignments=495165 nbFailedAssignments=157087 nbBacktracks=336657 nbVisitedNodes=858869
1215.63 nbRestartNogoods=107
1215.63 => wckTime=1184.101 cpuTime=1173.24 mem=27M638
1730.48
1730.48 search
1730.48 run=24 nbConstraintChecks=854582230 nbValidityChecks=1284733903 nbPropagations=0 nbRevisions=0
1730.48 nbUselessRevisions=0 nbAssignments=727167 nbFailedAssignments=220678 nbBacktracks=504998 nbVisitedNodes=1234065
1730.48 nbRestartNogoods=114
1730.49 => wckTime=1698.96 cpuTime=1683.41 mem=27M638
2420.95 v 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-276116-1169231334 -o ROOT/results/node24/solver-276116-1169231334 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276116-1169231334/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.91 1.90 1.56 4/87 19731
/proc/meminfo: memFree=1336792/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=18540 CPUtime=0
/proc/19730/stat : 19730 (runsolver) R 19728 19730 19048 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271528733 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19730/statm: 4635 279 244 17 0 2626 0
[startup+0.10397 s]
/proc/loadavg: 1.91 1.90 1.56 4/87 19731
/proc/meminfo: memFree=1336792/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=914988 CPUtime=0.08
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 271528733 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153795348 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512012 s]
/proc/loadavg: 1.91 1.90 1.56 4/87 19731
/proc/meminfo: memFree=1336792/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915332 CPUtime=0.48
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 6874 0 1 0 43 5 0 0 18 0 8 0 271528733 937299968 6613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228833 6613 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3401 s]
/proc/loadavg: 2.00 1.92 1.56 3/94 19738
/proc/meminfo: memFree=1295008/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=1.3
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13116 0 1 0 115 15 0 0 25 0 8 0 271528733 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 12854 2496 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.19
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 271528741 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 12854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448
[startup+2.98545 s]
/proc/loadavg: 2.00 1.92 1.56 3/94 19738
/proc/meminfo: memFree=1295008/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2.93
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13121 0 1 0 273 20 0 0 25 0 8 0 271528733 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 12858 2498 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.19
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448
[startup+6.26481 s]
/proc/loadavg: 2.00 1.92 1.57 3/94 19738
/proc/meminfo: memFree=1294952/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=6.18
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13121 0 1 0 588 30 0 0 25 0 8 0 271528733 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 12858 2498 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.19
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915448
[startup+12.7543 s]
/proc/loadavg: 2.00 1.92 1.57 3/94 19738
/proc/meminfo: memFree=1294952/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=12.61
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13121 0 1 0 1213 48 0 0 25 0 8 0 271528733 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 12858 2498 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.19
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 12858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915448
[startup+25.6077 s]
/proc/loadavg: 2.00 1.92 1.57 4/94 19738
/proc/meminfo: memFree=1294952/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=25.36
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13123 0 1 0 2453 83 0 0 25 0 8 0 271528733 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814108 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 12860 2498 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 458 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.19
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 271528741 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 12860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915448
[startup+51.2415 s]
/proc/loadavg: 2.00 1.93 1.58 4/94 19738
/proc/meminfo: memFree=1294504/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=50.75
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13301 0 1 0 4974 101 0 0 25 0 8 0 271528733 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 13031 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.32
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915448
[startup+102.49 s]
/proc/loadavg: 2.00 1.94 1.60 3/94 19738
/proc/meminfo: memFree=1294568/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=101.53
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13301 0 1 0 10051 102 0 0 25 0 8 0 271528733 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 13031 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.32
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 450 0 0 0 31 1 0 0 16 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915448
[startup+162.592 s]
/proc/loadavg: 2.00 1.95 1.63 3/94 19738
/proc/meminfo: memFree=1294504/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=161.08
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13301 0 1 0 16006 102 0 0 25 0 8 0 271528733 937418752 13031 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2004.53
Current children cumulated vsize (KiB) 915448
[startup+2083.28 s]
/proc/loadavg: 2.02 2.02 1.93 3/94 19936
/proc/meminfo: memFree=1294120/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2064.08
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 206291 117 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2064.08
Current children cumulated vsize (KiB) 915448
[startup+2143.28 s]
/proc/loadavg: 2.00 2.02 1.93 3/94 19936
/proc/meminfo: memFree=1294120/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2123.53
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 212235 118 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2123.53
Current children cumulated vsize (KiB) 915448
[startup+2203.38 s]
/proc/loadavg: 2.00 2.01 1.93 3/94 19936
/proc/meminfo: memFree=1294120/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2183.08
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 218190 118 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074048555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2183.08
Current children cumulated vsize (KiB) 915448
[startup+2263.48 s]
/proc/loadavg: 2.13 2.05 1.95 3/100 19997
/proc/meminfo: memFree=1318976/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2242.76
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 224156 120 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2242.76
Current children cumulated vsize (KiB) 915448
[startup+2323.55 s]
/proc/loadavg: 2.11 2.06 1.95 3/100 19997
/proc/meminfo: memFree=1319104/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2302.76
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 230156 120 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2302.76
Current children cumulated vsize (KiB) 915448
[startup+2383.61 s]
/proc/loadavg: 2.04 2.04 1.95 3/100 19997
/proc/meminfo: memFree=1319040/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2362.75
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 236155 120 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815341 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2362.75
Current children cumulated vsize (KiB) 915448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.94 s]
/proc/loadavg: 2.02 2.04 1.95 3/100 19997
/proc/meminfo: memFree=1319104/2055920 swapFree=4180096/4192956
[pid=19730] ppid=19728 vsize=915448 CPUtime=2400.04
/proc/19730/stat : 19730 (java) R 19728 19730 19048 0 -1 0 13304 0 1 0 239884 120 0 0 25 0 8 0 271528733 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19730/statm: 228862 13032 2551 14 0 215332 0
[pid=19730/tid=19732] ppid=19728 vsize=915448 CPUtime=0.04
/proc/19730/task/19732/stat : 19732 (java) S 19728 19730 19048 0 -1 64 459 0 0 0 4 0 0 0 16 0 8 0 271528737 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19733] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19733/stat : 19733 (java) S 19728 19730 19048 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19734] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19734/stat : 19734 (java) S 19728 19730 19048 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271528738 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19735] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19735/stat : 19735 (java) S 19728 19730 19048 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19736] ppid=19728 vsize=915448 CPUtime=0.33
/proc/19730/task/19736/stat : 19736 (java) S 19728 19730 19048 0 -1 64 451 0 0 0 32 1 0 0 16 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19737] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19737/stat : 19737 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19730/tid=19738] ppid=19728 vsize=915448 CPUtime=0
/proc/19730/task/19738/stat : 19738 (java) S 19728 19730 19048 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271528741 937418752 13032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2421.02
CPU time (s): 2400.12
CPU user time (s): 2398.9
CPU system time (s): 1.21481
CPU usage (%): 99.1368
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.9
system time used= 1.21481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13329
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= 50336
involuntary context switches= 92038
runsolver used 2.43063 s user time and 8.29474 s system time
The end
Begin job on node24 on Fri Jan 19 18:28:55 UTC 2007
IDJOB= 276116
IDBENCH= 5258
IDSOLVER= 68
FILE ID= node24/276116-1169231334
PBS_JOBID= 3589276
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-9-9-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276116-1169231334/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-276116-1169231334 -o ROOT/results/node24/solver-276116-1169231334 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276116-1169231334/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c4173727a6ec0cd98f872aeaa7cc40fb
RANDOM SEED= 652201380
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1337272 kB
Buffers: 43668 kB
Cached: 509252 kB
SwapCached: 600 kB
Active: 209116 kB
Inactive: 439940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1337272 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 2000 kB
Writeback: 0 kB
Mapped: 114332 kB
Slab: 54240 kB
Committed_AS: 5339388 kB
PageTables: 2472 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 node24 on Fri Jan 19 19:09:16 UTC 2007