0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276046-1169230885/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.38 => wckTime=0.092 cpuTime=0.09 mem=6M887
0.38
0.38 relations being loaded...
0.65
0.65 constraints being loaded...
0.80 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.80 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.80 => wckTime=0.505 cpuTime=0.46 mem=43M380
0.88
0.88 solver LocalSearchSolver being built...
0.91 => wckTime=0.622 cpuTime=0.5 mem=12M400
0.92
0.92 s SATISFIABLE
0.92 o 27
0.92 c 32
0.92 o 32
0.92 c 27
0.93 o 35
0.93 c 24
0.93 o 38
0.93 c 21
0.93 o 40
0.93 c 19
0.93 o 43
0.93 c 16
0.93 o 44
0.93 c 15
0.94 o 46
0.94 c 13
0.94 o 47
0.94 c 12
0.95 o 49
0.95 c 10
0.95 o 50
0.95 c 9
0.96 o 51
0.96 c 8
0.96 o 52
0.96 c 7
0.98 o 53
0.98 c 6
0.98 o 54
0.98 c 5
1.66 o 55
1.66 c 4
2.23 o 56
2.23 c 3
10.07
10.08 search
10.08 run=0 nbConstraintChecks=11137798 nbAssignments=10000
10.08 => wckTime=9.162 cpuTime=9.11 mem=12M400
19.05
19.05 search
19.05 run=1 nbConstraintChecks=22244744 nbAssignments=20000
19.05 => wckTime=18.135 cpuTime=18.04 mem=12M400
28.10
28.10 search
28.10 run=2 nbConstraintChecks=33397866 nbAssignments=30000
28.10 => wckTime=27.184 cpuTime=27.06 mem=12M400
32.39
32.39 search
32.39 run=3 nbConstraintChecks=38652147 nbAssignments=34530
32.39 => wckTime=31.476 cpuTime=31.31 mem=12M400
32.39
32.39 global
32.39 nbConstraintChecks=38652147 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.39 solvingWckTime=31.475 solvingCpuTime=31.31 expiredTime=no totalExploration=no nbFoundSolutions=0
32.39 globalCpuTime=31.85
32.39 => wckTime=32.099 cpuTime=31.81 mem=12M400
32.39
32.39 solver IterativeSystematicSolver being built...
32.52 => wckTime=32.23 cpuTime=31.91 mem=23M249
32.58
32.58 preprocessing
32.58 nbConstraintChecks=12951 nbValidityChecks=34678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.58 nbRemovedValues=0 detectedInconsistency=no
32.58 => wckTime=0.056 cpuTime=0.03 mem=23M249
32.74
32.74 search
32.74 run=0 nbConstraintChecks=90167 nbValidityChecks=376165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.74 nbAssignments=107 nbFailedAssignments=91 nbBacktracks=10 nbVisitedNodes=209 nbRestartNogoods=0
32.74 => wckTime=0.218 cpuTime=0.18 mem=24M301
32.88
32.88 search
32.88 run=1 nbConstraintChecks=173294 nbValidityChecks=738738 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.88 nbAssignments=218 nbFailedAssignments=179 nbBacktracks=25 nbVisitedNodes=423 nbRestartNogoods=12
32.88 => wckTime=0.358 cpuTime=0.3 mem=24M301
33.03
33.03 search
33.03 run=2 nbConstraintChecks=259559 nbValidityChecks=1257079 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.03 nbAssignments=372 nbFailedAssignments=305 nbBacktracks=47 nbVisitedNodes=722 nbRestartNogoods=31
33.03 => wckTime=0.505 cpuTime=0.45 mem=24M301
33.28
33.28 search
33.28 run=3 nbConstraintChecks=427416 nbValidityChecks=1997791 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.28 nbAssignments=637 nbFailedAssignments=531 nbBacktracks=80 nbVisitedNodes=1246 nbRestartNogoods=48
33.28 => wckTime=0.757 cpuTime=0.7 mem=24M301
33.62
33.62 search
33.62 run=4 nbConstraintChecks=631854 nbValidityChecks=3043529 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.62 nbAssignments=994 nbFailedAssignments=833 nbBacktracks=130 nbVisitedNodes=1952 nbRestartNogoods=68
33.62 => wckTime=1.096 cpuTime=1.03 mem=24M301
33.93
33.93 search
33.93 run=5 nbConstraintChecks=813764 nbValidityChecks=3897561 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.93 nbAssignments=1339 nbFailedAssignments=1096 nbBacktracks=205 nbVisitedNodes=2629 nbRestartNogoods=78
33.93 => wckTime=1.404 cpuTime=1.33 mem=24M301
34.80
34.80 search
34.80 run=6 nbConstraintChecks=1352251 nbValidityChecks=6727476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.80 nbAssignments=2199 nbFailedAssignments=1837 nbBacktracks=318 nbVisitedNodes=4329 nbRestartNogoods=99
34.80 => wckTime=2.278 cpuTime=2.18 mem=24M301
35.94
35.94 search
35.94 run=7 nbConstraintChecks=2079968 nbValidityChecks=10496563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.94 nbAssignments=3533 nbFailedAssignments=2995 nbBacktracks=488 nbVisitedNodes=6991 nbRestartNogoods=107
35.94 => wckTime=3.416 cpuTime=3.31 mem=24M301
37.43
37.43 search
37.43 run=8 nbConstraintChecks=3082722 nbValidityChecks=15370677 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.43 nbAssignments=5301 nbFailedAssignments=4499 nbBacktracks=744 nbVisitedNodes=10518 nbRestartNogoods=123
37.43 => wckTime=4.91 cpuTime=4.8 mem=24M301
39.41
39.41 search
39.41 run=9 nbConstraintChecks=4484833 nbValidityChecks=21270196 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.41 nbAssignments=7448 nbFailedAssignments=6256 nbBacktracks=1128 nbVisitedNodes=14791 nbRestartNogoods=141
39.41 => wckTime=6.885 cpuTime=6.77 mem=24M301
42.58
42.58 search
42.58 run=10 nbConstraintChecks=6609524 nbValidityChecks=31238552 nbPropagations=0 nbRevisions=0
42.58 nbUselessRevisions=0 nbAssignments=11026 nbFailedAssignments=9251 nbBacktracks=1704 nbVisitedNodes=21940
42.58 nbRestartNogoods=184
42.58 => wckTime=10.057 cpuTime=9.92 mem=24M301
47.98
47.98 search
47.98 run=11 nbConstraintChecks=10286933 nbValidityChecks=48977967 nbPropagations=0 nbRevisions=0
47.98 nbUselessRevisions=0 nbAssignments=16751 nbFailedAssignments=14107 nbBacktracks=2568 nbVisitedNodes=33323
47.98 nbRestartNogoods=224
47.98 => wckTime=15.456 cpuTime=15.3 mem=24M301
55.48
55.48 search
55.48 run=12 nbConstraintChecks=15493147 nbValidityChecks=72327139 nbPropagations=0 nbRevisions=0
55.48 nbUselessRevisions=0 nbAssignments=24724 nbFailedAssignments=20776 nbBacktracks=3865 nbVisitedNodes=49246
55.48 nbRestartNogoods=236
55.48 => wckTime=22.958 cpuTime=22.76 mem=24M301
66.37
66.37 search
66.37 run=13 nbConstraintChecks=22632662 nbValidityChecks=108658455 nbPropagations=0 nbRevisions=0
66.37 nbUselessRevisions=0 nbAssignments=36556 nbFailedAssignments=30655 nbBacktracks=5812 nbVisitedNodes=72832
66.37 nbRestartNogoods=277
66.37 => wckTime=33.85 cpuTime=33.62 mem=24M301
80.59
80.59 search
80.59 run=14 nbConstraintChecks=32228941 nbValidityChecks=152077875 nbPropagations=0 nbRevisions=0
80.59 nbUselessRevisions=0 nbAssignments=50688 nbFailedAssignments=41862 nbBacktracks=8732 nbVisitedNodes=100993
80.59 nbRestartNogoods=289
80.59 => wckTime=48.065 cpuTime=47.74 mem=24M301
101.13
101.13 search
101.13 run=15 nbConstraintChecks=46310102 nbValidityChecks=213390648 nbPropagations=0 nbRevisions=0
101.13 nbUselessRevisions=0 nbAssignments=69069 nbFailedAssignments=55858 nbBacktracks=13110 nbVisitedNodes=137532
101.13 nbRestartNogoods=349
101.13 => wckTime=68.607 cpuTime=68.21 mem=24M301
130.42
130.42 search
130.42 run=16 nbConstraintChecks=66079832 nbValidityChecks=302943788 nbPropagations=0 nbRevisions=0
130.42 nbUselessRevisions=0 nbAssignments=96880 nbFailedAssignments=77094 nbBacktracks=19678 nbVisitedNodes=192756
130.42 nbRestartNogoods=373
130.42 => wckTime=97.893 cpuTime=97.36 mem=24M301
169.81
169.81 search
169.81 run=17 nbConstraintChecks=93112455 nbValidityChecks=420396264 nbPropagations=0 nbRevisions=0
169.81 nbUselessRevisions=0 nbAssignments=133009 nbFailedAssignments=103364 nbBacktracks=29533 nbVisitedNodes=264134
169.81 nbRestartNogoods=412
169.81 => wckTime=137.291 cpuTime=136.57 mem=24M301
225.91
225.91 search
225.91 run=18 nbConstraintChecks=131143112 nbValidityChecks=591554073 nbPropagations=0 nbRevisions=0
225.91 nbUselessRevisions=0 nbAssignments=184727 nbFailedAssignments=140297 nbBacktracks=44312 nbVisitedNodes=366138
225.91 nbRestartNogoods=439
225.91 => wckTime=193.386 cpuTime=192.42 mem=24M301
260.69 o 57
260.69 c 2
300.87
300.87 search
300.87 run=19 nbConstraintChecks=181191608 nbValidityChecks=820227740 nbPropagations=0 nbRevisions=0
300.87 nbUselessRevisions=0 nbAssignments=259284 nbFailedAssignments=192679 nbBacktracks=66481 nbVisitedNodes=512088
300.87 nbRestartNogoods=479
300.87 => wckTime=268.346 cpuTime=267.04 mem=24M301
420.33
420.33 search
420.33 run=20 nbConstraintChecks=264082293 nbValidityChecks=1167998871 nbPropagations=0 nbRevisions=0
420.33 nbUselessRevisions=0 nbAssignments=361941 nbFailedAssignments=262079 nbBacktracks=99733 nbVisitedNodes=711328
420.33 nbRestartNogoods=513
420.33 => wckTime=387.808 cpuTime=385.97 mem=24M301
580.28
580.28 search
580.28 run=21 nbConstraintChecks=370742901 nbValidityChecks=1646838581 nbPropagations=0 nbRevisions=0
580.28 nbUselessRevisions=0 nbAssignments=505894 nbFailedAssignments=356148 nbBacktracks=149611 nbVisitedNodes=984620
580.28 nbRestartNogoods=534
580.28 => wckTime=547.761 cpuTime=545.19 mem=24M301
819.39
819.39 search
819.39 run=22 nbConstraintChecks=526255206 nbValidityChecks=2360703765 nbPropagations=0 nbRevisions=0
819.39 nbUselessRevisions=0 nbAssignments=719755 nbFailedAssignments=495184 nbBacktracks=224429 nbVisitedNodes=1394558
819.39 nbRestartNogoods=574
819.39 => wckTime=786.868 cpuTime=783.23 mem=24M301
1220.07
1220.07 search
1220.07 run=23 nbConstraintChecks=797174888 nbValidityChecks=3536175687 nbPropagations=0 nbRevisions=0
1220.07 nbUselessRevisions=0 nbAssignments=1051803 nbFailedAssignments=715001 nbBacktracks=336656
1220.07 nbVisitedNodes=2037175 nbRestartNogoods=586
1220.07 => wckTime=1187.548 cpuTime=1182.1 mem=24M301
1768.16
1768.16 search
1768.16 run=24 nbConstraintChecks=1169930902 nbValidityChecks=5118901970 nbPropagations=0 nbRevisions=0
1768.16 nbUselessRevisions=0 nbAssignments=1527339 nbFailedAssignments=1022187 nbBacktracks=504999
1768.16 nbVisitedNodes=2945155 nbRestartNogoods=636
1768.16 => wckTime=1735.639 cpuTime=1727.89 mem=24M301
2410.83 v 3 0 0 9 17 14 16 0 9 0 4 5 9 13 19 5 6 3 15 5
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node70/watcher-276046-1169230885 -o ROOT/results/node70/solver-276046-1169230885 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276046-1169230885/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.90 1.54 1.22 5/74 12828
/proc/meminfo: memFree=1260704/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=172 CPUtime=0
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 70585435 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8413988 0 0 4096 0 0 0 0 17 0 0 0
/proc/12827/statm: 43 24 18 14 0 3 0
[startup+0.106534 s]
/proc/loadavg: 1.90 1.54 1.22 5/74 12828
/proc/meminfo: memFree=1260704/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=914988 CPUtime=0.09
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 3076 0 1 0 8 1 0 0 22 0 8 0 70585435 936947712 2822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228747 2822 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518574 s]
/proc/loadavg: 1.90 1.54 1.22 5/74 12828
/proc/meminfo: memFree=1260704/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915332 CPUtime=0.5
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 8313 0 1 0 45 5 0 0 25 0 8 0 70585435 937299968 8052 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228833 8053 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.34266 s]
/proc/loadavg: 1.90 1.54 1.22 3/81 12835
/proc/meminfo: memFree=1202088/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=1.32
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17269 0 1 0 121 11 0 0 25 0 8 0 70585435 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17007 2478 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1843 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.1
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 70585442 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.97982 s]
/proc/loadavg: 1.90 1.54 1.22 3/81 12835
/proc/meminfo: memFree=1202088/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2.95
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17277 0 1 0 277 18 0 0 25 0 8 0 70585435 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17014 2480 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1843 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915448 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937418752 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.1
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 327 0 0 0 10 0 0 0 15 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26515 s]
/proc/loadavg: 1.91 1.55 1.22 3/81 12835
/proc/meminfo: memFree=1202088/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=6.22
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17277 0 1 0 588 34 0 0 25 0 8 0 70585435 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17014 2480 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1843 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.1
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 327 0 0 0 10 0 0 0 15 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915448 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937418752 17014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915444
[startup+12.7528 s]
/proc/loadavg: 1.92 1.56 1.23 3/81 12835
/proc/meminfo: memFree=1202104/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=12.69
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17279 0 1 0 1204 65 0 0 25 0 8 0 70585435 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17016 2480 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1843 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.11
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915444
[startup+25.6261 s]
/proc/loadavg: 1.93 1.58 1.24 3/81 12835
/proc/meminfo: memFree=1202232/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=25.51
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17279 0 1 0 2431 120 0 0 25 0 8 0 70585435 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17016 2480 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1843 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.11
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915444
[startup+51.2507 s]
/proc/loadavg: 1.96 1.61 1.26 3/81 12835
/proc/meminfo: memFree=1201976/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=51
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17450 0 1 0 4950 150 0 0 25 0 8 0 70585435 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17182 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.22
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915444
[startup+102.505 s]
/proc/loadavg: 1.98 1.67 1.29 3/81 12835
/proc/meminfo: memFree=1201912/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=102.02
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17452 0 1 0 10052 150 0 0 25 0 8 0 70585435 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17182 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.22
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 915444
[startup+162.604 s]
/proc/loadavg: 1.99 1.73 1.33 3/81 12835
/proc/meminfo: memFree=1201848/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=161.85
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17453 0 1 0 16035 150 0 0 25 0 8 0 70585435 937414656 17182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.13
Current children cumulated vsize (KiB) 915444
[startup+2085.14 s]
/proc/loadavg: 2.00 1.97 1.87 3/81 12995
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2075.88
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 207432 156 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.88
Current children cumulated vsize (KiB) 915444
[startup+2145.15 s]
/proc/loadavg: 2.03 1.99 1.89 3/81 12995
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2135.61
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 213405 156 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.61
Current children cumulated vsize (KiB) 915444
[startup+2205.16 s]
/proc/loadavg: 2.01 1.99 1.89 3/81 12995
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2195.35
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 219379 156 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.35
Current children cumulated vsize (KiB) 915444
[startup+2265.17 s]
/proc/loadavg: 2.00 1.99 1.90 3/81 12995
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2255.1
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 225354 156 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2255.1
Current children cumulated vsize (KiB) 915444
[startup+2325.17 s]
/proc/loadavg: 2.00 1.99 1.90 3/81 12995
/proc/meminfo: memFree=993784/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2314.82
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 231326 156 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.82
Current children cumulated vsize (KiB) 915444
[startup+2385.18 s]
/proc/loadavg: 2.07 2.00 1.91 3/87 13061
/proc/meminfo: memFree=992520/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2374.53
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 237293 160 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785774 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.53
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2410.82 s]
/proc/loadavg: 2.05 2.00 1.91 3/87 13119
/proc/meminfo: memFree=992504/2055920 swapFree=4192812/4192956
[pid=12827] ppid=12825 vsize=915444 CPUtime=2400.05
/proc/12827/stat : 12827 (java) R 12825 12827 12500 0 -1 0 17454 0 1 0 239841 164 0 0 25 0 8 0 70585435 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12827/statm: 228861 17183 2535 14 0 215331 0
[pid=12827/tid=12829] ppid=12825 vsize=915444 CPUtime=0.05
/proc/12827/task/12829/stat : 12829 (java) S 12825 12827 12500 0 -1 64 1844 0 0 0 5 0 0 0 16 0 8 0 70585438 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12830] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12830/stat : 12830 (java) S 12825 12827 12500 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12831] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12831/stat : 12831 (java) S 12825 12827 12500 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70585439 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12832] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12832/stat : 12832 (java) S 12825 12827 12500 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12833] ppid=12825 vsize=915444 CPUtime=0.23
/proc/12827/task/12833/stat : 12833 (java) S 12825 12827 12500 0 -1 64 394 0 0 0 23 0 0 0 16 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12834] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12834/stat : 12834 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12827/tid=12835] ppid=12825 vsize=915444 CPUtime=0
/proc/12827/task/12835/stat : 12835 (java) S 12825 12827 12500 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70585442 937414656 17183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2410.88
CPU time (s): 2400.1
CPU user time (s): 2398.45
CPU system time (s): 1.65375
CPU usage (%): 99.5532
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.45
system time used= 1.65375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17475
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= 49907
involuntary context switches= 82290
runsolver used 2.42963 s user time and 8.24375 s system time
The end
Begin job on node70 on Fri Jan 19 18:21:25 UTC 2007
IDJOB= 276046
IDBENCH= 5221
IDSOLVER= 68
FILE ID= node70/276046-1169230885
PBS_JOBID= 3589281
Free space on /tmp= 66556 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-22_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276046-1169230885/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-276046-1169230885 -o ROOT/results/node70/solver-276046-1169230885 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276046-1169230885/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0d70628e8da0871606a4ab584786a256
RANDOM SEED= 47882479
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: 1261120 kB
Buffers: 47556 kB
Cached: 650796 kB
SwapCached: 144 kB
Active: 118708 kB
Inactive: 605828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1261120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3036 kB
Writeback: 0 kB
Mapped: 38300 kB
Slab: 55732 kB
Committed_AS: 709388 kB
PageTables: 1772 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= 66560 MiB
End job on node70 on Fri Jan 19 19:01:36 UTC 2007