0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278219-1169281585/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=80 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.098 cpuTime=0.08 mem=6M910
0.39
0.39 relations being loaded...
0.40
0.40 constraints being loaded...
0.63 nbConstraints=1976 nbRelationTypes=23 nbExtensionStructures=23 nbSharedExtensionStructures=1953
0.63 nbConflictsStructures=23 nbSharedConflictsStructures=1953 nbSharedBinaryRepresentations=0 maxDegree=90
0.63 maxArity=3
0.63 => wckTime=0.337 cpuTime=0.21 mem=12M777
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.426 cpuTime=0.25 mem=6M414
0.73
0.73 s SATISFIABLE
0.73 o 1740
0.73 c 236
0.73 o 1745
0.73 c 231
0.73 o 1751
0.73 c 225
0.73 o 1753
0.73 c 223
0.73 o 1754
0.73 c 222
0.73 o 1758
0.73 c 218
0.73 o 1761
0.73 c 215
0.73 o 1762
0.73 c 214
0.73 o 1766
0.73 c 210
0.73 o 1770
0.73 c 206
0.73 o 1773
0.73 c 203
0.74 o 1775
0.74 c 201
0.74 o 1776
0.74 c 200
0.74 o 1777
0.74 c 199
0.74 o 1778
0.74 c 198
0.74 o 1779
0.74 c 197
0.74 o 1780
0.74 c 196
0.75 o 1781
0.75 c 195
0.75 o 1785
0.75 c 191
0.75 o 1787
0.75 c 189
0.75 o 1789
0.75 c 187
0.75 o 1790
0.75 c 186
0.76 o 1791
0.76 c 185
0.76 o 1796
0.76 c 180
0.76 o 1797
0.76 c 179
0.76 o 1799
0.76 c 177
0.76 o 1801
0.76 c 175
0.76 o 1804
0.76 c 172
0.76 o 1805
0.76 c 171
0.76 o 1806
0.76 c 170
0.76 o 1809
0.76 c 167
0.77 o 1810
0.77 c 166
0.77 o 1813
0.77 c 163
0.80 o 1816
0.80 c 160
0.80 o 1822
0.80 c 154
0.80 o 1823
0.80 c 153
0.80 o 1825
0.80 c 151
0.80 o 1827
0.80 c 149
0.81 o 1829
0.81 c 147
1.05 o 1830
1.05 c 146
1.05 o 1833
1.05 c 143
1.12 o 1836
1.12 c 140
1.56 o 1837
1.56 c 139
1.88 o 1838
1.88 c 138
6.94
6.94 search
6.94 run=0 nbConstraintChecks=35546082 nbAssignments=10000
6.94 => wckTime=6.218 cpuTime=6.17 mem=6M414
13.31
13.31 search
13.31 run=1 nbConstraintChecks=73241445 nbAssignments=20000
13.31 => wckTime=12.592 cpuTime=12.54 mem=6M414
15.12 o 1840
15.12 c 136
15.13 o 1841
15.13 c 135
15.13 o 1842
15.13 c 134
19.39
19.39 search
19.39 run=2 nbConstraintChecks=108849946 nbAssignments=30000
19.39 => wckTime=18.671 cpuTime=18.61 mem=6M414
25.75
25.76 search
25.76 run=3 nbConstraintChecks=146525823 nbAssignments=40000
25.76 => wckTime=25.038 cpuTime=24.98 mem=6M414
31.78
31.78 search
31.78 run=4 nbConstraintChecks=182157664 nbAssignments=50000
31.78 => wckTime=31.063 cpuTime=30.99 mem=6M414
38.17
38.17 search
38.17 run=5 nbConstraintChecks=219797372 nbAssignments=60000
38.17 => wckTime=37.457 cpuTime=37.39 mem=6M414
44.22
44.22 search
44.22 run=6 nbConstraintChecks=255370574 nbAssignments=70000
44.22 => wckTime=43.499 cpuTime=43.43 mem=6M414
45.15
45.15 search
45.15 run=7 nbConstraintChecks=260897178 nbAssignments=71470
45.15 => wckTime=44.43 cpuTime=44.36 mem=6M414
45.15
45.15 global
45.15 nbConstraintChecks=260897178 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.15 solvingWckTime=44.429 solvingCpuTime=44.36 expiredTime=no totalExploration=no nbFoundSolutions=0
45.15 globalCpuTime=44.66
45.15 => wckTime=44.856 cpuTime=44.61 mem=6M414
45.15
45.15 solver IterativeSystematicSolver being built...
45.33 => wckTime=45.042 cpuTime=44.76 mem=28M116
45.36
45.36 preprocessing
45.36 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
45.36 detectedInconsistency=no
45.36 => wckTime=0.018 cpuTime=0.01 mem=28M116
45.56
45.56 search
45.56 run=0 nbConstraintChecks=38579 nbValidityChecks=112753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.56 nbAssignments=66 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=87 nbRestartNogoods=0
45.56 => wckTime=0.224 cpuTime=0.19 mem=28M116
45.74
45.74 search
45.74 run=1 nbConstraintChecks=77906 nbValidityChecks=247610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.74 nbAssignments=134 nbFailedAssignments=18 nbBacktracks=26 nbVisitedNodes=179 nbRestartNogoods=2
45.74 => wckTime=0.4 cpuTime=0.36 mem=28M116
45.96
45.96 search
45.96 run=2 nbConstraintChecks=151500 nbValidityChecks=474006 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.96 nbAssignments=224 nbFailedAssignments=37 nbBacktracks=48 nbVisitedNodes=310 nbRestartNogoods=3
45.96 => wckTime=0.627 cpuTime=0.58 mem=28M116
46.24
46.24 search
46.24 run=3 nbConstraintChecks=250987 nbValidityChecks=773281 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.24 nbAssignments=330 nbFailedAssignments=60 nbBacktracks=81 nbVisitedNodes=472 nbRestartNogoods=6
46.24 => wckTime=0.907 cpuTime=0.86 mem=28M116
46.65
46.65 search
46.65 run=4 nbConstraintChecks=366264 nbValidityChecks=1184979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.65 nbAssignments=460 nbFailedAssignments=97 nbBacktracks=132 nbVisitedNodes=690 nbRestartNogoods=10
46.65 => wckTime=1.314 cpuTime=1.27 mem=28M116
47.28
47.28 search
47.28 run=5 nbConstraintChecks=573734 nbValidityChecks=1885516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.28 nbAssignments=653 nbFailedAssignments=169 nbBacktracks=207 nbVisitedNodes=1030 nbRestartNogoods=14
47.28 => wckTime=1.945 cpuTime=1.9 mem=28M116
48.10
48.10 search
48.10 run=6 nbConstraintChecks=859640 nbValidityChecks=2835468 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.10 nbAssignments=902 nbFailedAssignments=258 nbBacktracks=321 nbVisitedNodes=1482 nbRestartNogoods=19
48.10 => wckTime=2.761 cpuTime=2.71 mem=28M116
49.18
49.18 search
49.18 run=7 nbConstraintChecks=1263967 nbValidityChecks=4099118 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.18 nbAssignments=1225 nbFailedAssignments=363 nbBacktracks=491 nbVisitedNodes=2080 nbRestartNogoods=22
49.18 => wckTime=3.847 cpuTime=3.8 mem=28M116
51.13
51.13 search
51.13 run=8 nbConstraintChecks=1792656 nbValidityChecks=6119762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
51.13 nbAssignments=1719 nbFailedAssignments=557 nbBacktracks=748 nbVisitedNodes=3025 nbRestartNogoods=26
51.13 => wckTime=5.79 cpuTime=5.69 mem=28M116
53.79
53.79 search
53.79 run=9 nbConstraintChecks=2635587 nbValidityChecks=9139449 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
53.79 nbAssignments=2415 nbFailedAssignments=822 nbBacktracks=1132 nbVisitedNodes=4370 nbRestartNogoods=31
53.79 => wckTime=8.456 cpuTime=8.35 mem=28M116
58.38
58.38 search
58.38 run=10 nbConstraintChecks=3801469 nbValidityChecks=13914461 nbPropagations=0 nbRevisions=0
58.38 nbUselessRevisions=0 nbAssignments=3527 nbFailedAssignments=1318 nbBacktracks=1709 nbVisitedNodes=6555
58.38 nbRestartNogoods=35
58.38 => wckTime=13.042 cpuTime=12.94 mem=28M116
64.75
64.75 search
64.75 run=11 nbConstraintChecks=5617641 nbValidityChecks=20851311 nbPropagations=0 nbRevisions=0
64.75 nbUselessRevisions=0 nbAssignments=5110 nbFailedAssignments=1995 nbBacktracks=2574 nbVisitedNodes=9680
64.75 nbRestartNogoods=38
64.75 => wckTime=19.416 cpuTime=19.3 mem=28M116
74.71
74.71 search
74.71 run=12 nbConstraintChecks=8458013 nbValidityChecks=31626483 nbPropagations=0 nbRevisions=0
74.71 nbUselessRevisions=0 nbAssignments=7533 nbFailedAssignments=3080 nbBacktracks=3871 nbVisitedNodes=14485
74.71 nbRestartNogoods=44
74.71 => wckTime=29.37 cpuTime=29.25 mem=28M116
88.44
88.44 search
88.44 run=13 nbConstraintChecks=12805923 nbValidityChecks=47142269 nbPropagations=0 nbRevisions=0
88.44 nbUselessRevisions=0 nbAssignments=11075 nbFailedAssignments=4635 nbBacktracks=5817 nbVisitedNodes=21528
88.44 nbRestartNogoods=47
88.44 => wckTime=43.101 cpuTime=42.98 mem=28M116
109.26
109.26 search
109.26 run=14 nbConstraintChecks=19092711 nbValidityChecks=70091044 nbPropagations=0 nbRevisions=0
109.26 nbUselessRevisions=0 nbAssignments=16293 nbFailedAssignments=6895 nbBacktracks=8736 nbVisitedNodes=31925
109.26 nbRestartNogoods=53
109.26 => wckTime=63.924 cpuTime=63.75 mem=28M116
139.05
139.05 search
139.05 run=15 nbConstraintChecks=28960566 nbValidityChecks=104903520 nbPropagations=0 nbRevisions=0
139.05 nbUselessRevisions=0 nbAssignments=23843 nbFailedAssignments=10021 nbBacktracks=13115 nbVisitedNodes=46980
139.05 nbRestartNogoods=57
139.05 => wckTime=93.715 cpuTime=93.53 mem=28M116
187.72
187.72 search
187.72 run=16 nbConstraintChecks=43156010 nbValidityChecks=158431447 nbPropagations=0 nbRevisions=0
187.72 nbUselessRevisions=0 nbAssignments=35759 nbFailedAssignments=15324 nbBacktracks=19683 nbVisitedNodes=70767
187.72 nbRestartNogoods=62
187.72 => wckTime=142.386 cpuTime=142.13 mem=28M116
256.83
256.83 search
256.83 run=17 nbConstraintChecks=64490760 nbValidityChecks=238342665 nbPropagations=0 nbRevisions=0
256.83 nbUselessRevisions=0 nbAssignments=52957 nbFailedAssignments=22628 nbBacktracks=29535 nbVisitedNodes=105121
256.83 nbRestartNogoods=67
256.83 => wckTime=211.489 cpuTime=211.16 mem=29M91
358.08
358.08 search
358.08 run=18 nbConstraintChecks=94133593 nbValidityChecks=353076701 nbPropagations=0 nbRevisions=0
358.08 nbUselessRevisions=0 nbAssignments=77221 nbFailedAssignments=32073 nbBacktracks=44314 nbVisitedNodes=153609
358.08 nbRestartNogoods=70
358.08 => wckTime=312.748 cpuTime=312.32 mem=29M91
514.95
514.95 search
514.95 run=19 nbConstraintChecks=136717418 nbValidityChecks=528339786 nbPropagations=0 nbRevisions=0
514.95 nbUselessRevisions=0 nbAssignments=115273 nbFailedAssignments=47912 nbBacktracks=66483 nbVisitedNodes=229647
514.95 nbRestartNogoods=79
514.95 => wckTime=469.616 cpuTime=469.02 mem=29M91
759.37
759.37 search
759.37 run=20 nbConstraintChecks=202985578 nbValidityChecks=795980540 nbPropagations=0 nbRevisions=0
759.37 nbUselessRevisions=0 nbAssignments=173715 nbFailedAssignments=73056 nbBacktracks=99735 nbVisitedNodes=346386
759.37 nbRestartNogoods=84
759.37 => wckTime=714.033 cpuTime=713.19 mem=29M91
1110.82
1110.82 search
1110.82 run=21 nbConstraintChecks=310496004 nbValidityChecks=1196087004 nbPropagations=0 nbRevisions=0
1110.82 nbUselessRevisions=0 nbAssignments=261183 nbFailedAssignments=110601 nbBacktracks=149614 nbVisitedNodes=521059
1110.82 nbRestartNogoods=88
1110.82 => wckTime=1065.487 cpuTime=1064.29 mem=29M91
1637.15
1637.15 search
1637.15 run=22 nbConstraintChecks=461455989 nbValidityChecks=1793364671 nbPropagations=0 nbRevisions=0
1637.15 nbUselessRevisions=0 nbAssignments=391950 nbFailedAssignments=166508 nbBacktracks=224432 nbVisitedNodes=782065
1637.15 nbRestartNogoods=93
1637.15 => wckTime=1591.81 cpuTime=1590.06 mem=29M91
2379.91
2379.91 search
2379.91 run=23 nbConstraintChecks=691944432 nbValidityChecks=2647863297 nbPropagations=0 nbRevisions=0
2379.91 nbUselessRevisions=0 nbAssignments=586571 nbFailedAssignments=248858 nbBacktracks=336659 nbVisitedNodes=1164599
2379.91 nbRestartNogoods=100
2379.91 => wckTime=2334.576 cpuTime=2331.49 mem=29M91
2403.27 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/node10/watcher-278219-1169281585 -o ROOT/results/node10/solver-278219-1169281585 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278219-1169281585/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.92 1.99 1.99 4/93 19196
/proc/meminfo: memFree=1245792/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=172 CPUtime=0
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 276553615 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8905003 0 0 4096 0 0 0 0 17 0 0 0
/proc/19195/statm: 43 24 18 14 0 3 0
[startup+0.108231 s]
/proc/loadavg: 1.92 1.99 1.99 4/93 19196
/proc/meminfo: memFree=1245792/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=914988 CPUtime=0.09
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 3073 0 1 0 7 2 0 0 22 0 8 0 276553615 936947712 2819 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228747 2820 1454 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520286 s]
/proc/loadavg: 1.92 1.99 1.99 4/93 19196
/proc/meminfo: memFree=1245792/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915332 CPUtime=0.51
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 6536 0 1 0 45 6 0 0 25 0 8 0 276553615 937299968 6275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545485 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228833 6276 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915332
[startup+1.3484 s]
/proc/loadavg: 1.92 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222888/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=1.32
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 8392 0 1 0 120 12 0 0 25 0 8 0 276553615 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 8130 2473 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915448 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937418752 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.17
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 369 0 0 0 17 0 0 0 16 0 8 0 276553623 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 8130 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915444
[startup+2.98562 s]
/proc/loadavg: 1.92 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222888/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2.96
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 8399 0 1 0 273 23 0 0 25 0 8 0 276553615 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 8136 2475 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.18
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 375 0 0 0 18 0 0 0 16 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915444
[startup+6.26707 s]
/proc/loadavg: 1.93 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222832/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=6.23
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 8399 0 1 0 580 43 0 0 25 0 8 0 276553615 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 8136 2475 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.18
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 375 0 0 0 18 0 0 0 16 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 8136 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915444
[startup+12.758 s]
/proc/loadavg: 1.93 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222768/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=12.71
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 8401 0 1 0 1186 85 0 0 25 0 8 0 276553615 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 8138 2475 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.18
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915448 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937418752 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915444
[startup+25.6257 s]
/proc/loadavg: 1.95 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1222832/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=25.56
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 8401 0 1 0 2383 173 0 0 25 0 8 0 276553615 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 8138 2475 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.18
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 377 0 0 0 18 0 0 0 17 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 8138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 8138 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) 915444
[startup+51.2482 s]
/proc/loadavg: 1.96 1.99 1.99 4/100 19203
/proc/meminfo: memFree=1208880/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=51.16
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12008 0 1 0 4811 305 0 0 25 0 8 0 276553615 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073997427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11741 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 17 0 8 0 276553619 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.29
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 437 0 0 0 28 1 0 0 15 0 8 0 276553623 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915444
[startup+102.494 s]
/proc/loadavg: 1.98 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1208816/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=102.33
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12029 0 1 0 9928 305 0 0 25 0 8 0 276553615 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979946 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11759 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915444
[startup+162.589 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 19203
/proc/meminfo: memFree=1208816/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=162.36
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12034 0 1 0 15931 305 0 0 25 0 8 0 276553615 937414656 11764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.77
Current children cumulated vsize (KiB) 915444
[startup+2084.97 s]
/proc/loadavg: 2.22 2.07 2.01 3/99 19317
/proc/meminfo: memFree=1238296/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2082.75
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12054 0 1 0 207962 313 0 0 25 0 8 0 276553615 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11783 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2082.75
Current children cumulated vsize (KiB) 915444
[startup+2145.07 s]
/proc/loadavg: 2.08 2.06 2.01 3/99 19427
/proc/meminfo: memFree=1238248/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2142.75
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12054 0 1 0 213951 324 0 0 25 0 8 0 276553615 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074034071 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11783 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2142.75
Current children cumulated vsize (KiB) 915444
[startup+2205.15 s]
/proc/loadavg: 2.03 2.05 2.00 3/93 19449
/proc/meminfo: memFree=1239272/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2202.77
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12054 0 1 0 219952 325 0 0 25 0 8 0 276553615 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11783 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2202.77
Current children cumulated vsize (KiB) 915444
[startup+2265.22 s]
/proc/loadavg: 2.01 2.03 2.00 3/93 19449
/proc/meminfo: memFree=1239272/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2262.77
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12054 0 1 0 225952 325 0 0 25 0 8 0 276553615 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11783 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2262.77
Current children cumulated vsize (KiB) 915444
[startup+2325.29 s]
/proc/loadavg: 2.04 2.04 2.00 3/93 19449
/proc/meminfo: memFree=1239336/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2322.51
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12054 0 1 0 231926 325 0 0 25 0 8 0 276553615 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11783 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2322.51
Current children cumulated vsize (KiB) 915444
[startup+2385.36 s]
/proc/loadavg: 2.01 2.03 2.00 3/93 19449
/proc/meminfo: memFree=1239336/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2382.27
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12056 0 1 0 237902 325 0 0 25 0 8 0 276553615 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11785 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.26 s]
/proc/loadavg: 2.01 2.03 2.00 3/93 19449
/proc/meminfo: memFree=1239336/2055920 swapFree=4178232/4192956
[pid=19195] ppid=19193 vsize=915444 CPUtime=2400.06
/proc/19195/stat : 19195 (java) R 19193 19195 18123 0 -1 0 12056 0 1 0 239681 325 0 0 25 0 8 0 276553615 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073994570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19195/statm: 228861 11785 2529 14 0 215331 0
[pid=19195/tid=19197] ppid=19193 vsize=915444 CPUtime=0.03
/proc/19195/task/19197/stat : 19197 (java) S 19193 19195 18123 0 -1 64 378 0 0 0 3 0 0 0 16 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19198] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19198/stat : 19198 (java) S 19193 19195 18123 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19199] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19199/stat : 19199 (java) S 19193 19195 18123 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276553619 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19200] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19200/stat : 19200 (java) S 19193 19195 18123 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19201] ppid=19193 vsize=915444 CPUtime=0.3
/proc/19195/task/19201/stat : 19201 (java) S 19193 19195 18123 0 -1 64 445 0 0 0 29 1 0 0 16 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19202] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19202/stat : 19202 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19195/tid=19203] ppid=19193 vsize=915444 CPUtime=0
/proc/19195/task/19203/stat : 19203 (java) S 19193 19195 18123 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276553623 937414656 11785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.33
CPU time (s): 2400.13
CPU user time (s): 2396.87
CPU system time (s): 3.2635
CPU usage (%): 99.8669
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.87
system time used= 3.2635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12080
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= 50016
involuntary context switches= 97894
runsolver used 2.71059 s user time and 7.94979 s system time
The end
Begin job on node10 on Sat Jan 20 08:26:25 UTC 2007
IDJOB= 278219
IDBENCH= 8146
IDSOLVER= 69
FILE ID= node10/278219-1169281585
PBS_JOBID= 3609463
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/278219-1169281585/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-278219-1169281585 -o ROOT/results/node10/solver-278219-1169281585 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278219-1169281585/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8ae6ec093a69c807b5567b2a90ccefe
RANDOM SEED= 918969595
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.232
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.232
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: 1246208 kB
Buffers: 60716 kB
Cached: 600264 kB
SwapCached: 2904 kB
Active: 241640 kB
Inactive: 491008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1246208 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 90912 kB
Slab: 61756 kB
Committed_AS: 8293560 kB
PageTables: 2336 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 node10 on Sat Jan 20 09:06:28 UTC 2007