0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276019-1169230616/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.68
0.68 constraints being loaded...
0.84 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.84 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.84 => wckTime=0.54 cpuTime=0.49 mem=44M358
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.662 cpuTime=0.53 mem=12M595
0.97
0.97 s SATISFIABLE
0.97 o 25
0.97 c 35
0.97 o 31
0.97 c 29
0.97 o 36
0.97 c 24
0.97 o 40
0.97 c 20
0.97 o 43
0.97 c 17
0.98 o 45
0.98 c 15
0.98 o 48
0.98 c 12
0.99 o 49
0.99 c 11
0.99 o 50
0.99 c 10
0.99 o 52
0.99 c 8
0.99 o 54
0.99 c 6
1.09 o 55
1.09 c 5
1.14 o 57
1.14 c 3
10.12
10.12 search
10.12 run=0 nbConstraintChecks=10553706 nbAssignments=10000
10.12 => wckTime=9.159 cpuTime=9.14 mem=12M595
19.02
19.02 search
19.02 run=1 nbConstraintChecks=21069751 nbAssignments=20000
19.02 => wckTime=18.061 cpuTime=18.03 mem=12M595
28.14
28.14 search
28.14 run=2 nbConstraintChecks=31676616 nbAssignments=30000
28.14 => wckTime=27.179 cpuTime=27.14 mem=12M595
31.16
31.16 search
31.16 run=3 nbConstraintChecks=35235904 nbAssignments=33218
31.16 => wckTime=30.204 cpuTime=30.18 mem=12M595
31.16
31.16 global
31.16 nbConstraintChecks=35235904 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.16 solvingWckTime=30.202 solvingCpuTime=30.18 expiredTime=no totalExploration=no nbFoundSolutions=0
31.16 globalCpuTime=30.76
31.16 => wckTime=30.867 cpuTime=30.71 mem=12M595
31.17
31.17 solver IterativeSystematicSolver being built...
31.30 => wckTime=30.998 cpuTime=30.81 mem=23M437
31.36
31.36 preprocessing
31.36 nbConstraintChecks=12221 nbValidityChecks=30819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.36 nbRemovedValues=0 detectedInconsistency=no
31.36 => wckTime=0.058 cpuTime=0.04 mem=23M437
31.46
31.46 search
31.46 run=0 nbConstraintChecks=50013 nbValidityChecks=242039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.46 nbAssignments=78 nbFailedAssignments=62 nbBacktracks=10 nbVisitedNodes=151 nbRestartNogoods=0
31.46 => wckTime=0.16 cpuTime=0.13 mem=24M488
31.61
31.61 search
31.61 run=1 nbConstraintChecks=133402 nbValidityChecks=655052 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.61 nbAssignments=212 nbFailedAssignments=174 nbBacktracks=25 nbVisitedNodes=412 nbRestartNogoods=15
31.61 => wckTime=0.318 cpuTime=0.28 mem=24M488
31.80
31.80 search
31.80 run=2 nbConstraintChecks=240212 nbValidityChecks=1176189 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.80 nbAssignments=457 nbFailedAssignments=390 nbBacktracks=47 nbVisitedNodes=895 nbRestartNogoods=28
31.80 => wckTime=0.505 cpuTime=0.46 mem=24M488
32.12
32.12 search
32.12 run=3 nbConstraintChecks=432341 nbValidityChecks=2135788 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.12 nbAssignments=750 nbFailedAssignments=644 nbBacktracks=80 nbVisitedNodes=1475 nbRestartNogoods=47
32.12 => wckTime=0.818 cpuTime=0.77 mem=24M488
32.47
32.47 search
32.47 run=4 nbConstraintChecks=633318 nbValidityChecks=3159875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.47 nbAssignments=1148 nbFailedAssignments=985 nbBacktracks=130 nbVisitedNodes=2264 nbRestartNogoods=74
32.47 => wckTime=1.169 cpuTime=1.12 mem=24M488
33.03
33.03 search
33.03 run=5 nbConstraintChecks=973679 nbValidityChecks=4784168 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.03 nbAssignments=1753 nbFailedAssignments=1506 nbBacktracks=205 nbVisitedNodes=3465 nbRestartNogoods=95
33.03 => wckTime=1.73 cpuTime=1.66 mem=24M488
33.66
33.66 search
33.66 run=6 nbConstraintChecks=1358221 nbValidityChecks=6716552 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.66 nbAssignments=2527 nbFailedAssignments=2158 nbBacktracks=318 nbVisitedNodes=5004 nbRestartNogoods=113
33.66 => wckTime=2.36 cpuTime=2.28 mem=24M488
34.71
34.71 search
34.71 run=7 nbConstraintChecks=2007353 nbValidityChecks=9994374 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.71 nbAssignments=3708 nbFailedAssignments=3161 nbBacktracks=488 nbVisitedNodes=7358 nbRestartNogoods=140
34.71 => wckTime=3.41 cpuTime=3.33 mem=24M488
36.53
36.53 search
36.53 run=8 nbConstraintChecks=3177354 nbValidityChecks=15575417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.53 nbAssignments=5636 nbFailedAssignments=4826 nbBacktracks=744 nbVisitedNodes=11206 nbRestartNogoods=164
36.53 => wckTime=5.229 cpuTime=5.14 mem=24M488
38.38
38.38 search
38.38 run=9 nbConstraintChecks=4426277 nbValidityChecks=20920371 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.38 nbAssignments=7366 nbFailedAssignments=6164 nbBacktracks=1128 nbVisitedNodes=14657 nbRestartNogoods=177
38.38 => wckTime=7.081 cpuTime=7.0 mem=24M488
42.09
42.09 search
42.09 run=10 nbConstraintChecks=6828655 nbValidityChecks=32053114 nbPropagations=0 nbRevisions=0
42.09 nbUselessRevisions=0 nbAssignments=11339 nbFailedAssignments=9554 nbBacktracks=1704 nbVisitedNodes=22594
42.09 nbRestartNogoods=202
42.09 => wckTime=10.795 cpuTime=10.7 mem=24M488
47.18
47.18 search
47.18 run=11 nbConstraintChecks=9974160 nbValidityChecks=47420043 nbPropagations=0 nbRevisions=0
47.18 nbUselessRevisions=0 nbAssignments=16767 nbFailedAssignments=14110 nbBacktracks=2568 nbVisitedNodes=33437
47.18 nbRestartNogoods=234
47.18 => wckTime=15.881 cpuTime=15.79 mem=24M488
54.30
54.30 search
54.30 run=12 nbConstraintChecks=14412378 nbValidityChecks=69560002 nbPropagations=0 nbRevisions=0
54.30 nbUselessRevisions=0 nbAssignments=24803 nbFailedAssignments=20841 nbBacktracks=3865 nbVisitedNodes=49464
54.30 nbRestartNogoods=271
54.30 => wckTime=23.001 cpuTime=22.9 mem=24M488
64.11
64.14 search
64.14 run=13 nbConstraintChecks=20470562 nbValidityChecks=99569309 nbPropagations=0 nbRevisions=0
64.14 nbUselessRevisions=0 nbAssignments=36247 nbFailedAssignments=30330 nbBacktracks=5811 nbVisitedNodes=72313
64.14 nbRestartNogoods=314
64.14 => wckTime=32.818 cpuTime=32.72 mem=24M488
77.87
77.87 search
77.87 run=14 nbConstraintChecks=29173845 nbValidityChecks=140916949 nbPropagations=0 nbRevisions=0
77.87 nbUselessRevisions=0 nbAssignments=50713 nbFailedAssignments=41869 nbBacktracks=8730 nbVisitedNodes=101080
77.87 nbRestartNogoods=349
77.87 => wckTime=46.572 cpuTime=46.46 mem=24M488
94.71
94.71 search
94.71 run=15 nbConstraintChecks=39607136 nbValidityChecks=191362262 nbPropagations=0 nbRevisions=0
94.71 nbUselessRevisions=0 nbAssignments=67911 nbFailedAssignments=54684 nbBacktracks=13109 nbVisitedNodes=134927
94.71 nbRestartNogoods=364
94.71 => wckTime=63.416 cpuTime=63.3 mem=24M488
102.62 o 58
102.62 c 2
119.94
119.94 search
119.94 run=16 nbConstraintChecks=55331769 nbValidityChecks=265001942 nbPropagations=0 nbRevisions=0
119.94 nbUselessRevisions=0 nbAssignments=90694 nbFailedAssignments=70893 nbBacktracks=19677 nbVisitedNodes=178745
119.94 nbRestartNogoods=377
119.94 => wckTime=88.643 cpuTime=88.52 mem=24M488
154.01
154.02 search
154.02 run=17 nbConstraintChecks=76798030 nbValidityChecks=360100837 nbPropagations=0 nbRevisions=0
154.02 nbUselessRevisions=0 nbAssignments=118659 nbFailedAssignments=89000 nbBacktracks=29529 nbVisitedNodes=231675
154.02 nbRestartNogoods=411
154.02 => wckTime=122.718 cpuTime=122.58 mem=24M488
203.73
203.73 search
203.73 run=18 nbConstraintChecks=107229373 nbValidityChecks=501736226 nbPropagations=0 nbRevisions=0
203.73 nbUselessRevisions=0 nbAssignments=161656 nbFailedAssignments=117213 nbBacktracks=44307 nbVisitedNodes=313207
203.73 nbRestartNogoods=456
203.73 => wckTime=172.43 cpuTime=172.27 mem=24M488
279.96
279.96 search
279.96 run=19 nbConstraintChecks=154942427 nbValidityChecks=714865199 nbPropagations=0 nbRevisions=0
279.96 nbUselessRevisions=0 nbAssignments=225136 nbFailedAssignments=158517 nbBacktracks=66476 nbVisitedNodes=432660
279.96 nbRestartNogoods=491
279.96 => wckTime=248.667 cpuTime=248.48 mem=24M488
302.92 o 59
302.92 c 1
376.95
376.95 search
376.95 run=20 nbConstraintChecks=214628580 nbValidityChecks=978392196 nbPropagations=0 nbRevisions=0
376.95 nbUselessRevisions=0 nbAssignments=308714 nbFailedAssignments=208839 nbBacktracks=99728 nbVisitedNodes=581344
376.95 nbRestartNogoods=512
376.95 => wckTime=345.657 cpuTime=345.44 mem=24M488
514.72
514.72 search
514.72 run=21 nbConstraintChecks=300585520 nbValidityChecks=1334312287 nbPropagations=0 nbRevisions=0
514.72 nbUselessRevisions=0 nbAssignments=422180 nbFailedAssignments=272424 nbBacktracks=149606 nbVisitedNodes=776676
514.72 nbRestartNogoods=555
514.72 => wckTime=483.419 cpuTime=483.15 mem=24M488
710.68
710.68 search
710.68 run=22 nbConstraintChecks=422192431 nbValidityChecks=1844145401 nbPropagations=0 nbRevisions=0
710.68 nbUselessRevisions=0 nbAssignments=588968 nbFailedAssignments=364390 nbBacktracks=224424 nbVisitedNodes=1061668
710.68 nbRestartNogoods=601
710.68 => wckTime=679.387 cpuTime=679.05 mem=24M488
1010.50
1010.50 search
1010.50 run=23 nbConstraintChecks=608198028 nbValidityChecks=2631728063 nbPropagations=0 nbRevisions=0
1010.50 nbUselessRevisions=0 nbAssignments=844969 nbFailedAssignments=508161 nbBacktracks=336651 nbVisitedNodes=1499963
1010.50 nbRestartNogoods=651
1010.50 => wckTime=979.205 cpuTime=978.78 mem=24M488
1447.73
1447.73 search
1447.73 run=24 nbConstraintChecks=880147871 nbValidityChecks=3766366009 nbPropagations=0 nbRevisions=0
1447.73 nbUselessRevisions=0 nbAssignments=1215627 nbFailedAssignments=710473 nbBacktracks=504992
1447.73 nbVisitedNodes=2128455 nbRestartNogoods=698
1447.73 => wckTime=1416.431 cpuTime=1415.85 mem=24M488
2107.80
2107.80 search
2107.80 run=25 nbConstraintChecks=1289928353 nbValidityChecks=5488047352 nbPropagations=0 nbRevisions=0
2107.80 nbUselessRevisions=0 nbAssignments=1777193 nbFailedAssignments=1019523 nbBacktracks=757503
2107.80 nbVisitedNodes=3083854 nbRestartNogoods=718
2107.80 => wckTime=2076.504 cpuTime=2075.69 mem=24M488
2400.94 v 8 0 0 13 8 3 3 0 18 1 12 16 2 13 16 18 15 9 8 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-276019-1169230616 -o ROOT/results/node65/solver-276019-1169230616 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276019-1169230616/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.91 1.26 1.63 4/65 19236
/proc/meminfo: memFree=1400924/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=1784 CPUtime=0
/proc/19235/stat : 19235 (java) D 19233 19235 17990 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 70558860 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19235/statm: 446 158 123 14 0 91 0
[startup+0.103833 s]
/proc/loadavg: 0.91 1.26 1.63 4/65 19236
/proc/meminfo: memFree=1400924/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=914988 CPUtime=0.08
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 3049 0 1 0 6 2 0 0 21 0 8 0 70558860 936947712 2795 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154107671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19235/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511895 s]
/proc/loadavg: 0.91 1.26 1.63 4/65 19236
/proc/meminfo: memFree=1400924/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915332 CPUtime=0.49
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 7904 0 1 0 44 5 0 0 16 0 8 0 70558860 937299968 7643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228833 7644 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33803 s]
/proc/loadavg: 0.91 1.26 1.63 2/72 19243
/proc/meminfo: memFree=1341220/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=1.31
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17565 0 1 0 120 11 0 0 17 0 8 0 70558860 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17303 2478 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.09
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 320 0 0 0 9 0 0 0 15 0 8 0 70558867 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915448 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937418752 17303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.9743 s]
/proc/loadavg: 0.91 1.26 1.63 2/72 19243
/proc/meminfo: memFree=1341220/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2.95
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17573 0 1 0 275 20 0 0 17 0 8 0 70558860 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073616572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17310 2480 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915448 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937418752 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.1
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 327 0 0 0 10 0 0 0 15 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17310 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.26684 s]
/proc/loadavg: 0.92 1.25 1.63 2/72 19243
/proc/meminfo: memFree=1341220/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=6.24
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17573 0 1 0 589 35 0 0 21 0 8 0 70558860 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17310 2480 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.1
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 327 0 0 0 10 0 0 0 15 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) R 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915444
[startup+12.7359 s]
/proc/loadavg: 0.93 1.25 1.62 2/72 19243
/proc/meminfo: memFree=1341236/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=12.7
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17575 0 1 0 1203 67 0 0 20 0 8 0 70558860 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17312 2480 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.1
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 329 0 0 0 10 0 0 0 16 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915444
[startup+25.572 s]
/proc/loadavg: 0.94 1.24 1.61 2/72 19243
/proc/meminfo: memFree=1341372/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=25.54
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17575 0 1 0 2426 128 0 0 17 0 8 0 70558860 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17312 2480 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1891 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.1
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 329 0 0 0 10 0 0 0 16 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17312 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915444
[startup+51.2553 s]
/proc/loadavg: 0.96 1.22 1.60 2/72 19243
/proc/meminfo: memFree=1341052/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=51.2
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17746 0 1 0 4967 153 0 0 23 0 8 0 70558860 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17478 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.2
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915444
[startup+102.504 s]
/proc/loadavg: 0.98 1.18 1.56 2/72 19243
/proc/meminfo: memFree=1340988/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=102.42
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17747 0 1 0 10089 153 0 0 25 0 8 0 70558860 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17478 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.2
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915444
[startup+162.58 s]
/proc/loadavg: 0.99 1.14 1.53 2/72 19245
/proc/meminfo: memFree=1340788/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=162.48
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17748 0 1 0 16095 153 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.41
Current children cumulated vsize (KiB) 915444
[startup+2085.23 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 19245
/proc/meminfo: memFree=1340796/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2084.48
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 208293 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611788 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.48
Current children cumulated vsize (KiB) 915444
[startup+2145.31 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2144.54
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 214299 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.54
Current children cumulated vsize (KiB) 915444
[startup+2205.39 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2204.6
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 220305 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.6
Current children cumulated vsize (KiB) 915444
[startup+2265.47 s]
/proc/loadavg: 1.03 1.01 1.02 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2264.65
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 226310 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.65
Current children cumulated vsize (KiB) 915444
[startup+2325.55 s]
/proc/loadavg: 1.01 1.01 1.01 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2324.71
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 232316 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.71
Current children cumulated vsize (KiB) 915444
[startup+2385.63 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2384.78
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 238323 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650352 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.78
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.94 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 19245
/proc/meminfo: memFree=1340732/2055920 swapFree=4191892/4192956
[pid=19235] ppid=19233 vsize=915444 CPUtime=2400.08
/proc/19235/stat : 19235 (java) R 19233 19235 17990 0 -1 0 17749 0 1 0 239853 155 0 0 25 0 8 0 70558860 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19235/statm: 228861 17479 2535 14 0 215331 0
[pid=19235/tid=19237] ppid=19233 vsize=915444 CPUtime=0.06
/proc/19235/task/19237/stat : 19237 (java) S 19233 19235 17990 0 -1 64 1892 0 0 0 6 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19238] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19238/stat : 19238 (java) S 19233 19235 17990 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19239] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19239/stat : 19239 (java) S 19233 19235 17990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 70558864 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19240] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19240/stat : 19240 (java) S 19233 19235 17990 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19241] ppid=19233 vsize=915444 CPUtime=0.21
/proc/19235/task/19241/stat : 19241 (java) S 19233 19235 17990 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19242] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19242/stat : 19242 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19235/tid=19243] ppid=19233 vsize=915444 CPUtime=0
/proc/19235/task/19243/stat : 19243 (java) S 19233 19235 17990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70558867 937414656 17479 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.98
CPU time (s): 2400.13
CPU user time (s): 2398.56
CPU system time (s): 1.56276
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.56
system time used= 1.56276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17771
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= 49422
involuntary context switches= 3346
runsolver used 2.36864 s user time and 6.14607 s system time
The end
Begin job on node65 on Fri Jan 19 18:16:56 UTC 2007
IDJOB= 276019
IDBENCH= 5213
IDSOLVER= 68
FILE ID= node65/276019-1169230616
PBS_JOBID= 3589218
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276019-1169230616/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-276019-1169230616 -o ROOT/results/node65/solver-276019-1169230616 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276019-1169230616/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 88f1fadd77f105b78bc8652c5b5edcb2
RANDOM SEED= 881645097
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.263
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.263
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: 1401404 kB
Buffers: 42292 kB
Cached: 529260 kB
SwapCached: 396 kB
Active: 117024 kB
Inactive: 469480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1401404 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2944 kB
Writeback: 0 kB
Mapped: 23792 kB
Slab: 54052 kB
Committed_AS: 576300 kB
PageTables: 1456 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= 66562 MiB
End job on node65 on Fri Jan 19 18:56:57 UTC 2007