2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?	1476.71	402.55801
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15079 MiB free)
  memory of node 1: 16384 MiB (7257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263534-1502636016/watcher-4263534-1502636016 -o /tmp/evaluation-result-4263534-1502636016/solver-4263534-1502636016 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31951 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263534-1502636016.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2265, runsolver pid=2262

[startup+0.100145 s]*
/proc/loadavg: 4.22 3.39 3.35 6/200 2267
/proc/meminfo: memFree=22868752/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=9936560 memory=16484 CPUtime=0.01 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 3415 0 0 0 1 0 0 0 20 0 6 0 105512948 10175037440 4121 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2484140 4121 1921 1 0 2473637 0
[pid=2265/tid=2267] ppid=2262 vsize=9936560 memory=-7174084197762691781 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) R 2262 2265 12395 0 -1 4202560 2183 0 0 0 0 0 0 0 20 0 6 0 105512958 10175037440 4187 18446744073709551615 4194304 4196468 140723188718624 140675297776208 140675293562013 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=9936560 memory=4349475210443476153 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 105512958 10175037440 4187 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=9936560 memory=139981790025344 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 105512958 10175037440 4187 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 105512958 10175037440 4187 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=9936560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 105512958 10175037440 4187 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 16484 KiB

[startup+0.210218 s]*
/proc/loadavg: 4.22 3.39 3.35 5/212 2279
/proc/meminfo: memFree=22862476/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10484492 memory=22300 CPUtime=0.05 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 5040 0 0 0 5 0 0 0 20 0 14 0 105512948 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2621123 5575 2587 1 0 2610620 0
[pid=2265/tid=2267] ppid=2262 vsize=10484492 memory=-7174084197762691781 CPUtime=0.04 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) D 2262 2265 12395 0 -1 4202560 3143 0 0 0 4 0 0 0 20 0 14 0 105512958 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140675297777568 140675293562109 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10484492 memory=4349475210443476153 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 105512958 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10484492 memory=139981790025344 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 105512958 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 105512958 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 105512958 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10484492 memory=139981790025344 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 105512960 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674790459632 140675293551234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 105512960 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674789405856 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 105512960 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674788352752 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105512963 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 105512963 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674786249456 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105512963 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674785196912 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10484492 memory=139981790025344 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 14 0 105512963 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674784143856 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105512963 10736119808 5575 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22300 KiB

[startup+0.310202 s]*
/proc/loadavg: 4.22 3.39 3.35 7/213 2280
/proc/meminfo: memFree=22852228/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10551156 memory=31340 CPUtime=0.16 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 8082 0 0 0 14 2 0 0 20 0 15 0 105512948 10804383744 7835 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2637789 7835 2797 1 0 2627261 0
[pid=2265/tid=2267] ppid=2262 vsize=10551156 memory=-7174084197762691781 CPUtime=0.11 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) R 2262 2265 12395 0 -1 4202560 5939 0 0 0 10 1 0 0 20 0 15 0 105512958 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140675297750816 140675277620574 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10551156 memory=139985936187511 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512958 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10551156 memory=279963431354464 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512958 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10551156 memory=279963282574200 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105512958 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10551156 memory=139981641347615 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105512958 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105512960 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674790459632 140675293551234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105512960 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674789405856 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105512960 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674788352752 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10551156 memory=139981790025344 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 105512963 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674786249456 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) R 2262 2265 12395 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 105512963 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674785197008 140675273400761 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10551156 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) R 2262 2265 12395 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 105512963 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674784143040 140675293550293 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512973 10804383744 7901 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31340 KiB

[startup+0.70067 s]
/proc/loadavg: 4.22 3.39 3.35 9/213 2280
/proc/meminfo: memFree=22831676/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10551232 memory=75792 CPUtime=1.24 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 12696 0 0 0 120 4 0 0 20 0 15 0 105512948 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2637808 18948 3048 1 0 2627261 0
[pid=2265/tid=2267] ppid=2262 vsize=10551232 memory=51784 CPUtime=0.49 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) R 2262 2265 12395 0 -1 4202560 7343 0 0 0 46 3 0 0 20 0 15 0 105512958 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140675297775088 140674895334184 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512958 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512958 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10551232 memory=23 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105512958 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10551232 memory=85 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105512958 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) S 2262 2265 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674790459632 140675293551234 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10551232 memory=4 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674789405856 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674788352752 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10551232 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) R 2262 2265 12395 0 -1 4202560 1231 0 0 0 24 0 0 0 20 0 15 0 105512963 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674786240288 140675277065977 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10551232 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) R 2262 2265 12395 0 -1 4202560 1140 0 0 0 25 0 0 0 20 0 15 0 105512963 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674785185056 140675277036875 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10551232 memory=4132 CPUtime=0.23 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 1610 0 0 0 23 0 0 0 20 0 15 0 105512963 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674784143856 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10551232 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10551232 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512973 10804461568 18948 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 75792 KiB

[startup+1.50067 s]
/proc/loadavg: 4.22 3.39 3.35 8/213 2280
/proc/meminfo: memFree=22727048/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10551232 memory=198688 CPUtime=2.91 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 13928 0 0 0 282 9 0 0 20 0 15 0 105512948 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2637808 49672 3079 1 0 2627261 0
[pid=2265/tid=2267] ppid=2262 vsize=10551232 memory=198688 CPUtime=1.26 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) R 2262 2265 12395 0 -1 4202560 7453 0 0 0 122 4 0 0 20 0 15 0 105512958 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140675297778856 140674896384544 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10551232 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 105512958 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10551232 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 105512958 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10551232 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 105512958 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10551232 memory=13931 CPUtime=0.01 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 105512958 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10551232 memory=1038317 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) S 2262 2265 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674790459632 140675293551234 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10551232 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674789405856 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10551232 memory=1404238533841297014 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105512960 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674788352752 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10551232 memory=1404238533841297014 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10551232 memory=-7595718148659004832 CPUtime=0.62 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 1856 0 0 0 62 0 0 0 20 0 15 0 105512963 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674786249456 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10551232 memory=7235987647383103296 CPUtime=0.62 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 1336 0 0 0 62 0 0 0 20 0 15 0 105512963 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674785196912 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10551232 memory=7306360798063585624 CPUtime=0.29 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 1728 0 0 0 29 0 0 0 20 0 15 0 105512963 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674784143856 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10551232 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105512963 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105512973 10804461568 49672 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 198688 KiB


################
# More data... #
################

[pid=2265/tid=2269] ppid=2262 vsize=10686560 memory=8233936 CPUtime=303.15 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) R 2262 2265 12395 0 -1 4202560 33222 0 0 0 30140 175 0 0 20 0 17 0 105512958 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140675222907936 140675286636548 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10686560 memory=8233936 CPUtime=302.42 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) R 2262 2265 12395 0 -1 4202560 22646 0 0 0 30076 166 0 0 20 0 17 0 105512958 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140675221855112 140675286168295 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10686560 memory=8234788 CPUtime=303.29 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) R 2262 2265 12395 0 -1 4202560 34158 0 0 0 30158 171 0 0 20 0 17 0 105512958 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140675220802256 140675286168295 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10686560 memory=8234792 CPUtime=21.86 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) S 2262 2265 12395 0 -1 1077944384 61589 0 0 0 2182 4 0 0 20 0 17 0 105512960 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674790458176 140675293550293 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10686560 memory=8234808 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 105512960 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674789405920 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10686560 memory=8233936 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105512960 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674788352768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10686560 memory=8233936 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105512963 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10686560 memory=8233936 CPUtime=1.5 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 8980 0 0 0 149 1 0 0 20 0 17 0 105512963 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674786249504 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10686560 memory=8234808 CPUtime=1.2 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 6065 0 0 0 120 0 0 0 20 0 17 0 105512963 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674785196960 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10686560 memory=4132 CPUtime=0.47 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 3858 0 0 0 46 1 0 0 20 0 17 0 105512963 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674784143616 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10686560 memory=8233940 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105512963 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10686560 memory=3004 CPUtime=0.15 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 840 0 0 0 10 5 0 0 20 0 17 0 105512973 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2385] ppid=2262 vsize=10686560 memory=8234808 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2385/stat : 2385 (java) S 2262 2265 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 105546512 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674778887136 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2386] ppid=2262 vsize=10686560 memory=8234808 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2386/stat : 2386 (java) S 2262 2265 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105546512 10943037440 2058702 18446744073709551615 4194304 4196468 140723188718624 140674777833536 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 1251.45 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8234808 KiB

[startup+402.301 s]
/proc/loadavg: 4.83 5.46 4.45 3/215 2388
/proc/meminfo: memFree=22552508/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10686560 memory=8235232 CPUtime=1476.45 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 232332 0 0 0 146925 720 0 0 20 0 16 0 105512948 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2671640 2058808 3178 1 0 2661055 0
[pid=2265/tid=2267] ppid=2262 vsize=10686560 memory=8235200 CPUtime=14.76 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) S 2262 2265 12395 0 -1 1077944384 14846 0 0 0 1467 9 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675297780768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10686560 memory=8234828 CPUtime=357.68 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 29492 0 0 0 35602 166 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10686560 memory=8234828 CPUtime=358.87 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 34980 0 0 0 35706 181 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10686560 memory=8234828 CPUtime=357.93 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 25106 0 0 0 35622 171 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10686560 memory=8234832 CPUtime=358.29 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 35556 0 0 0 35649 180 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10686560 memory=0 CPUtime=25.44 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) R 2262 2265 12395 0 -1 4202560 70936 0 0 0 2539 5 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674790458064 140675277997720 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10686560 memory=8234844 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674789405920 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10686560 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674788352768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10686560 memory=8234868 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10686560 memory=8235200 CPUtime=1.5 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 8988 0 0 0 149 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674786249216 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10686560 memory=8235200 CPUtime=1.2 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 6069 0 0 0 120 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674785196960 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10686560 memory=8235232 CPUtime=0.47 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 3925 0 0 0 46 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674784138176 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10686560 memory=8234844 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10686560 memory=8235232 CPUtime=0.2 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 872 0 0 0 13 7 0 0 20 0 16 0 105512973 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2386] ppid=2262 vsize=10686560 memory=8235200 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2386/stat : 2386 (java) S 2262 2265 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 105546512 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674777828624 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 1476.45 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8235232 KiB

[startup+402.558 s]
# the end of solver process 2265 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1469.46 s, system=7.25292 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+402.401 s]
/proc/loadavg: 4.83 5.46 4.45 3/215 2388
/proc/meminfo: memFree=22552508/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10686560 memory=8235232 CPUtime=1476.55 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 232332 0 0 0 146935 720 0 0 20 0 16 0 105512948 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2671640 2058808 3178 1 0 2661055 0
[pid=2265/tid=2267] ppid=2262 vsize=10686560 memory=7680170660397595203 CPUtime=14.76 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) S 2262 2265 12395 0 -1 1077944384 14846 0 0 0 1467 9 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675297780768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10686560 memory=1608 CPUtime=357.68 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 29492 0 0 0 35602 166 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10686560 memory=1296 CPUtime=358.87 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 34980 0 0 0 35706 181 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10686560 memory=2460 CPUtime=357.93 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 25106 0 0 0 35622 171 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10686560 memory=1728 CPUtime=358.29 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 35556 0 0 0 35649 180 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10686560 memory=8235200 CPUtime=25.54 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) R 2262 2265 12395 0 -1 4202560 70936 0 0 0 2549 5 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674790458064 140675277997718 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10686560 memory=8235200 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674789405920 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10686560 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674788352768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10686560 memory=9024 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10686560 memory=1436 CPUtime=1.5 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 8988 0 0 0 149 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674786249216 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10686560 memory=1196 CPUtime=1.2 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 6069 0 0 0 120 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674785196960 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10686560 memory=15880 CPUtime=0.47 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 3925 0 0 0 46 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674784138176 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10686560 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10686560 memory=51804 CPUtime=0.2 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 872 0 0 0 13 7 0 0 20 0 16 0 105512973 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2386] ppid=2262 vsize=10686560 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2386/stat : 2386 (java) S 2262 2265 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 105546512 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674777828624 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 1476.55 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8235232 KiB

[startup+402.501 s]
/proc/loadavg: 4.83 5.46 4.45 3/215 2388
/proc/meminfo: memFree=22552508/32770624 swapFree=67108860/67108860
[pid=2265] ppid=2262 vsize=10686560 memory=8235232 CPUtime=1476.65 cores=0,2,4,6
/proc/2265/stat : 2265 (java) S 2262 2265 12395 0 -1 1077944320 232332 0 0 0 146945 720 0 0 20 0 16 0 105512948 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140723188701168 140675293540087 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
/proc/2265/statm: 2671640 2058808 3178 1 0 2661055 0
[pid=2265/tid=2267] ppid=2262 vsize=10686560 memory=8235232 CPUtime=14.76 cores=0,2,4,6
/proc/2265/task/2267/stat : 2267 (java) S 2262 2265 12395 0 -1 1077944384 14846 0 0 0 1467 9 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675297780768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2268] ppid=2262 vsize=10686560 memory=8235232 CPUtime=357.68 cores=0,2,4,6
/proc/2265/task/2268/stat : 2268 (java) S 2262 2265 12395 0 -1 1077944384 29492 0 0 0 35602 166 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675223960592 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2269] ppid=2262 vsize=10686560 memory=8235200 CPUtime=358.87 cores=0,2,4,6
/proc/2265/task/2269/stat : 2269 (java) S 2262 2265 12395 0 -1 1077944384 34980 0 0 0 35706 181 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675222908048 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2270] ppid=2262 vsize=10686560 memory=8235200 CPUtime=357.93 cores=0,2,4,6
/proc/2265/task/2270/stat : 2270 (java) S 2262 2265 12395 0 -1 1077944384 25106 0 0 0 35622 171 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675221854992 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2271] ppid=2262 vsize=10686560 memory=8234868 CPUtime=358.29 cores=0,2,4,6
/proc/2265/task/2271/stat : 2271 (java) S 2262 2265 12395 0 -1 1077944384 35556 0 0 0 35649 180 0 0 20 0 16 0 105512958 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140675220802448 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2272] ppid=2262 vsize=10686560 memory=55 CPUtime=25.64 cores=0,2,4,6
/proc/2265/task/2272/stat : 2272 (java) R 2262 2265 12395 0 -1 4202560 70936 0 0 0 2559 5 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674790458064 140675271910267 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2273] ppid=2262 vsize=10686560 memory=8234844 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2273/stat : 2273 (java) S 2262 2265 12395 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674789405920 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2274] ppid=2262 vsize=10686560 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2274/stat : 2274 (java) S 2262 2265 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 105512960 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674788352768 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2275] ppid=2262 vsize=10686560 memory=8234832 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2275/stat : 2275 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674787301328 140675293558683 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2276] ppid=2262 vsize=10686560 memory=8234828 CPUtime=1.5 cores=0,2,4,6
/proc/2265/task/2276/stat : 2276 (java) S 2262 2265 12395 0 -1 1077944384 8988 0 0 0 149 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674786249216 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2277] ppid=2262 vsize=10686560 memory=8234828 CPUtime=1.2 cores=0,2,4,6
/proc/2265/task/2277/stat : 2277 (java) S 2262 2265 12395 0 -1 1077944384 6069 0 0 0 120 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674785196960 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2278] ppid=2262 vsize=10686560 memory=8234828 CPUtime=0.47 cores=0,2,4,6
/proc/2265/task/2278/stat : 2278 (java) S 2262 2265 12395 0 -1 1077944384 3925 0 0 0 46 1 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674784138176 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2279] ppid=2262 vsize=10686560 memory=8235200 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2279/stat : 2279 (java) S 2262 2265 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105512963 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674783091552 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2280] ppid=2262 vsize=10686560 memory=8235232 CPUtime=0.2 cores=0,2,4,6
/proc/2265/task/2280/stat : 2280 (java) S 2262 2265 12395 0 -1 1077944384 872 0 0 0 13 7 0 0 20 0 16 0 105512973 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674782038576 140675293551234 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
[pid=2265/tid=2386] ppid=2262 vsize=10686560 memory=8234844 CPUtime=0 cores=0,2,4,6
/proc/2265/task/2386/stat : 2386 (java) S 2262 2265 12395 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 105546512 10943037440 2058808 18446744073709551615 4194304 4196468 140723188718624 140674777828624 140675293550293 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10092544 140723188720016 140723188720169 140723188720169 140723188723663 0
Current children cumulated CPU time: 1476.65 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8235232 KiB

Child status: 0
Real time (s): 402.558
CPU time (s): 1476.71
CPU user time (s): 1469.46
CPU system time (s): 7.25292
CPU usage (%): 366.833
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8235232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1469.46
system time used= 7.25292
maximum resident set size= 8235364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20057
involuntary context switches= 23526


# summary of solver processes directly reported to runsolver:
#   pid: 2265
#   total CPU time (s): 1476.71
#   total CPU user time (s): 1469.46
#   total CPU system time (s): 7.25292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24556 second user time and 4.22486 second system time

The end
Name	Queens/ Queens-m1-s1/Queens-0150-m1.xml
MD5SUM	87bfaaaf5fd3b270ee1dec703898481f
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	8.27384
Satisfiable
(Un)Satisfiability was proved
Number of variables	150
Number of constraints	11176
Number of domains	1
Minimum domain size	150
Maximum domain size	150
Distribution of domain sizes	[{"size":150,"count":150}]
Minimum variable degree	150
Maximum variable degree	150
Distribution of variable degrees	[{"degree":150,"count":150}]
Minimum constraint arity	2
Maximum constraint arity	150
Distribution of constraint arities	[{"arity":2,"count":11175},{"arity":150,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	11175
Distribution of constraint types	[{"type":"intension","count":11175},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4263534

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
