0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278218-1169281112/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.099 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.41
0.41 constraints being loaded...
0.64 nbConstraints=1976 nbRelationTypes=23 nbExtensionStructures=23 nbSharedExtensionStructures=1953
0.64 nbConflictsStructures=23 nbSharedConflictsStructures=1953 nbSharedBinaryRepresentations=0 maxDegree=90
0.64 maxArity=3
0.64 => wckTime=0.341 cpuTime=0.22 mem=12M754
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.431 cpuTime=0.28 mem=6M414
0.74
0.74 s SATISFIABLE
0.74 o 1740
0.74 c 236
0.74 o 1745
0.74 c 231
0.74 o 1751
0.74 c 225
0.74 o 1753
0.74 c 223
0.74 o 1754
0.74 c 222
0.74 o 1758
0.74 c 218
0.74 o 1761
0.74 c 215
0.74 o 1762
0.74 c 214
0.75 o 1766
0.75 c 210
0.75 o 1770
0.75 c 206
0.75 o 1773
0.75 c 203
0.75 o 1775
0.75 c 201
0.75 o 1776
0.75 c 200
0.75 o 1777
0.75 c 199
0.75 o 1778
0.76 c 198
0.76 o 1779
0.76 c 197
0.76 o 1780
0.76 c 196
0.76 o 1781
0.76 c 195
0.76 o 1785
0.76 c 191
0.76 o 1787
0.76 c 189
0.76 o 1789
0.76 c 187
0.76 o 1790
0.76 c 186
0.77 o 1791
0.77 c 185
0.77 o 1796
0.77 c 180
0.77 o 1797
0.77 c 179
0.77 o 1799
0.77 c 177
0.77 o 1801
0.77 c 175
0.77 o 1804
0.77 c 172
0.77 o 1805
0.77 c 171
0.77 o 1806
0.77 c 170
0.77 o 1809
0.77 c 167
0.78 o 1810
0.78 c 166
0.78 o 1813
0.78 c 163
0.81 o 1816
0.81 c 160
0.81 o 1822
0.81 c 154
0.81 o 1823
0.81 c 153
0.82 o 1825
0.82 c 151
0.82 o 1827
0.82 c 149
0.82 o 1829
0.82 c 147
1.09 o 1830
1.09 c 146
1.09 o 1833
1.09 c 143
1.16 o 1836
1.16 c 140
1.64 o 1837
1.64 c 139
1.98 o 1838
1.98 c 138
7.51
7.51 search
7.51 run=0 nbConstraintChecks=35546082 nbAssignments=10000
7.51 => wckTime=6.781 cpuTime=6.76 mem=6M414
14.51
14.51 search
14.51 run=1 nbConstraintChecks=73241445 nbAssignments=20000
14.51 => wckTime=13.778 cpuTime=13.75 mem=6M414
16.48 o 1840
16.48 c 136
16.49 o 1841
16.49 c 135
16.49 o 1842
16.49 c 134
21.17
21.17 search
21.17 run=2 nbConstraintChecks=108849946 nbAssignments=30000
21.17 => wckTime=20.436 cpuTime=20.4 mem=6M414
28.12
28.12 search
28.12 run=3 nbConstraintChecks=146525823 nbAssignments=40000
28.12 => wckTime=27.39 cpuTime=27.36 mem=6M414
34.75
34.75 search
34.75 run=4 nbConstraintChecks=182157664 nbAssignments=50000
34.75 => wckTime=34.022 cpuTime=33.99 mem=6M414
41.75
41.75 search
41.75 run=5 nbConstraintChecks=219797372 nbAssignments=60000
41.75 => wckTime=41.02 cpuTime=40.99 mem=6M414
46.49
46.49 search
46.49 run=6 nbConstraintChecks=245374194 nbAssignments=67320
46.49 => wckTime=45.763 cpuTime=45.74 mem=6M414
46.49
46.49 global
46.49 nbConstraintChecks=245374194 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.49 solvingWckTime=45.76 solvingCpuTime=45.74 expiredTime=no totalExploration=no nbFoundSolutions=0
46.49 globalCpuTime=46.07
46.49 => wckTime=46.193 cpuTime=46.02 mem=6M414
46.50
46.50 solver IterativeSystematicSolver being built...
46.68 => wckTime=46.383 cpuTime=46.17 mem=28M178
46.89
46.89 preprocessing
46.89 nbConstraintChecks=22601 nbValidityChecks=68794 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.89 nbRemovedValues=0 detectedInconsistency=no
46.89 => wckTime=0.206 cpuTime=0.18 mem=28M178
47.06
47.06 search
47.06 run=0 nbConstraintChecks=35175 nbValidityChecks=114920 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.06 nbAssignments=65 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=84 nbRestartNogoods=0
47.06 => wckTime=0.372 cpuTime=0.34 mem=28M178
47.27
47.27 search
47.27 run=1 nbConstraintChecks=83196 nbValidityChecks=273172 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.27 nbAssignments=140 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=184 nbRestartNogoods=2
47.27 => wckTime=0.581 cpuTime=0.54 mem=28M178
47.48
47.48 search
47.48 run=2 nbConstraintChecks=141947 nbValidityChecks=468249 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.48 nbAssignments=224 nbFailedAssignments=36 nbBacktracks=48 nbVisitedNodes=303 nbRestartNogoods=3
47.48 => wckTime=0.796 cpuTime=0.76 mem=28M178
47.76
47.76 search
47.76 run=3 nbConstraintChecks=233103 nbValidityChecks=743335 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.76 nbAssignments=325 nbFailedAssignments=53 nbBacktracks=83 nbVisitedNodes=456 nbRestartNogoods=5
47.76 => wckTime=1.075 cpuTime=1.03 mem=28M178
48.19
48.19 search
48.19 run=4 nbConstraintChecks=364151 nbValidityChecks=1163431 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.19 nbAssignments=459 nbFailedAssignments=91 nbBacktracks=133 nbVisitedNodes=676 nbRestartNogoods=8
48.19 => wckTime=1.508 cpuTime=1.48 mem=28M178
48.73
48.73 search
48.73 run=5 nbConstraintChecks=533004 nbValidityChecks=1731010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.73 nbAssignments=623 nbFailedAssignments=133 nbBacktracks=208 nbVisitedNodes=957 nbRestartNogoods=11
48.73 => wckTime=2.041 cpuTime=2.01 mem=28M178
49.57
49.57 search
49.57 run=6 nbConstraintChecks=811142 nbValidityChecks=2651154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.57 nbAssignments=868 nbFailedAssignments=217 nbBacktracks=322 nbVisitedNodes=1395 nbRestartNogoods=14
49.57 => wckTime=2.881 cpuTime=2.84 mem=28M178
50.84
50.84 search
50.84 run=7 nbConstraintChecks=1221678 nbValidityChecks=3973856 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.84 nbAssignments=1213 nbFailedAssignments=343 nbBacktracks=493 nbVisitedNodes=2021 nbRestartNogoods=18
50.84 => wckTime=4.155 cpuTime=4.12 mem=28M178
52.78
52.78 search
52.78 run=8 nbConstraintChecks=1763470 nbValidityChecks=5987550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
52.78 nbAssignments=1711 nbFailedAssignments=542 nbBacktracks=749 nbVisitedNodes=2941 nbRestartNogoods=20
52.78 => wckTime=6.094 cpuTime=6.04 mem=28M178
55.49
55.49 search
55.49 run=9 nbConstraintChecks=2595991 nbValidityChecks=8922875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
55.49 nbAssignments=2408 nbFailedAssignments=810 nbBacktracks=1134 nbVisitedNodes=4279 nbRestartNogoods=26
55.49 => wckTime=8.805 cpuTime=8.74 mem=28M178
59.33
59.33 search
59.33 run=10 nbConstraintChecks=3859240 nbValidityChecks=13225711 nbPropagations=0 nbRevisions=0
59.33 nbUselessRevisions=0 nbAssignments=3411 nbFailedAssignments=1194 nbBacktracks=1711 nbVisitedNodes=6234
59.33 nbRestartNogoods=30
59.33 => wckTime=12.641 cpuTime=12.57 mem=28M178
64.95
64.95 search
64.95 run=11 nbConstraintChecks=5788626 nbValidityChecks=19650345 nbPropagations=0 nbRevisions=0
64.95 nbUselessRevisions=0 nbAssignments=4887 nbFailedAssignments=1759 nbBacktracks=2575 nbVisitedNodes=9102
64.95 nbRestartNogoods=36
64.95 => wckTime=18.268 cpuTime=18.19 mem=28M178
73.79
73.79 search
73.79 run=12 nbConstraintChecks=8565118 nbValidityChecks=29557084 nbPropagations=0 nbRevisions=0
73.79 nbUselessRevisions=0 nbAssignments=7122 nbFailedAssignments=2655 nbBacktracks=3872 nbVisitedNodes=13442
73.79 nbRestartNogoods=40
73.79 => wckTime=27.107 cpuTime=27.03 mem=28M178
87.39
87.39 search
87.39 run=13 nbConstraintChecks=12501143 nbValidityChecks=44374023 nbPropagations=0 nbRevisions=0
87.39 nbUselessRevisions=0 nbAssignments=10465 nbFailedAssignments=4012 nbBacktracks=5818 nbVisitedNodes=20011
87.39 nbRestartNogoods=43
87.39 => wckTime=40.704 cpuTime=40.63 mem=28M178
106.77
106.77 search
106.77 run=14 nbConstraintChecks=19201459 nbValidityChecks=66808878 nbPropagations=0 nbRevisions=0
106.77 nbUselessRevisions=0 nbAssignments=15482 nbFailedAssignments=6061 nbBacktracks=8738 nbVisitedNodes=29926
106.77 nbRestartNogoods=51
106.77 => wckTime=60.086 cpuTime=60.01 mem=28M178
136.99
136.99 search
136.99 run=15 nbConstraintChecks=27701871 nbValidityChecks=99760767 nbPropagations=0 nbRevisions=0
136.99 nbUselessRevisions=0 nbAssignments=22860 nbFailedAssignments=9016 nbBacktracks=13118 nbVisitedNodes=44458
136.99 nbRestartNogoods=57
136.99 => wckTime=90.301 cpuTime=90.22 mem=28M178
182.01
182.01 search
182.01 run=16 nbConstraintChecks=41131311 nbValidityChecks=150028215 nbPropagations=0 nbRevisions=0
182.01 nbUselessRevisions=0 nbAssignments=33943 nbFailedAssignments=13489 nbBacktracks=19686 nbVisitedNodes=66306
182.01 nbRestartNogoods=61
182.02 => wckTime=135.329 cpuTime=135.26 mem=28M178
251.84
251.84 search
251.84 run=17 nbConstraintChecks=59506856 nbValidityChecks=222808168 nbPropagations=0 nbRevisions=0
251.84 nbUselessRevisions=0 nbAssignments=50637 nbFailedAssignments=20290 nbBacktracks=29538 nbVisitedNodes=99092
251.84 nbRestartNogoods=68
251.84 => wckTime=205.158 cpuTime=205.08 mem=28M178
359.06
359.06 search
359.06 run=18 nbConstraintChecks=86925196 nbValidityChecks=332991922 nbPropagations=0 nbRevisions=0
359.06 nbUselessRevisions=0 nbAssignments=75761 nbFailedAssignments=30596 nbBacktracks=44317 nbVisitedNodes=148511
359.06 nbRestartNogoods=75
359.06 => wckTime=312.378 cpuTime=312.31 mem=28M178
519.69
519.69 search
519.69 run=19 nbConstraintChecks=130685543 nbValidityChecks=504067549 nbPropagations=0 nbRevisions=0
519.69 nbUselessRevisions=0 nbAssignments=114635 nbFailedAssignments=47260 nbBacktracks=66485 nbVisitedNodes=224549
519.69 nbRestartNogoods=83
519.69 => wckTime=473.007 cpuTime=472.95 mem=28M178
749.13
749.13 search
749.13 run=20 nbConstraintChecks=202442354 nbValidityChecks=767565819 nbPropagations=0 nbRevisions=0
749.13 nbUselessRevisions=0 nbAssignments=172592 nbFailedAssignments=71919 nbBacktracks=99737 nbVisitedNodes=338216
749.13 nbRestartNogoods=88
749.13 => wckTime=702.44 cpuTime=702.39 mem=28M178
1090.03
1090.03 search
1090.03 run=21 nbConstraintChecks=299285970 nbValidityChecks=1139330639 nbPropagations=0 nbRevisions=0
1090.03 nbUselessRevisions=0 nbAssignments=257335 nbFailedAssignments=106740 nbBacktracks=149615 nbVisitedNodes=503667
1090.03 nbRestartNogoods=96
1090.03 => wckTime=1043.346 cpuTime=1043.3 mem=29M153
1597.04
1597.04 search
1597.04 run=22 nbConstraintChecks=440290130 nbValidityChecks=1673727780 nbPropagations=0 nbRevisions=0
1597.04 nbUselessRevisions=0 nbAssignments=384904 nbFailedAssignments=159452 nbBacktracks=224437 nbVisitedNodes=749610
1597.04 nbRestartNogoods=102
1597.04 => wckTime=1550.357 cpuTime=1550.33 mem=29M153
2302.54
2302.54 search
2302.54 run=23 nbConstraintChecks=666272204 nbValidityChecks=2440138935 nbPropagations=0 nbRevisions=0
2302.54 nbUselessRevisions=0 nbAssignments=567680 nbFailedAssignments=229959 nbBacktracks=336665 nbVisitedNodes=1098734
2302.54 nbRestartNogoods=112
2302.54 => wckTime=2255.853 cpuTime=2255.86 mem=29M153
2399.94 v 0 1 1 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-278218-1169281112 -o ROOT/results/node16/solver-278218-1169281112 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278218-1169281112/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.02 1.42 1.72 4/78 26923
/proc/meminfo: memFree=1204864/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=1784 CPUtime=0
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 165 0 0 0 0 0 0 0 20 0 1 0 276506029 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/26922/statm: 446 136 102 14 0 91 0
[startup+0.10269 s]
/proc/loadavg: 1.02 1.42 1.72 4/78 26923
/proc/meminfo: memFree=1204864/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=914988 CPUtime=0.08
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 3001 0 1 0 6 2 0 0 16 0 8 0 276506029 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510612 s]
/proc/loadavg: 1.02 1.42 1.72 4/78 26923
/proc/meminfo: memFree=1204864/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=915332 CPUtime=0.5
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 6488 0 1 0 46 4 0 0 16 0 8 0 276506029 937299968 6228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 228833 6228 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33245 s]
/proc/loadavg: 1.02 1.42 1.72 2/85 26930
/proc/meminfo: memFree=1182024/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=915444 CPUtime=1.33
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 8401 0 1 0 122 11 0 0 17 0 8 0 276506029 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 228861 8139 2476 14 0 215331 0
[pid=26922/tid=26924] ppid=26920 vsize=915444 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276506033 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26922/tid=26925] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=915444 CPUtime=0.17
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 276506037 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276506037 937414656 8139 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915444
[startup+2.98415 s]
/proc/loadavg: 1.02 1.42 1.72 2/85 26930
/proc/meminfo: memFree=1181896/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=915444 CPUtime=2.98
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 8408 0 1 0 279 19 0 0 18 0 8 0 276506029 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 228861 8145 2478 14 0 215331 0
[pid=26922/tid=26924] ppid=26920 vsize=915444 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276506033 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26922/tid=26925] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=915444 CPUtime=0.18
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 915444
[startup+6.26153 s]
/proc/loadavg: 1.02 1.41 1.71 2/85 26930
/proc/meminfo: memFree=1181832/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=915444 CPUtime=6.26
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 8408 0 1 0 587 39 0 0 25 0 8 0 276506029 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 228861 8145 2478 14 0 215331 0
[pid=26922/tid=26924] ppid=26920 vsize=915444 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276506033 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26922/tid=26925] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=915444 CPUtime=0.18
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 376 0 0 0 17 1 0 0 16 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=915444 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276506037 937414656 8145 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915444
[startup+12.7423 s]
/proc/loadavg: 1.02 1.40 1.71 2/85 26930
/proc/meminfo: memFree=1181840/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=12.74
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 8412 0 1 0 1198 76 0 0 18 0 8 0 276506029 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 8149 2478 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.18
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 17 1 0 0 16 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 916468
[startup+25.5639 s]
/proc/loadavg: 1.01 1.38 1.70 3/85 26930
/proc/meminfo: memFree=1181968/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=25.56
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 8412 0 1 0 2401 155 0 0 25 0 8 0 276506029 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 8149 2478 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.18
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 17 1 0 0 16 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 8149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 916468
[startup+51.2441 s]
/proc/loadavg: 1.01 1.35 1.68 2/85 26930
/proc/meminfo: memFree=1168016/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=51.25
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12012 0 1 0 4835 290 0 0 17 0 8 0 276506029 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11744 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.27
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 431 0 0 0 26 1 0 0 16 0 8 0 276506037 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 916468
[startup+102.499 s]
/proc/loadavg: 1.00 1.29 1.64 2/85 26930
/proc/meminfo: memFree=1167888/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=102.5
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12049 0 1 0 9960 290 0 0 25 0 8 0 276506029 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11774 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.29
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 28 1 0 0 16 0 8 0 276506037 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.5
Current children cumulated vsize (KiB) 916468
[startup+162.586 s]
/proc/loadavg: 1.00 1.24 1.60 2/85 26930
/proc/meminfo: memFree=1167824/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=162.6
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12054 0 1 0 15969 291 0 0 25 0 8 0 276506029 938463232 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2025.31
Current children cumulated vsize (KiB) 916468
[startup+2085.32 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 26930
/proc/meminfo: memFree=1167632/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2085.39
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12074 0 1 0 208236 303 0 0 25 0 8 0 276506029 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073917942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11798 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2085.39
Current children cumulated vsize (KiB) 916468
[startup+2145.41 s]
/proc/loadavg: 1.00 1.00 1.05 2/85 26930
/proc/meminfo: memFree=1167632/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2145.48
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12074 0 1 0 214244 304 0 0 25 0 8 0 276506029 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11798 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2145.48
Current children cumulated vsize (KiB) 916468
[startup+2205.5 s]
/proc/loadavg: 1.00 1.00 1.04 2/85 26930
/proc/meminfo: memFree=1167632/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2205.57
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12074 0 1 0 220253 304 0 0 25 0 8 0 276506029 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11798 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2205.57
Current children cumulated vsize (KiB) 916468
[startup+2265.58 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 26930
/proc/meminfo: memFree=1167568/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2265.66
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12074 0 1 0 226262 304 0 0 25 0 8 0 276506029 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074036206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11798 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2265.66
Current children cumulated vsize (KiB) 916468
[startup+2325.66 s]
/proc/loadavg: 1.00 1.00 1.03 2/85 26930
/proc/meminfo: memFree=1167568/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2325.74
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12077 0 1 0 232269 305 0 0 25 0 8 0 276506029 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11801 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2325.74
Current children cumulated vsize (KiB) 916468
[startup+2385.74 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 26930
/proc/meminfo: memFree=1167568/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2385.82
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12077 0 1 0 238277 305 0 0 25 0 8 0 276506029 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11801 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) S 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2385.82
Current children cumulated vsize (KiB) 916468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.93 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 26930
/proc/meminfo: memFree=1167568/2055920 swapFree=4191880/4192956
[pid=26922] ppid=26920 vsize=916468 CPUtime=2400.02
/proc/26922/stat : 26922 (java) R 26920 26922 25660 0 -1 0 12077 0 1 0 239696 306 0 0 25 0 8 0 276506029 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074048256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26922/statm: 229117 11801 2534 14 0 215587 0
[pid=26922/tid=26924] ppid=26920 vsize=916468 CPUtime=0.03
/proc/26922/task/26924/stat : 26924 (java) S 26920 26922 25660 0 -1 64 379 0 0 0 3 0 0 0 16 0 8 0 276506033 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26925] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26925/stat : 26925 (java) S 26920 26922 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26926] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26926/stat : 26926 (java) S 26920 26922 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276506034 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26927] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26927/stat : 26927 (java) S 26920 26922 25660 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26928] ppid=26920 vsize=916468 CPUtime=0.3
/proc/26922/task/26928/stat : 26928 (java) S 26920 26922 25660 0 -1 64 447 0 0 0 29 1 0 0 16 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26929] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26929/stat : 26929 (java) S 26920 26922 25660 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26922/tid=26930] ppid=26920 vsize=916468 CPUtime=0
/proc/26922/task/26930/stat : 26930 (java) R 26920 26922 25660 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 276506037 938463232 11801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 916468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400
CPU time (s): 2400.09
CPU user time (s): 2397.02
CPU system time (s): 3.06753
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.02
system time used= 3.06753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12100
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= 49566
involuntary context switches= 2084
runsolver used 2.14867 s user time and 6.36603 s system time
The end
Begin job on node16 on Sat Jan 20 08:18:32 UTC 2007
IDJOB= 278218
IDBENCH= 8146
IDSOLVER= 68
FILE ID= node16/278218-1169281112
PBS_JOBID= 3609473
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-1100-2000/cnf-3-80-2000-523841_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278218-1169281112/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-278218-1169281112 -o ROOT/results/node16/solver-278218-1169281112 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278218-1169281112/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8ae6ec093a69c807b5567b2a90ccefe
RANDOM SEED= 186971571
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.220
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.220
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: 1205280 kB
Buffers: 54380 kB
Cached: 676760 kB
SwapCached: 268 kB
Active: 290944 kB
Inactive: 484016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1205280 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 62212 kB
Slab: 61024 kB
Committed_AS: 7724104 kB
PageTables: 1984 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= 66563 MiB
End job on node16 on Sat Jan 20 08:58:32 UTC 2007