0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276814-1169247154/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.106 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.70 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11880 maxDegree=39
0.70 maxArity=2
0.70 => wckTime=0.384 cpuTime=0.25 mem=11M779
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.475 cpuTime=0.3 mem=6M107
0.79
0.79 s SATISFIABLE
0.79 o 679
0.79 c 72
0.80 o 685
0.80 c 66
0.80 o 690
0.80 c 61
0.80 o 695
0.80 c 56
0.80 o 699
0.80 c 52
0.80 o 702
0.80 c 49
0.80 o 705
0.80 c 46
0.80 o 709
0.80 c 42
0.80 o 713
0.80 c 38
0.80 o 716
0.80 c 35
0.80 o 718
0.80 c 33
0.80 o 720
0.80 c 31
0.81 o 722
0.81 c 29
0.81 o 724
0.81 c 27
0.81 o 726
0.81 c 25
0.81 o 727
0.81 c 24
0.81 o 730
0.81 c 21
0.81 o 732
0.81 c 19
0.81 o 733
0.81 c 18
0.81 o 734
0.81 c 17
0.82 o 735
0.82 c 16
0.82 o 736
0.82 c 15
0.82 o 739
0.82 c 12
0.82 o 740
0.82 c 11
0.82 o 742
0.82 c 9
0.82 o 744
0.82 c 7
0.83 o 745
0.83 c 6
0.83 o 746
0.83 c 5
0.83 o 748
0.83 c 3
0.83 o 749
0.83 c 2
2.37 o 750
2.37 c 1
2.37
2.37 search
2.37 run=0 nbConstraintChecks=9457761 nbAssignments=5048
2.37 => wckTime=1.578 cpuTime=1.54 mem=6M107
2.37
2.37 global
2.37 nbConstraintChecks=9457761 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.37 solvingWckTime=1.577 solvingCpuTime=1.54 expiredTime=no totalExploration=no nbFoundSolutions=0
2.37 globalCpuTime=1.89
2.37 => wckTime=2.054 cpuTime=1.85 mem=6M107
2.37
2.37 solver IterativeSystematicSolver being built...
2.50 => wckTime=2.187 cpuTime=1.95 mem=17M48
2.60
2.60 preprocessing
2.60 nbConstraintChecks=61593 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.60 detectedInconsistency=no
2.60 => wckTime=0.099 cpuTime=0.07 mem=17M48
2.67
2.67 search
2.67 run=0 nbConstraintChecks=142698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39
2.67 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
2.67 => wckTime=0.17 cpuTime=0.13 mem=17M48
2.77
2.77 search
2.77 run=1 nbConstraintChecks=350398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=93
2.77 nbFailedAssignments=55 nbBacktracks=25 nbVisitedNodes=174 nbRestartNogoods=11
2.77 => wckTime=0.265 cpuTime=0.22 mem=17M48
2.87
2.87 search
2.87 run=2 nbConstraintChecks=597400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159
2.87 nbFailedAssignments=90 nbBacktracks=47 nbVisitedNodes=297 nbRestartNogoods=16
2.87 => wckTime=0.364 cpuTime=0.32 mem=17M48
3.00
3.00 search
3.00 run=3 nbConstraintChecks=943958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=252
3.00 nbFailedAssignments=142 nbBacktracks=80 nbVisitedNodes=475 nbRestartNogoods=31
3.00 => wckTime=0.495 cpuTime=0.44 mem=17M48
3.20
3.20 search
3.20 run=4 nbConstraintChecks=1505094 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=398
3.20 nbFailedAssignments=230 nbBacktracks=130 nbVisitedNodes=755 nbRestartNogoods=43
3.20 => wckTime=0.7 cpuTime=0.65 mem=17M48
3.50
3.50 search
3.50 run=5 nbConstraintChecks=2304476 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=599
3.50 nbFailedAssignments=347 nbBacktracks=205 nbVisitedNodes=1146 nbRestartNogoods=55
3.50 => wckTime=0.998 cpuTime=0.94 mem=17M48
4.02
4.02 search
4.02 run=6 nbConstraintChecks=3592385 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=926
4.02 nbFailedAssignments=555 nbBacktracks=318 nbVisitedNodes=1792 nbRestartNogoods=70
4.02 => wckTime=1.519 cpuTime=1.46 mem=17M48
4.70
4.70 search
4.70 run=7 nbConstraintChecks=5456668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1391
4.70 nbFailedAssignments=844 nbBacktracks=488 nbVisitedNodes=2707 nbRestartNogoods=83
4.70 => wckTime=2.195 cpuTime=2.12 mem=17M48
5.76
5.76 search
5.76 run=8 nbConstraintChecks=8208997 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2056
5.76 nbFailedAssignments=1248 nbBacktracks=744 nbVisitedNodes=4015 nbRestartNogoods=108
5.76 => wckTime=3.254 cpuTime=3.15 mem=17M48
7.30
7.30 search
7.30 run=9 nbConstraintChecks=12552215 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3113
7.30 nbFailedAssignments=1914 nbBacktracks=1128 nbVisitedNodes=6100 nbRestartNogoods=115
7.30 => wckTime=4.8 cpuTime=4.68 mem=17M48
9.45
9.45 search
9.45 run=10 nbConstraintChecks=18567166 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4648
9.45 nbFailedAssignments=2866 nbBacktracks=1704 nbVisitedNodes=9085 nbRestartNogoods=124
9.45 => wckTime=6.949 cpuTime=6.8 mem=17M48
12.41
12.41 search
12.41 run=11 nbConstraintChecks=26461986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6655
12.41 nbFailedAssignments=4004 nbBacktracks=2568 nbVisitedNodes=12934 nbRestartNogoods=132
12.41 => wckTime=9.91 cpuTime=9.75 mem=17M48
16.17
16.17 search
16.17 run=12 nbConstraintChecks=36242159 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9346
16.17 nbFailedAssignments=5391 nbBacktracks=3867 nbVisitedNodes=17766 nbRestartNogoods=142
16.17 => wckTime=13.666 cpuTime=13.47 mem=17M48
21.23
21.23 search
21.23 run=13 nbConstraintChecks=48830325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13029
21.23 nbFailedAssignments=7120 nbBacktracks=5814 nbVisitedNodes=24004 nbRestartNogoods=155
21.23 => wckTime=18.725 cpuTime=18.48 mem=17M48
27.99
27.99 search
27.99 run=14 nbConstraintChecks=65727013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18225
27.99 nbFailedAssignments=9390 nbBacktracks=8733 nbVisitedNodes=32423 nbRestartNogoods=175
27.99 => wckTime=25.486 cpuTime=25.2 mem=17M48
37.30
37.30 search
37.30 run=15 nbConstraintChecks=88406000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25709
37.30 nbFailedAssignments=12491 nbBacktracks=13111 nbVisitedNodes=44062 nbRestartNogoods=193
37.30 => wckTime=34.802 cpuTime=34.43 mem=17M48
51.51
51.51 search
51.51 run=16 nbConstraintChecks=123610388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37041
51.51 nbFailedAssignments=17248 nbBacktracks=19680 nbVisitedNodes=61758 nbRestartNogoods=215
51.52 => wckTime=49.012 cpuTime=48.52 mem=17M48
71.21
71.21 search
71.21 run=17 nbConstraintChecks=172358072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53274
71.21 nbFailedAssignments=23622 nbBacktracks=29532 nbVisitedNodes=86231 nbRestartNogoods=233
71.21 => wckTime=68.706 cpuTime=68.05 mem=17M48
101.38
101.38 search
101.38 run=18 nbConstraintChecks=244595080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77762
101.38 nbFailedAssignments=33327 nbBacktracks=44311 nbVisitedNodes=123595 nbRestartNogoods=244
101.38 => wckTime=98.874 cpuTime=97.95 mem=17M48
146.19
146.19 search
146.19 run=19 nbConstraintChecks=355049990 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114670
146.19 nbFailedAssignments=48061 nbBacktracks=66481 nbVisitedNodes=179718 nbRestartNogoods=262
146.19 => wckTime=143.69 cpuTime=142.41 mem=17M48
206.85
206.85 search
206.85 run=20 nbConstraintChecks=513898073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168598
206.85 nbFailedAssignments=68733 nbBacktracks=99733 nbVisitedNodes=260505 nbRestartNogoods=283
206.85 => wckTime=204.345 cpuTime=203.01 mem=17M48
300.20
300.20 search
300.20 run=21 nbConstraintChecks=756750397 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250735
300.20 nbFailedAssignments=100988 nbBacktracks=149612 nbVisitedNodes=384344 nbRestartNogoods=314
300.20 => wckTime=297.695 cpuTime=296.26 mem=17M48
437.15
437.15 search
437.15 run=22 nbConstraintChecks=1115142943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=372882
437.15 nbFailedAssignments=148307 nbBacktracks=224431 nbVisitedNodes=567639 nbRestartNogoods=340
437.15 => wckTime=434.645 cpuTime=433.07 mem=17M48
642.52
642.52 search
642.52 run=23 nbConstraintChecks=1650109304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=555976
642.52 nbFailedAssignments=219168 nbBacktracks=336658 nbVisitedNodes=842537 nbRestartNogoods=357
642.52 => wckTime=640.013 cpuTime=638.12 mem=17M48
949.45
949.45 search
949.45 run=24 nbConstraintChecks=2439719375 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=827776
949.45 nbFailedAssignments=322621 nbBacktracks=505000 nbVisitedNodes=1248370 nbRestartNogoods=380
949.45 => wckTime=946.95 cpuTime=944.75 mem=17M48
967.45
967.45 search
967.45 run=25 nbConstraintChecks=2484082544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=843388
967.45 nbFailedAssignments=328519 nbBacktracks=514715 nbVisitedNodes=1271649 nbRestartNogoods=385
967.45 => wckTime=964.947 cpuTime=962.71 mem=17M48
967.45
967.45 global
967.45 nbConstraintChecks=2484144137 nbRestartNogoods=385 solvingWckTime=964.948 solvingCpuTime=962.71 expiredTime=no
967.45 totalExploration=yes nbFoundSolutions=0 globalCpuTime=964.71
967.45 => wckTime=967.136 cpuTime=964.66 mem=17M48
967.45
967.45 s OPTIMUM FOUND
967.45 v 3 4 7 2 4 7 6 5 5 7 2 7 7 4 1 3 0 6 1 2 0 2 6 3 4 2 7 7 3 2 4 5 1 2 3 0 7 2 2 1
967.45
967.45 totalWckTime=967.22 totalCpuTime=964.71
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-276814-1169247154 -o ROOT/results/node15/solver-276814-1169247154 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276814-1169247154/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 2.00 1.99 4/86 10473
/proc/meminfo: memFree=1438160/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=11820 CPUtime=0
/proc/10472/stat : 10472 (java) D 10470 10472 10031 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 273110235 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512868 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10472/statm: 2955 510 421 14 0 1602 0
[startup+0.104345 s]
/proc/loadavg: 1.99 2.00 1.99 4/86 10473
/proc/meminfo: memFree=1438160/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=914988 CPUtime=0.08
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 2995 0 1 0 7 1 0 0 18 0 8 0 273110235 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516539 s]
/proc/loadavg: 1.99 2.00 1.99 4/86 10473
/proc/meminfo: memFree=1438160/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915332 CPUtime=0.49
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 6296 0 1 0 45 4 0 0 18 0 8 0 273110235 937299968 6035 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228833 6035 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33852 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 10480
/proc/meminfo: memFree=1416408/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915448 CPUtime=1.3
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 8113 0 1 0 116 14 0 0 25 0 8 0 273110235 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7725012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228862 7851 2479 14 0 215332 0
[pid=10472/tid=10474] ppid=10470 vsize=915448 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 273110239 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915448 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915448 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915448 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915448 CPUtime=0.19
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 273110243 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915448 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915448 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937418752 7851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448
[startup+2.99081 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 10480
/proc/meminfo: memFree=1416344/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=2.94
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9223 0 1 0 266 28 0 0 25 0 8 0 273110235 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 8959 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 17 0 8 0 273110239 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.25
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 273110243 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 8959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915580
[startup+6.27537 s]
/proc/loadavg: 2.07 2.01 2.00 3/93 10480
/proc/meminfo: memFree=1411928/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=6.19
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9253 0 1 0 591 28 0 0 25 0 8 0 273110235 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 8986 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 17 0 8 0 273110239 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.29
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 427 0 0 0 27 2 0 0 15 0 8 0 273110243 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915580
[startup+12.7625 s]
/proc/loadavg: 2.07 2.01 2.00 3/93 10480
/proc/meminfo: memFree=1411864/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=12.62
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9264 0 1 0 1234 28 0 0 25 0 8 0 273110235 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 8995 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.29
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 431 0 0 0 27 2 0 0 16 0 8 0 273110243 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915580
[startup+25.6167 s]
/proc/loadavg: 2.05 2.01 2.00 3/93 10480
/proc/meminfo: memFree=1411928/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=25.38
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9268 0 1 0 2509 29 0 0 25 0 8 0 273110235 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 8999 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.29
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 431 0 0 0 27 2 0 0 16 0 8 0 273110243 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915580
[startup+51.2281 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 10480
/proc/meminfo: memFree=1411928/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=50.77
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9273 0 1 0 5048 29 0 0 25 0 8 0 273110235 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 9004 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.29
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 431 0 0 0 27 2 0 0 16 0 8 0 273110243 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915580
[startup+102.449 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 10480
/proc/meminfo: memFree=1411928/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=101.55
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9283 0 1 0 10126 29 0 0 25 0 8 0 273110235 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10472/statm: 228895 9013 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915580
[startup+162.524 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 10558
/proc/meminfo: memFree=1411536/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=161.27
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9286 0 1 0 16096 31 0 0 25 0 8 0 273110235 937553920 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.27
Current children cumulated vsize (KiB) 915580
[startup+583.023 s]
/proc/loadavg: 2.06 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411648/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=581.25
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9294 0 1 0 58085 40 0 0 25 0 8 0 273110235 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9023 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.25
Current children cumulated vsize (KiB) 915580
[startup+643.085 s]
/proc/loadavg: 2.02 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411680/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=641.23
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 64083 40 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.23
Current children cumulated vsize (KiB) 915580
[startup+703.139 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411680/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=701.23
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 70083 40 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940962 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.23
Current children cumulated vsize (KiB) 915580
[startup+763.197 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411744/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=761.23
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 76083 40 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.23
Current children cumulated vsize (KiB) 915580
[startup+823.265 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411744/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=821.22
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 82081 41 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074004172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.22
Current children cumulated vsize (KiB) 915580
[startup+883.331 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10850
/proc/meminfo: memFree=1411808/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=881.23
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 88082 41 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073965424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 881.23
Current children cumulated vsize (KiB) 915580
[startup+943.401 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 10850
/proc/meminfo: memFree=1411744/2055920 swapFree=4173628/4192956
[pid=10472] ppid=10470 vsize=915580 CPUtime=941.24
/proc/10472/stat : 10472 (java) R 10470 10472 10031 0 -1 0 9297 0 1 0 94083 41 0 0 25 0 8 0 273110235 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940978 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10472/statm: 228895 9026 2532 14 0 215365 0
[pid=10472/tid=10474] ppid=10470 vsize=915580 CPUtime=0.03
/proc/10472/task/10474/stat : 10474 (java) S 10470 10472 10031 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273110239 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10475] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10475/stat : 10475 (java) S 10470 10472 10031 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10476] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10476/stat : 10476 (java) S 10470 10472 10031 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273110240 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10477] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10477/stat : 10477 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10478] ppid=10470 vsize=915580 CPUtime=0.3
/proc/10472/task/10478/stat : 10478 (java) S 10470 10472 10031 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10479] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10479/stat : 10479 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10472/tid=10480] ppid=10470 vsize=915580 CPUtime=0
/proc/10472/task/10480/stat : 10480 (java) S 10470 10472 10031 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273110243 937553920 9026 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 941.24
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 967.503
CPU time (s): 965.274
CPU user time (s): 964.851
CPU system time (s): 0.422935
CPU usage (%): 99.7697
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 964.851
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9396
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= 20902
involuntary context switches= 15587
runsolver used 1.3348 s user time and 2.96555 s system time
The end
Begin job on node15 on Fri Jan 19 22:52:34 UTC 2007
IDJOB= 276814
IDBENCH= 6038
IDSOLVER= 68
FILE ID= node15/276814-1169247154
PBS_JOBID= 3589051
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276814-1169247154/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-276814-1169247154 -o ROOT/results/node15/solver-276814-1169247154 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276814-1169247154/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f520e27d9dc735632c581f772ba03f39
RANDOM SEED= 63221023
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.276
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.276
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: 1438640 kB
Buffers: 51856 kB
Cached: 454112 kB
SwapCached: 5936 kB
Active: 190296 kB
Inactive: 353044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1438640 kB
SwapTotal: 4192956 kB
SwapFree: 4173628 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 48268 kB
Slab: 58656 kB
Committed_AS: 8278836 kB
PageTables: 2344 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node15 on Fri Jan 19 23:08:42 UTC 2007