0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/276913-1169249666/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.64 nbConstraints=752 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=1
0.64 nbConflictsStructures=751 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11879 maxDegree=39
0.64 maxArity=2
0.64 => wckTime=0.353 cpuTime=0.24 mem=11M779
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.439 cpuTime=0.28 mem=6M108
0.74
0.74 s SATISFIABLE
0.74 o 678
0.74 c 74
0.74 o 684
0.74 c 68
0.74 o 689
0.74 c 63
0.74 o 693
0.74 c 59
0.74 o 697
0.74 c 55
0.74 o 700
0.74 c 52
0.74 o 702
0.74 c 50
0.74 o 706
0.74 c 46
0.74 o 708
0.74 c 44
0.74 o 710
0.74 c 42
0.74 o 712
0.74 c 40
0.75 o 714
0.75 c 38
0.75 o 717
0.75 c 35
0.75 o 718
0.75 c 34
0.75 o 719
0.75 c 33
0.75 o 720
0.75 c 32
0.75 o 721
0.75 c 31
0.75 o 723
0.75 c 29
0.75 o 725
0.75 c 27
0.75 o 726
0.75 c 26
0.75 o 729
0.75 c 23
0.75 o 731
0.75 c 21
0.76 o 732
0.76 c 20
0.76 o 733
0.76 c 19
0.76 o 734
0.76 c 18
0.76 o 735
0.76 c 17
0.76 o 736
0.76 c 16
0.77 o 737
0.77 c 15
0.77 o 738
0.77 c 14
0.79 o 739
0.79 c 13
0.79 o 740
0.79 c 12
0.81 o 741
0.81 c 11
0.82 o 742
0.82 c 10
0.82 o 743
0.82 c 9
0.82 o 744
0.82 c 8
0.82 o 745
0.82 c 7
0.82 o 746
0.82 c 6
0.83 o 747
0.83 c 5
0.83 o 749
0.83 c 3
0.83 o 750
0.83 c 2
0.84 o 751
0.84 c 1
0.84
0.84 search
0.84 run=0 nbConstraintChecks=470459 nbAssignments=381
0.84 => wckTime=0.112 cpuTime=0.09 mem=6M108
0.84
0.84 global
0.84 nbConstraintChecks=470459 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
0.84 solvingWckTime=0.111 solvingCpuTime=0.09 expiredTime=no totalExploration=no nbFoundSolutions=0
0.84 globalCpuTime=0.42
0.84 => wckTime=0.552 cpuTime=0.37 mem=6M108
0.84
0.84 solver IterativeSystematicSolver being built...
0.97 => wckTime=0.674 cpuTime=0.47 mem=17M48
1.06
1.06 preprocessing
1.06 nbConstraintChecks=63306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.06 detectedInconsistency=no
1.06 => wckTime=0.092 cpuTime=0.07 mem=17M48
1.11
1.11 search
1.11 run=0 nbConstraintChecks=84199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29
1.11 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0
1.11 => wckTime=0.139 cpuTime=0.11 mem=17M48
1.17
1.17 search
1.17 run=1 nbConstraintChecks=214576 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
1.17 nbFailedAssignments=30 nbBacktracks=25 nbVisitedNodes=112 nbRestartNogoods=6
1.17 => wckTime=0.204 cpuTime=0.17 mem=17M48
1.25
1.25 search
1.25 run=2 nbConstraintChecks=403268 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119
1.25 nbFailedAssignments=53 nbBacktracks=47 nbVisitedNodes=206 nbRestartNogoods=12
1.25 => wckTime=0.281 cpuTime=0.24 mem=17M48
1.36
1.36 search
1.36 run=3 nbConstraintChecks=691450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=199
1.36 nbFailedAssignments=92 nbBacktracks=80 nbVisitedNodes=349 nbRestartNogoods=17
1.36 => wckTime=0.39 cpuTime=0.35 mem=17M48
1.54
1.54 search
1.54 run=4 nbConstraintChecks=1219513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=335
1.54 nbFailedAssignments=168 nbBacktracks=133 nbVisitedNodes=607 nbRestartNogoods=27
1.54 => wckTime=0.576 cpuTime=0.53 mem=17M48
1.76
1.76 search
1.76 run=5 nbConstraintChecks=1817687 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=505
1.76 nbFailedAssignments=256 nbBacktracks=208 nbVisitedNodes=913 nbRestartNogoods=35
1.76 => wckTime=0.798 cpuTime=0.75 mem=17M48
2.08
2.08 search
2.08 run=6 nbConstraintChecks=2671954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=751
2.08 nbFailedAssignments=380 nbBacktracks=324 nbVisitedNodes=1342 nbRestartNogoods=48
2.08 => wckTime=1.117 cpuTime=1.07 mem=17M48
2.54
2.54 search
2.54 run=7 nbConstraintChecks=3875160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1095
2.54 nbFailedAssignments=546 nbBacktracks=494 nbVisitedNodes=1930 nbRestartNogoods=51
2.54 => wckTime=1.575 cpuTime=1.52 mem=17M48
3.23
3.23 search
3.23 run=8 nbConstraintChecks=5742849 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1630
3.23 nbFailedAssignments=816 nbBacktracks=750 nbVisitedNodes=2837 nbRestartNogoods=65
3.23 => wckTime=2.26 cpuTime=2.19 mem=17M48
4.16
4.16 search
4.16 run=9 nbConstraintChecks=8326386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2373
4.16 nbFailedAssignments=1168 nbBacktracks=1134 nbVisitedNodes=4081 nbRestartNogoods=77
4.16 => wckTime=3.196 cpuTime=3.13 mem=17M48
5.44
5.44 search
5.44 run=10 nbConstraintChecks=11756623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3420
5.44 nbFailedAssignments=1631 nbBacktracks=1713 nbVisitedNodes=5781 nbRestartNogoods=85
5.44 => wckTime=4.477 cpuTime=4.4 mem=17M48
7.23
7.23 search
7.23 run=11 nbConstraintChecks=16544131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4945
7.23 nbFailedAssignments=2285 nbBacktracks=2577 nbVisitedNodes=8179 nbRestartNogoods=95
7.23 => wckTime=6.259 cpuTime=6.18 mem=17M48
9.81
9.81 search
9.81 run=12 nbConstraintChecks=23346595 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7183
9.81 nbFailedAssignments=3219 nbBacktracks=3875 nbVisitedNodes=11642 nbRestartNogoods=111
9.81 => wckTime=8.84 cpuTime=8.76 mem=17M48
13.75
13.75 search
13.75 run=13 nbConstraintChecks=33706950 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10507
13.75 nbFailedAssignments=4593 nbBacktracks=5821 nbVisitedNodes=16762 nbRestartNogoods=132
13.75 => wckTime=12.784 cpuTime=12.7 mem=17M48
19.23
19.23 search
19.23 run=14 nbConstraintChecks=48489468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15381
19.23 nbFailedAssignments=6542 nbBacktracks=8741 nbVisitedNodes=24133 nbRestartNogoods=149
19.23 => wckTime=18.263 cpuTime=18.18 mem=17M48
27.43
27.43 search
27.43 run=15 nbConstraintChecks=69722295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22565
27.43 nbFailedAssignments=9343 nbBacktracks=13119 nbVisitedNodes=34959 nbRestartNogoods=159
27.43 => wckTime=26.463 cpuTime=26.35 mem=17M48
39.56
39.56 search
39.56 run=16 nbConstraintChecks=102507297 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33505
39.56 nbFailedAssignments=13710 nbBacktracks=19688 nbVisitedNodes=51554 nbRestartNogoods=186
39.56 => wckTime=38.596 cpuTime=38.48 mem=17M48
57.74
57.74 search
57.74 run=17 nbConstraintChecks=150424708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=49736
57.74 nbFailedAssignments=20084 nbBacktracks=29541 nbVisitedNodes=76088 nbRestartNogoods=203
57.74 => wckTime=56.778 cpuTime=56.65 mem=17M48
85.10
85.10 search
85.10 run=18 nbConstraintChecks=223754433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=74170
85.10 nbFailedAssignments=29734 nbBacktracks=44320 nbVisitedNodes=112830 nbRestartNogoods=214
85.10 => wckTime=84.133 cpuTime=83.96 mem=17M48
126.32
126.32 search
126.32 run=19 nbConstraintChecks=332563232 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110529
126.32 nbFailedAssignments=43917 nbBacktracks=66492 nbVisitedNodes=167414 nbRestartNogoods=226
126.32 => wckTime=125.349 cpuTime=125.14 mem=17M48
189.11
189.11 search
189.11 run=20 nbConstraintChecks=497922619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=165651
189.11 nbFailedAssignments=65780 nbBacktracks=99745 nbVisitedNodes=251070 nbRestartNogoods=242
189.11 => wckTime=188.139 cpuTime=187.87 mem=17M48
280.82
280.82 search
280.82 run=21 nbConstraintChecks=739414099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247407
280.82 nbFailedAssignments=97650 nbBacktracks=149623 nbVisitedNodes=373994 nbRestartNogoods=259
280.82 => wckTime=279.852 cpuTime=279.51 mem=17M48
418.74
418.74 search
418.74 run=22 nbConstraintChecks=1103096250 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=370244
418.74 nbFailedAssignments=145663 nbBacktracks=224442 nbVisitedNodes=558595 nbRestartNogoods=273
418.74 => wckTime=417.769 cpuTime=417.29 mem=17M48
625.58
625.58 search
625.58 run=23 nbConstraintChecks=1646104740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=554026
625.58 nbFailedAssignments=217212 nbBacktracks=336670 nbVisitedNodes=834670 nbRestartNogoods=299
625.58 => wckTime=624.618 cpuTime=623.93 mem=17M48
937.27
937.27 search
937.27 run=24 nbConstraintChecks=2463033482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=829703
937.27 nbFailedAssignments=324544 nbBacktracks=505013 nbVisitedNodes=1249106 nbRestartNogoods=337
937.27 => wckTime=936.3 cpuTime=935.29 mem=17M48
1139.73
1139.73 search
1139.73 run=25 nbConstraintChecks=2983665909 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1008501
1139.73 nbFailedAssignments=392843 nbBacktracks=615513 nbVisitedNodes=1515889 nbRestartNogoods=346
1139.73 => wckTime=1138.76 cpuTime=1137.57 mem=17M48
1139.73
1139.73 global
1139.73 nbConstraintChecks=2983729215 nbRestartNogoods=346 solvingWckTime=1138.761 solvingCpuTime=1137.57
1139.73 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1138.09
1139.73 => wckTime=1139.436 cpuTime=1138.04 mem=17M48
1139.73
1139.73 s OPTIMUM FOUND
1139.73 v 1 6 6 6 7 4 6 7 2 6 3 0 6 2 3 3 5 0 0 1 5 1 0 2 4 2 4 3 3 4 3 0 4 3 1 6 5 0 4 2
1139.73
1139.73 totalWckTime=1139.514 totalCpuTime=1138.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-276913-1169249666 -o ROOT/results/node4/solver-276913-1169249666 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276913-1169249666/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: 2.14 2.03 2.01 4/93 28560
/proc/meminfo: memFree=1328888/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=172 CPUtime=0
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 273362128 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10588459 0 0 4096 0 0 0 0 17 0 0 0
/proc/28559/statm: 43 24 18 14 0 3 0
[startup+0.107524 s]
/proc/loadavg: 2.14 2.03 2.01 4/93 28560
/proc/meminfo: memFree=1328888/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=914988 CPUtime=0.09
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 3079 0 1 0 7 2 0 0 24 0 8 0 273362128 936947712 2825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515562 s]
/proc/loadavg: 2.14 2.03 2.01 4/93 28560
/proc/meminfo: memFree=1328888/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915332 CPUtime=0.49
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 6555 0 1 0 45 4 0 0 25 0 8 0 273362128 937299968 6294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228833 6294 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33864 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 28567
/proc/meminfo: memFree=1302912/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=1.31
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9215 0 1 0 123 8 0 0 25 0 8 0 273362128 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924233 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 8952 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.23
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 406 0 0 0 23 0 0 0 15 0 8 0 273362135 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 8952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.9918 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 28567
/proc/meminfo: memFree=1302784/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=2.97
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9233 0 1 0 289 8 0 0 25 0 8 0 273362128 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 8969 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273362132 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.24
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 412 0 0 0 24 0 0 0 15 0 8 0 273362135 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915584
[startup+6.28012 s]
/proc/loadavg: 2.12 2.03 2.01 4/100 28567
/proc/meminfo: memFree=1302720/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=6.24
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9254 0 1 0 616 8 0 0 25 0 8 0 273362128 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960667 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 8987 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.26
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 424 0 0 0 26 0 0 0 16 0 8 0 273362135 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 8987 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915584
[startup+12.7697 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 28567
/proc/meminfo: memFree=1302720/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=12.73
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9260 0 1 0 1265 8 0 0 25 0 8 0 273362128 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 8992 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.26
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 425 0 0 0 26 0 0 0 16 0 8 0 273362135 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915584
[startup+25.608 s]
/proc/loadavg: 2.09 2.03 2.01 3/100 28567
/proc/meminfo: memFree=1302720/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=25.54
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9266 0 1 0 2546 8 0 0 25 0 8 0 273362128 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 8997 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.26
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 426 0 0 0 26 0 0 0 15 0 8 0 273362135 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 8997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915584
[startup+51.2204 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 28567
/proc/meminfo: memFree=1302720/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=51.13
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9271 0 1 0 5105 8 0 0 25 0 8 0 273362128 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991229 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9002 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.26
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 426 0 0 0 26 0 0 0 16 0 8 0 273362135 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 915584
[startup+102.435 s]
/proc/loadavg: 2.04 2.02 2.00 3/94 28646
/proc/meminfo: memFree=1326512/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=102.31
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9277 0 1 0 10221 10 0 0 25 0 8 0 273362128 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9007 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.26
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 426 0 0 0 26 0 0 0 16 0 8 0 273362135 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 915584
[startup+162.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 28646
/proc/meminfo: memFree=1326512/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=162.3
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9280 0 1 0 16220 10 0 0 25 0 8 0 273362128 937558016 9009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949203 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 915584
[startup+763.116 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=762.34
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9292 0 1 0 76222 12 0 0 25 0 8 0 273362128 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949197 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9021 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 915584
[startup+823.174 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=822.35
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9292 0 1 0 82223 12 0 0 25 0 8 0 273362128 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924194 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9021 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 915584
[startup+883.235 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=882.32
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9292 0 1 0 88220 12 0 0 25 0 8 0 273362128 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9021 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 915584
[startup+943.294 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=942.33
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9294 0 1 0 94221 12 0 0 25 0 8 0 273362128 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073924160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9023 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 915584
[startup+1003.35 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=1002.35
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9294 0 1 0 100222 13 0 0 25 0 8 0 273362128 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9023 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 915584
[startup+1063.41 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 28752
/proc/meminfo: memFree=1303048/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=1062.33
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9294 0 1 0 106220 13 0 0 25 0 8 0 273362128 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9023 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 915584
[startup+1123.48 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 28752
/proc/meminfo: memFree=1302984/2055920 swapFree=4182144/4192956
[pid=28559] ppid=28557 vsize=915584 CPUtime=1122.34
/proc/28559/stat : 28559 (java) R 28557 28559 28491 0 -1 0 9294 0 1 0 112221 13 0 0 25 0 8 0 273362128 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928573 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28559/statm: 228896 9023 2530 14 0 215366 0
[pid=28559/tid=28561] ppid=28557 vsize=915584 CPUtime=0.03
/proc/28559/task/28561/stat : 28561 (java) S 28557 28559 28491 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28562] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28557 28559 28491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28563] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28557 28559 28491 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273362132 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28564] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28565] ppid=28557 vsize=915584 CPUtime=0.28
/proc/28559/task/28565/stat : 28565 (java) S 28557 28559 28491 0 -1 64 428 0 0 0 27 1 0 0 16 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28566] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28557 28559 28491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28559/tid=28567] ppid=28557 vsize=915584 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28557 28559 28491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273362135 937558016 9023 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 1139.75
CPU time (s): 1138.6
CPU user time (s): 1138.47
CPU system time (s): 0.137979
CPU usage (%): 99.8997
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1138.47
system time used= 0.137979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9390
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= 24402
involuntary context switches= 40351
runsolver used 1.57776 s user time and 3.47547 s system time
The end
Begin job on node4 on Fri Jan 19 23:34:26 UTC 2007
IDJOB= 276913
IDBENCH= 6111
IDSOLVER= 68
FILE ID= node4/276913-1169249666
PBS_JOBID= 3589076
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-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276913-1169249666/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-276913-1169249666 -o ROOT/results/node4/solver-276913-1169249666 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276913-1169249666/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c34f34cb25e62c5944bb846e69368ffa
RANDOM SEED= 408647331
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.223
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.223
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: 1329368 kB
Buffers: 64312 kB
Cached: 510996 kB
SwapCached: 2148 kB
Active: 219512 kB
Inactive: 424392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1329368 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 88452 kB
Slab: 67204 kB
Committed_AS: 8343340 kB
PageTables: 2508 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 node4 on Fri Jan 19 23:53:25 UTC 2007