0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276029-1169230656/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.65
0.65 constraints being loaded...
0.81 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.81 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.81 => wckTime=0.512 cpuTime=0.46 mem=43M485
0.90
0.90 solver LocalSearchSolver being built...
0.94 => wckTime=0.641 cpuTime=0.5 mem=12M443
0.94
0.94 s SATISFIABLE
0.94 o 25
0.94 c 34
0.95 o 29
0.95 c 30
0.95 o 35
0.95 c 24
0.95 o 38
0.95 c 21
0.95 o 41
0.95 c 18
0.95 o 43
0.95 c 16
0.95 o 45
0.95 c 14
0.96 o 47
0.96 c 12
0.96 o 49
0.96 c 10
0.97 o 50
0.97 c 9
0.99 o 51
0.99 c 8
0.99 o 52
0.99 c 7
0.99 o 53
0.99 c 6
1.01 o 54
1.01 c 5
1.03 o 55
1.03 c 4
2.16 o 56
2.16 c 3
3.23 o 57
3.23 c 2
9.12
9.12 search
9.12 run=0 nbConstraintChecks=10171473 nbAssignments=10000
9.12 => wckTime=8.188 cpuTime=8.16 mem=12M443
17.64
17.64 search
17.64 run=1 nbConstraintChecks=20746253 nbAssignments=20000
17.64 => wckTime=16.705 cpuTime=16.67 mem=12M443
26.06
26.06 search
26.06 run=2 nbConstraintChecks=31125787 nbAssignments=30000
26.06 => wckTime=25.124 cpuTime=25.09 mem=12M443
33.26
33.26 search
33.26 run=3 nbConstraintChecks=40089784 nbAssignments=38364
33.26 => wckTime=32.327 cpuTime=32.29 mem=12M443
33.26
33.26 global
33.26 nbConstraintChecks=40089784 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.26 solvingWckTime=32.324 solvingCpuTime=32.29 expiredTime=no totalExploration=no nbFoundSolutions=0
33.26 globalCpuTime=32.84
33.26 => wckTime=32.968 cpuTime=32.79 mem=12M443
33.26
33.26 solver IterativeSystematicSolver being built...
33.39 => wckTime=33.096 cpuTime=32.88 mem=23M214
33.40
33.40 preprocessing
33.40 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
33.40 detectedInconsistency=no
33.40 => wckTime=0.0050 cpuTime=0.0 mem=23M214
33.57
33.57 search
33.57 run=0 nbConstraintChecks=70152 nbValidityChecks=349202 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.57 nbAssignments=119 nbFailedAssignments=104 nbBacktracks=10 nbVisitedNodes=234 nbRestartNogoods=0
33.57 => wckTime=0.178 cpuTime=0.14 mem=24M215
33.69
33.69 search
33.69 run=1 nbConstraintChecks=137988 nbValidityChecks=682759 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.69 nbAssignments=230 nbFailedAssignments=193 nbBacktracks=25 nbVisitedNodes=449 nbRestartNogoods=12
33.69 => wckTime=0.302 cpuTime=0.26 mem=24M215
33.83
33.83 search
33.83 run=2 nbConstraintChecks=222983 nbValidityChecks=1082213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.83 nbAssignments=441 nbFailedAssignments=374 nbBacktracks=47 nbVisitedNodes=863 nbRestartNogoods=24
33.83 => wckTime=0.44 cpuTime=0.39 mem=24M215
34.05
34.05 search
34.05 run=3 nbConstraintChecks=357710 nbValidityChecks=1764523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.05 nbAssignments=688 nbFailedAssignments=581 nbBacktracks=80 nbVisitedNodes=1349 nbRestartNogoods=69
34.05 => wckTime=0.661 cpuTime=0.61 mem=24M215
34.32
34.32 search
34.32 run=4 nbConstraintChecks=524135 nbValidityChecks=2576738 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.32 nbAssignments=997 nbFailedAssignments=834 nbBacktracks=130 nbVisitedNodes=1961 nbRestartNogoods=100
34.32 => wckTime=0.926 cpuTime=0.87 mem=24M215
34.59
34.59 search
34.59 run=5 nbConstraintChecks=687247 nbValidityChecks=3421050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.59 nbAssignments=1394 nbFailedAssignments=1150 nbBacktracks=205 nbVisitedNodes=2749 nbRestartNogoods=117
34.59 => wckTime=1.203 cpuTime=1.15 mem=24M215
35.46
35.46 search
35.46 run=6 nbConstraintChecks=1215327 nbValidityChecks=6380472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.46 nbAssignments=2476 nbFailedAssignments=2111 nbBacktracks=318 nbVisitedNodes=4903 nbRestartNogoods=134
35.46 => wckTime=2.072 cpuTime=1.99 mem=24M215
36.81
36.81 search
36.81 run=7 nbConstraintChecks=2143191 nbValidityChecks=10763969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.81 nbAssignments=4098 nbFailedAssignments=3557 nbBacktracks=488 nbVisitedNodes=8135 nbRestartNogoods=163
36.81 => wckTime=3.421 cpuTime=3.34 mem=24M215
37.91
37.91 search
37.91 run=8 nbConstraintChecks=2762285 nbValidityChecks=14261598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.91 nbAssignments=5889 nbFailedAssignments=5086 nbBacktracks=744 nbVisitedNodes=11707 nbRestartNogoods=193
37.91 => wckTime=4.522 cpuTime=4.44 mem=24M215
40.43
40.43 search
40.43 run=9 nbConstraintChecks=4348757 nbValidityChecks=22698058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.43 nbAssignments=9463 nbFailedAssignments=8269 nbBacktracks=1128 nbVisitedNodes=18839 nbRestartNogoods=202
40.43 => wckTime=7.035 cpuTime=6.95 mem=24M215
43.07
43.07 search
43.07 run=10 nbConstraintChecks=6050769 nbValidityChecks=31300786 nbPropagations=0 nbRevisions=0
43.07 nbUselessRevisions=0 nbAssignments=13036 nbFailedAssignments=11262 nbBacktracks=1704 nbVisitedNodes=25938
43.07 nbRestartNogoods=243
43.07 => wckTime=9.682 cpuTime=9.59 mem=24M215
48.05
48.05 search
48.05 run=11 nbConstraintChecks=9361541 nbValidityChecks=48491381 nbPropagations=0 nbRevisions=0
48.05 nbUselessRevisions=0 nbAssignments=19083 nbFailedAssignments=16439 nbBacktracks=2568 nbVisitedNodes=38011
48.05 nbRestartNogoods=260
48.05 => wckTime=14.657 cpuTime=14.57 mem=24M215
55.61
55.61 search
55.61 run=12 nbConstraintChecks=14172830 nbValidityChecks=73712729 nbPropagations=0 nbRevisions=0
55.61 nbUselessRevisions=0 nbAssignments=29163 nbFailedAssignments=25215 nbBacktracks=3866 nbVisitedNodes=58120
55.61 nbRestartNogoods=274
55.61 => wckTime=22.219 cpuTime=22.12 mem=24M215
66.46
66.46 search
66.46 run=13 nbConstraintChecks=21611575 nbValidityChecks=107992985 nbPropagations=0 nbRevisions=0
66.46 nbUselessRevisions=0 nbAssignments=39981 nbFailedAssignments=34082 nbBacktracks=5812 nbVisitedNodes=79435
66.46 nbRestartNogoods=296
66.46 => wckTime=33.073 cpuTime=32.98 mem=24M215
79.23
79.23 search
79.23 run=14 nbConstraintChecks=30167137 nbValidityChecks=148360620 nbPropagations=0 nbRevisions=0
79.23 nbUselessRevisions=0 nbAssignments=54704 nbFailedAssignments=45882 nbBacktracks=8731 nbVisitedNodes=108591
79.23 nbRestartNogoods=325
79.23 => wckTime=45.841 cpuTime=45.75 mem=24M215
95.99
95.99 search
95.99 run=15 nbConstraintChecks=41402719 nbValidityChecks=198656473 nbPropagations=0 nbRevisions=0
95.99 nbUselessRevisions=0 nbAssignments=74902 nbFailedAssignments=61696 nbBacktracks=13109 nbVisitedNodes=148241
95.99 nbRestartNogoods=332
95.99 => wckTime=62.6 cpuTime=62.5 mem=24M215
116.95
116.95 search
116.95 run=16 nbConstraintChecks=55541131 nbValidityChecks=257890316 nbPropagations=0 nbRevisions=0
116.95 nbUselessRevisions=0 nbAssignments=95275 nbFailedAssignments=75497 nbBacktracks=19677 nbVisitedNodes=187300
116.95 nbRestartNogoods=379
116.95 => wckTime=83.562 cpuTime=83.45 mem=24M215
143.36 o 58
143.37 c 1
144.21
144.21 search
144.21 run=17 nbConstraintChecks=73186344 nbValidityChecks=334803519 nbPropagations=0 nbRevisions=0
144.21 nbUselessRevisions=0 nbAssignments=121252 nbFailedAssignments=91617 nbBacktracks=29530 nbVisitedNodes=236439
144.21 nbRestartNogoods=405
144.21 => wckTime=110.82 cpuTime=110.7 mem=24M215
175.58
175.58 search
175.58 run=18 nbConstraintChecks=92930373 nbValidityChecks=418931767 nbPropagations=0 nbRevisions=0
175.58 nbUselessRevisions=0 nbAssignments=155719 nbFailedAssignments=111303 nbBacktracks=44308 nbVisitedNodes=297727
175.58 nbRestartNogoods=418
175.58 => wckTime=142.192 cpuTime=142.06 mem=24M215
227.26
227.26 search
227.26 run=19 nbConstraintChecks=126070262 nbValidityChecks=555921183 nbPropagations=0 nbRevisions=0
227.26 nbUselessRevisions=0 nbAssignments=208112 nbFailedAssignments=141524 nbBacktracks=66476 nbVisitedNodes=391679
227.26 nbRestartNogoods=426
227.26 => wckTime=193.867 cpuTime=193.72 mem=24M215
303.46
303.46 search
303.46 run=20 nbConstraintChecks=174720531 nbValidityChecks=761513244 nbPropagations=0 nbRevisions=0
303.46 nbUselessRevisions=0 nbAssignments=287063 nbFailedAssignments=187219 nbBacktracks=99728 nbVisitedNodes=532959
303.46 nbRestartNogoods=437
303.46 => wckTime=270.066 cpuTime=269.89 mem=24M215
418.24
418.24 search
418.24 run=21 nbConstraintChecks=248684722 nbValidityChecks=1062758734 nbPropagations=0 nbRevisions=0
418.24 nbUselessRevisions=0 nbAssignments=400368 nbFailedAssignments=250641 nbBacktracks=149606 nbVisitedNodes=733842
418.24 nbRestartNogoods=462
418.24 => wckTime=384.853 cpuTime=384.63 mem=24M215
585.99
585.99 search
585.99 run=22 nbConstraintChecks=356795473 nbValidityChecks=1492439385 nbPropagations=0 nbRevisions=0
585.99 nbUselessRevisions=0 nbAssignments=570626 nbFailedAssignments=346076 nbBacktracks=224425 nbVisitedNodes=1034143
585.99 nbRestartNogoods=493
585.99 => wckTime=552.6 cpuTime=552.32 mem=24M215
673.88
673.88 search
673.88 run=23 nbConstraintChecks=413455615 nbValidityChecks=1718496240 nbPropagations=0 nbRevisions=0
673.88 nbUselessRevisions=0 nbAssignments=656308 nbFailedAssignments=392298 nbBacktracks=263886 nbVisitedNodes=1183106
673.88 nbRestartNogoods=518
673.88 => wckTime=640.485 cpuTime=640.18 mem=24M215
673.88
673.88 global
673.88 nbConstraintChecks=413455615 nbValidityChecks=1718496240 nbRestartNogoods=518 solvingWckTime=640.486
673.88 solvingCpuTime=640.18 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=673.11
673.88 => wckTime=673.582 cpuTime=673.06 mem=24M215
673.88
673.88 s OPTIMUM FOUND
673.88 v 0 2 2 10 1 14 0 5 16 13 16 0 6 10 19 12 15 9 10 5
673.88
673.88 totalWckTime=673.658 totalCpuTime=673.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-276029-1169230656 -o ROOT/results/node76/solver-276029-1169230656 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276029-1169230656/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.66 0.92 1.10 3/75 21519
/proc/meminfo: memFree=1528544/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=1456 CPUtime=0
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 105 0 0 0 0 0 0 0 20 0 1 0 271462664 1490944 75 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21518/statm: 366 88 69 14 0 10 0
[startup+0.107626 s]
/proc/loadavg: 0.66 0.92 1.10 3/75 21519
/proc/meminfo: memFree=1528544/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=914992 CPUtime=0.08
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 3050 0 1 0 7 1 0 0 17 0 8 0 271462664 936951808 2798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228748 2799 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.51571 s]
/proc/loadavg: 0.66 0.92 1.10 3/75 21519
/proc/meminfo: memFree=1528544/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915336 CPUtime=0.49
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 8139 0 1 0 44 5 0 0 18 0 8 0 271462664 937304064 7880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073553054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228834 7882 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915336
[startup+1.33687 s]
/proc/loadavg: 0.66 0.92 1.10 3/92 21536
/proc/meminfo: memFree=1411280/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=1.31
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17258 0 1 0 120 11 0 0 25 0 8 0 271462664 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 16998 2476 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1843 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.11
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 320 0 0 0 11 0 0 0 15 0 8 0 271462671 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 16998 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.9892 s]
/proc/loadavg: 0.66 0.92 1.10 3/92 21536
/proc/meminfo: memFree=1411216/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=2.96
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17266 0 1 0 278 18 0 0 25 0 8 0 271462664 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17005 2478 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1843 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.12
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 327 0 0 0 12 0 0 0 15 0 8 0 271462671 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915448
[startup+6.27184 s]
/proc/loadavg: 0.77 0.94 1.11 3/92 21536
/proc/meminfo: memFree=1411024/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=6.24
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17266 0 1 0 589 35 0 0 25 0 8 0 271462664 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17005 2478 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1843 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.12
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 327 0 0 0 12 0 0 0 15 0 8 0 271462671 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915448
[startup+12.7551 s]
/proc/loadavg: 0.94 0.97 1.12 3/92 21536
/proc/meminfo: memFree=1411096/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=12.72
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17268 0 1 0 1209 63 0 0 25 0 8 0 271462664 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17007 2478 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1843 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.12
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271462671 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915448
[startup+25.6127 s]
/proc/loadavg: 1.18 1.02 1.13 3/92 21536
/proc/meminfo: memFree=1411160/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=25.58
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17268 0 1 0 2441 117 0 0 25 0 8 0 271462664 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17007 2478 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1843 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.12
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 329 0 0 0 12 0 0 0 16 0 8 0 271462671 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915448
[startup+51.2137 s]
/proc/loadavg: 1.60 1.13 1.16 3/92 21536
/proc/meminfo: memFree=1410584/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=51.16
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17435 0 1 0 4967 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915448
[startup+102.431 s]
/proc/loadavg: 1.82 1.26 1.21 3/92 21536
/proc/meminfo: memFree=1410584/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=102.36
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17437 0 1 0 10087 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073776169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 915448
[startup+162.486 s]
/proc/loadavg: 1.93 1.39 1.25 3/92 21536
/proc/meminfo: memFree=1410520/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=162.39
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17437 0 1 0 16090 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073604297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 915448
[startup+282.616 s]
/proc/loadavg: 1.99 1.59 1.34 4/92 21538
/proc/meminfo: memFree=1410328/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=282.48
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 28099 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 915448
[startup+342.674 s]
/proc/loadavg: 1.99 1.66 1.38 3/92 21538
/proc/meminfo: memFree=1410392/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=342.52
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 34103 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 915448
[startup+402.725 s]
/proc/loadavg: 1.99 1.72 1.41 3/92 21538
/proc/meminfo: memFree=1410392/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=402.55
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 40106 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073604284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.55
Current children cumulated vsize (KiB) 915448
[startup+462.799 s]
/proc/loadavg: 2.03 1.78 1.45 3/92 21538
/proc/meminfo: memFree=1410392/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=462.6
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 46111 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.6
Current children cumulated vsize (KiB) 915448
[startup+522.878 s]
/proc/loadavg: 2.01 1.82 1.48 3/92 21538
/proc/meminfo: memFree=1410392/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=522.66
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 52117 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.66
Current children cumulated vsize (KiB) 915448
[startup+582.942 s]
/proc/loadavg: 2.00 1.85 1.51 3/92 21538
/proc/meminfo: memFree=1410456/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=582.7
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 58121 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073604330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.7
Current children cumulated vsize (KiB) 915448
[startup+643.006 s]
/proc/loadavg: 2.00 1.87 1.54 4/92 21538
/proc/meminfo: memFree=1410456/2055888 swapFree=4087964/4096564
[pid=21518] ppid=21509 vsize=915448 CPUtime=642.74
/proc/21518/stat : 21518 (java) R 21509 21518 21410 0 -1 0 17438 0 1 0 64125 149 0 0 25 0 8 0 271462664 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21518/statm: 228862 17169 2531 14 0 215331 0
[pid=21518/tid=21523] ppid=21509 vsize=915448 CPUtime=0.07
/proc/21518/task/21523/stat : 21523 (java) S 21509 21518 21410 0 -1 64 1844 0 0 0 7 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21524] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21524/stat : 21524 (java) S 21509 21518 21410 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21525] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21525/stat : 21525 (java) S 21509 21518 21410 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271462668 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21529] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21529/stat : 21529 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21530] ppid=21509 vsize=915448 CPUtime=0.23
/proc/21518/task/21530/stat : 21530 (java) S 21509 21518 21410 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 271462671 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21531] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21531/stat : 21531 (java) S 21509 21518 21410 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21518/tid=21532] ppid=21509 vsize=915448 CPUtime=0
/proc/21518/task/21532/stat : 21532 (java) S 21509 21518 21410 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271462672 937418752 17169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 642.74
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 673.915
CPU time (s): 673.634
CPU user time (s): 672.127
CPU system time (s): 1.50677
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 672.127
system time used= 1.50677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17451
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= 14795
involuntary context switches= 22370
runsolver used 0.794879 s user time and 1.80572 s system time
The end
Begin job on node76 on Fri Jan 19 18:17:36 UTC 2007
IDJOB= 276029
IDBENCH= 5215
IDSOLVER= 69
FILE ID= node76/276029-1169230656
PBS_JOBID= 3589283
Free space on /tmp= 66646 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276029-1169230656/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-276029-1169230656 -o ROOT/results/node76/solver-276029-1169230656 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276029-1169230656/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 918b09b7eb625e123c6667f6d3972f6b
RANDOM SEED= 729526947
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1529360 kB
Buffers: 35372 kB
Cached: 413108 kB
SwapCached: 2496 kB
Active: 108916 kB
Inactive: 354216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1529360 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 6100 kB
Writeback: 0 kB
Mapped: 21752 kB
Slab: 49460 kB
Committed_AS: 7734016 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66646 MiB
End job on node76 on Fri Jan 19 18:28:50 UTC 2007