0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=epfc.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/278272-1169284810/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.09 cpuTime=0.08 mem=6M887
0.43
0.43 relations being loaded...
0.45
0.45 constraints being loaded...
0.69 nbConstraints=2052 nbRelationTypes=43 nbExtensionStructures=43 nbSharedExtensionStructures=2009
0.69 nbConflictsStructures=43 nbSharedConflictsStructures=2009 nbSharedBinaryRepresentations=0 maxDegree=170
0.69 maxArity=3
0.69 => wckTime=0.356 cpuTime=0.22 mem=12M754
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.454 cpuTime=0.27 mem=6M448
0.80
0.80 s SATISFIABLE
0.80 o 1792
0.80 c 260
0.80 o 1803
0.80 c 249
0.80 o 1805
0.80 c 247
0.80 o 1809
0.80 c 243
0.81 o 1817
0.81 c 235
0.81 o 1819
0.81 c 233
0.81 o 1822
0.81 c 230
0.81 o 1827
0.81 c 225
0.81 o 1829
0.81 c 223
0.81 o 1830
0.81 c 222
0.87 o 1834
0.87 c 218
0.91 o 1835
0.91 c 217
0.98 o 1838
0.98 c 214
1.09 o 1840
1.09 c 212
1.31 o 1841
1.31 c 211
1.31 o 1845
1.31 c 207
1.31 o 1847
1.31 c 205
1.45 o 1849
1.45 c 203
1.47 o 1850
1.47 c 202
4.56 o 1853
4.56 c 199
8.85
8.85 search
8.85 run=0 nbConstraintChecks=46363183 nbAssignments=10000
8.85 => wckTime=8.055 cpuTime=7.96 mem=6M448
16.44
16.44 search
16.44 run=1 nbConstraintChecks=93725732 nbAssignments=20000
16.44 => wckTime=15.646 cpuTime=15.51 mem=6M448
23.69
23.69 search
23.69 run=2 nbConstraintChecks=140103075 nbAssignments=30000
23.69 => wckTime=22.894 cpuTime=22.75 mem=6M448
31.06
31.06 search
31.06 run=3 nbConstraintChecks=187436130 nbAssignments=40000
31.06 => wckTime=30.272 cpuTime=30.13 mem=6M448
34.66
34.66 search
34.66 run=4 nbConstraintChecks=210463112 nbAssignments=45065
34.66 => wckTime=33.872 cpuTime=33.72 mem=6M448
34.66
34.66 global
34.66 nbConstraintChecks=210463112 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.66 solvingWckTime=33.87 solvingCpuTime=33.72 expiredTime=no totalExploration=no nbFoundSolutions=0
34.66 globalCpuTime=34.05
34.67 => wckTime=34.326 cpuTime=33.99 mem=6M448
34.67
34.67 solver IterativeSystematicSolver being built...
34.85 => wckTime=34.511 cpuTime=34.14 mem=28M75
35.00
35.00 preprocessing
35.00 nbConstraintChecks=22723 nbValidityChecks=55686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.00 nbRemovedValues=0 detectedInconsistency=no
35.00 => wckTime=0.149 cpuTime=0.12 mem=28M75
35.12
35.12 search
35.12 run=0 nbConstraintChecks=43833 nbValidityChecks=107253 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.12 nbAssignments=43 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=62 nbRestartNogoods=0
35.12 => wckTime=0.267 cpuTime=0.23 mem=29M83
35.29
35.29 search
35.29 run=1 nbConstraintChecks=105615 nbValidityChecks=266519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.29 nbAssignments=97 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=145 nbRestartNogoods=2
35.29 => wckTime=0.435 cpuTime=0.39 mem=29M83
35.46
35.46 search
35.46 run=2 nbConstraintChecks=178494 nbValidityChecks=450715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.46 nbAssignments=157 nbFailedAssignments=35 nbBacktracks=49 nbVisitedNodes=239 nbRestartNogoods=4
35.46 => wckTime=0.607 cpuTime=0.56 mem=29M83
35.71
35.71 search
35.71 run=3 nbConstraintChecks=278008 nbValidityChecks=733128 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.71 nbAssignments=237 nbFailedAssignments=60 nbBacktracks=82 nbVisitedNodes=373 nbRestartNogoods=5
35.71 => wckTime=0.857 cpuTime=0.81 mem=29M83
36.08
36.08 search
36.08 run=4 nbConstraintChecks=439399 nbValidityChecks=1177243 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.08 nbAssignments=349 nbFailedAssignments=96 nbBacktracks=134 nbVisitedNodes=572 nbRestartNogoods=8
36.08 => wckTime=1.227 cpuTime=1.18 mem=29M83
36.63
36.63 search
36.63 run=5 nbConstraintChecks=670715 nbValidityChecks=1843046 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.64 nbAssignments=505 nbFailedAssignments=156 nbBacktracks=209 nbVisitedNodes=862 nbRestartNogoods=10
36.64 => wckTime=1.784 cpuTime=1.73 mem=29M83
37.38
37.38 search
37.38 run=6 nbConstraintChecks=1016085 nbValidityChecks=2781093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.38 nbAssignments=718 nbFailedAssignments=234 nbBacktracks=322 nbVisitedNodes=1265 nbRestartNogoods=14
37.38 => wckTime=2.529 cpuTime=2.47 mem=29M83
38.58
38.58 search
38.58 run=7 nbConstraintChecks=1549677 nbValidityChecks=4240890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.58 nbAssignments=1045 nbFailedAssignments=369 nbBacktracks=492 nbVisitedNodes=1894 nbRestartNogoods=17
38.58 => wckTime=3.729 cpuTime=3.67 mem=29M83
40.37
40.37 search
40.37 run=8 nbConstraintChecks=2260157 nbValidityChecks=6399178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.37 nbAssignments=1504 nbFailedAssignments=552 nbBacktracks=748 nbVisitedNodes=2788 nbRestartNogoods=20
40.37 => wckTime=5.52 cpuTime=5.44 mem=29M83
42.95
42.95 search
42.95 run=9 nbConstraintChecks=3302153 nbValidityChecks=9638062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.95 nbAssignments=2190 nbFailedAssignments=832 nbBacktracks=1133 nbVisitedNodes=4122 nbRestartNogoods=25
42.95 => wckTime=8.096 cpuTime=8.01 mem=29M83
47.13
47.13 search
47.13 run=10 nbConstraintChecks=4941922 nbValidityChecks=14958853 nbPropagations=0 nbRevisions=0
47.13 nbUselessRevisions=0 nbAssignments=3278 nbFailedAssignments=1320 nbBacktracks=1709 nbVisitedNodes=6253
47.13 nbRestartNogoods=30
47.13 => wckTime=12.282 cpuTime=12.19 mem=29M83
53.36
53.36 search
53.36 run=11 nbConstraintChecks=7224490 nbValidityChecks=22663105 nbPropagations=0 nbRevisions=0
53.36 nbUselessRevisions=0 nbAssignments=4856 nbFailedAssignments=2015 nbBacktracks=2573 nbVisitedNodes=9356
53.36 nbRestartNogoods=34
53.36 => wckTime=18.514 cpuTime=18.4 mem=29M83
61.91
61.91 search
61.91 run=12 nbConstraintChecks=10891972 nbValidityChecks=33937243 nbPropagations=0 nbRevisions=0
61.91 nbUselessRevisions=0 nbAssignments=7143 nbFailedAssignments=2983 nbBacktracks=3871 nbVisitedNodes=13850
61.91 nbRestartNogoods=39
61.91 => wckTime=27.055 cpuTime=26.94 mem=29M83
75.80
75.81 search
75.81 run=13 nbConstraintChecks=16166003 nbValidityChecks=51510092 nbPropagations=0 nbRevisions=0
75.81 nbUselessRevisions=0 nbAssignments=10620 nbFailedAssignments=4495 nbBacktracks=5817 nbVisitedNodes=20723
75.81 nbRestartNogoods=44
75.81 => wckTime=40.955 cpuTime=40.83 mem=29M83
97.18
97.18 search
97.18 run=14 nbConstraintChecks=23804106 nbValidityChecks=78300515 nbPropagations=0 nbRevisions=0
97.18 nbUselessRevisions=0 nbAssignments=15899 nbFailedAssignments=6836 nbBacktracks=8736 nbVisitedNodes=31180
97.18 nbRestartNogoods=50
97.18 => wckTime=62.325 cpuTime=62.16 mem=29M83
129.57
129.57 search
129.57 run=15 nbConstraintChecks=34927396 nbValidityChecks=118323272 nbPropagations=0 nbRevisions=0
129.57 nbUselessRevisions=0 nbAssignments=23694 nbFailedAssignments=10232 nbBacktracks=13115 nbVisitedNodes=46565
129.57 nbRestartNogoods=58
129.57 => wckTime=94.723 cpuTime=94.54 mem=29M83
178.64
178.64 search
178.64 run=16 nbConstraintChecks=51179388 nbValidityChecks=178017078 nbPropagations=0 nbRevisions=0
178.64 nbUselessRevisions=0 nbAssignments=35326 nbFailedAssignments=15277 nbBacktracks=19684 nbVisitedNodes=69609
178.64 nbRestartNogoods=64
178.64 => wckTime=143.789 cpuTime=143.55 mem=29M83
248.73
248.73 search
248.73 run=17 nbConstraintChecks=76817328 nbValidityChecks=266192489 nbPropagations=0 nbRevisions=0
248.73 nbUselessRevisions=0 nbAssignments=52453 nbFailedAssignments=22534 nbBacktracks=29536 nbVisitedNodes=103540
248.73 nbRestartNogoods=67
248.73 => wckTime=213.879 cpuTime=213.56 mem=29M83
359.78
359.78 search
359.78 run=18 nbConstraintChecks=114430204 nbValidityChecks=403152724 nbPropagations=0 nbRevisions=0
359.78 nbUselessRevisions=0 nbAssignments=79087 nbFailedAssignments=34372 nbBacktracks=44314 nbVisitedNodes=156246
359.79 nbRestartNogoods=73
359.79 => wckTime=324.934 cpuTime=324.51 mem=29M83
526.75
526.75 search
526.75 run=19 nbConstraintChecks=170448978 nbValidityChecks=608279291 nbPropagations=0 nbRevisions=0
526.75 nbUselessRevisions=0 nbAssignments=118527 nbFailedAssignments=51624 nbBacktracks=66482 nbVisitedNodes=234366
526.75 nbRestartNogoods=80
526.75 => wckTime=491.903 cpuTime=491.29 mem=29M83
775.19
775.20 search
775.20 run=20 nbConstraintChecks=255875783 nbValidityChecks=918772016 nbPropagations=0 nbRevisions=0
775.20 nbUselessRevisions=0 nbAssignments=178042 nbFailedAssignments=77866 nbBacktracks=99734 nbVisitedNodes=352088
775.20 nbRestartNogoods=87
775.20 => wckTime=740.345 cpuTime=739.45 mem=29M83
1154.65
1154.65 search
1154.65 run=21 nbConstraintChecks=381556785 nbValidityChecks=1384198313 nbPropagations=0 nbRevisions=0
1154.65 nbUselessRevisions=0 nbAssignments=267219 nbFailedAssignments=117143 nbBacktracks=149612 nbVisitedNodes=528580
1154.65 nbRestartNogoods=93
1154.65 => wckTime=1119.797 cpuTime=1118.51 mem=29M83
1699.74
1699.74 search
1699.74 run=22 nbConstraintChecks=572729085 nbValidityChecks=2060305014 nbPropagations=0 nbRevisions=0
1699.74 nbUselessRevisions=0 nbAssignments=399988 nbFailedAssignments=175074 nbBacktracks=224430 nbVisitedNodes=790278
1699.74 nbRestartNogoods=100
1699.74 => wckTime=1664.89 cpuTime=1663.03 mem=29M83
2402.77 v 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-278272-1169284810 -o ROOT/results/node9/solver-278272-1169284810 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278272-1169284810/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.93 2/86 4044
/proc/meminfo: memFree=1267240/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=18540 CPUtime=0
/proc/4043/stat : 4043 (runsolver) R 4041 4043 3321 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 276876201 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4043/statm: 4635 279 244 17 0 2626 0
[startup+0.1022 s]
/proc/loadavg: 2.00 2.00 1.93 2/86 4044
/proc/meminfo: memFree=1267240/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=907808 CPUtime=0.06
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 2509 0 1 0 5 1 0 0 17 0 4 0 276876201 929595392 2256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/4043/statm: 226952 2256 1233 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510247 s]
/proc/loadavg: 2.00 2.00 1.93 2/86 4044
/proc/meminfo: memFree=1267240/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915332 CPUtime=0.46
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 6170 0 1 0 43 3 0 0 18 0 8 0 276876201 937299968 5909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4043/statm: 228833 5909 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33134 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 4051
/proc/meminfo: memFree=1244144/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=1.27
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 8423 0 1 0 119 8 0 0 24 0 8 0 276876201 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4043/statm: 228861 8161 2477 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 386 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.18
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 368 0 0 0 18 0 0 0 16 0 8 0 276876211 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915444
[startup+2.96852 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 4051
/proc/meminfo: memFree=1244144/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2.9
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 8430 0 1 0 273 17 0 0 25 0 8 0 276876201 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4043/statm: 228861 8167 2479 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 386 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.18
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915444
[startup+6.2689 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 4051
/proc/meminfo: memFree=1244016/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=6.16
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 8430 0 1 0 585 31 0 0 25 0 8 0 276876201 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4043/statm: 228861 8167 2479 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 386 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.18
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 8167 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915444
[startup+12.7386 s]
/proc/loadavg: 1.92 1.98 1.92 2/88 4067
/proc/meminfo: memFree=1250768/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915448 CPUtime=12.58
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 8433 0 1 0 1191 67 0 0 25 0 8 0 276876201 937418752 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 8170 2479 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 386 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.19
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915448
[startup+25.6091 s]
/proc/loadavg: 1.93 1.98 1.92 4/100 4112
/proc/meminfo: memFree=1225464/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=25.45
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 8433 0 1 0 2407 138 0 0 25 0 8 0 276876201 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 8170 2479 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 386 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.19
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 377 0 0 0 19 0 0 0 17 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 8170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915444
[startup+51.219 s]
/proc/loadavg: 1.95 1.98 1.92 3/100 4112
/proc/meminfo: memFree=1196920/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=51.01
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12087 0 1 0 4905 196 0 0 25 0 8 0 276876201 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835674 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11815 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 445 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915444
[startup+102.485 s]
/proc/loadavg: 1.98 1.98 1.92 3/100 4112
/proc/meminfo: memFree=1196792/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=102.23
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12097 0 1 0 10027 196 0 0 25 0 8 0 276876201 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11825 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 445 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915444
[startup+162.494 s]
/proc/loadavg: 1.99 1.98 1.92 3/100 4114
/proc/meminfo: memFree=1196664/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=162.18
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12101 0 1 0 16022 196 0 0 25 0 8 0 276876201 937414656 11829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.54
Current children cumulated vsize (KiB) 915444
[startup+2082.83 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 4114
/proc/meminfo: memFree=1196344/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2080.48
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 207846 202 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.48
Current children cumulated vsize (KiB) 915444
[startup+2142.85 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 4114
/proc/meminfo: memFree=1196344/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2140.43
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 213841 202 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.43
Current children cumulated vsize (KiB) 915444
[startup+2202.85 s]
/proc/loadavg: 2.05 2.02 1.99 3/100 4114
/proc/meminfo: memFree=1196280/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2200.38
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 219836 202 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834302 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.38
Current children cumulated vsize (KiB) 915444
[startup+2262.86 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 4114
/proc/meminfo: memFree=1196344/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2260.31
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 225829 202 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953493 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.31
Current children cumulated vsize (KiB) 915444
[startup+2322.88 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 4114
/proc/meminfo: memFree=1196280/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2320.28
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 231826 202 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.28
Current children cumulated vsize (KiB) 915444
[startup+2382.89 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 4114
/proc/meminfo: memFree=1196280/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2380.23
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 237820 203 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.23
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.77 s]
/proc/loadavg: 2.08 2.03 2.00 4/100 4114
/proc/meminfo: memFree=1196344/2055920 swapFree=4191880/4192956
[pid=4043] ppid=4041 vsize=915444 CPUtime=2400.09
/proc/4043/stat : 4043 (java) R 4041 4043 3321 0 -1 0 12119 0 1 0 239806 203 0 0 25 0 8 0 276876201 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073976778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4043/statm: 228861 11847 2535 14 0 215331 0
[pid=4043/tid=4045] ppid=4041 vsize=915444 CPUtime=0.03
/proc/4043/task/4045/stat : 4045 (java) S 4041 4043 3321 0 -1 64 387 0 0 0 3 0 0 0 16 0 8 0 276876207 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4046] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4046/stat : 4046 (java) S 4041 4043 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4047] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4047/stat : 4047 (java) S 4041 4043 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276876208 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4048] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4048/stat : 4048 (java) S 4041 4043 3321 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4049] ppid=4041 vsize=915444 CPUtime=0.31
/proc/4043/task/4049/stat : 4049 (java) S 4041 4043 3321 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4050/stat : 4050 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4043/tid=4051] ppid=4041 vsize=915444 CPUtime=0
/proc/4043/task/4051/stat : 4051 (java) S 4041 4043 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276876211 937414656 11847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.82
CPU time (s): 2400.14
CPU user time (s): 2398.1
CPU system time (s): 2.03869
CPU usage (%): 99.8885
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.1
system time used= 2.03869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12140
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= 49956
involuntary context switches= 77207
runsolver used 3.49347 s user time and 7.16291 s system time
The end
Begin job on node9 on Sat Jan 20 09:20:11 UTC 2007
IDJOB= 278272
IDBENCH= 8211
IDSOLVER= 68
FILE ID= node9/278272-1169284810
PBS_JOBID= 3609490
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2300-696021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278272-1169284810/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-278272-1169284810 -o ROOT/results/node9/solver-278272-1169284810 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278272-1169284810/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e832c33ab0dafb1a59c63ea847fdb438
RANDOM SEED= 463219709
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.231
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.231
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: 1267720 kB
Buffers: 59800 kB
Cached: 590828 kB
SwapCached: 268 kB
Active: 293292 kB
Inactive: 410020 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1267720 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1820 kB
Writeback: 0 kB
Mapped: 65692 kB
Slab: 69792 kB
Committed_AS: 8406360 kB
PageTables: 2256 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 node9 on Sat Jan 20 10:00:13 UTC 2007