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 (14032 MiB free)
memory of node 1: 16384 MiB (15484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283432-1503211929/watcher-4283432-1503211929 -o /tmp/evaluation-result-4283432-1503211929/solver-4283432-1503211929 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503171558-2271 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2132862406 HOME/instance-4283432-1503211929.xml
running on 4 cores: 1,3,5,7
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
solver pid=9509, runsolver pid=9506
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.73 1.57 1.52 3/202 9516
/proc/meminfo: memFree=30216544/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13574484 memory=17468 CPUtime=0.02 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 3698 0 0 0 2 0 0 0 20 0 9 0 19599991 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3393621 4367 2065 1 0 3383118 0
[pid=9511/tid=9512] ppid=9509 vsize=13574484 memory=8323069512539357860 CPUtime=0.01 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 2413 0 0 0 1 0 0 0 20 0 9 0 19599992 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167628218888 140167608063326 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13574484 memory=3461490264941254281 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19599992 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13574484 memory=139660311570048 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19599992 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19599992 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19599992 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19599994 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 19599994 13900271616 4367 18446744073709551615 4194304 4196468 140720863381216 140167100216736 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 19599994 13900271616 4432 18446744073709551615 4194304 4196468 140720863381216 140167099164208 140167623993045 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18848 KiB
[startup+0.209907 s]*
/proc/loadavg: 1.73 1.57 1.52 4/211 9525
/proc/meminfo: memFree=30208272/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13974352 memory=28196 CPUtime=0.1 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 4939 0 0 0 9 1 0 0 20 0 15 0 19599991 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3493588 7049 2749 1 0 3482964 0
[pid=9511/tid=9512] ppid=9509 vsize=13974352 memory=8323069512539357860 CPUtime=0.08 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 3096 0 0 0 7 1 0 0 20 0 15 0 19599992 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167628210720 140167616219966 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13974352 memory=3461490264941254281 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13974352 memory=139660311570048 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167100216736 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167099164144 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13974352 memory=139660311570048 CPUtime=0.01 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 19599997 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13974352 memory=139660311570048 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19600002 14309736448 7049 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29576 KiB
[startup+0.310247 s]*
/proc/loadavg: 1.73 1.57 1.52 4/211 9525
/proc/meminfo: memFree=30194652/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13974352 memory=40092 CPUtime=0.29 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 8631 0 0 0 27 2 0 0 20 0 15 0 19599991 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3493844 10023 3032 1 0 3483220 0
[pid=9511/tid=9512] ppid=9509 vsize=13974352 memory=-7677926825137650786 CPUtime=0.18 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 5835 0 0 0 16 2 0 0 20 0 15 0 19599992 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167628200928 140167624004765 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13974352 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13974352 memory=4949696295874438277 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13974352 memory=7100839852556125036 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19599992 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13974352 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167100216736 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19599994 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167099164144 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 15 0 19599997 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) R 9509 9509 18108 0 -1 4202560 266 0 0 0 2 0 0 0 20 0 15 0 19599997 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167603230149 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) R 9509 9509 18108 0 -1 4202560 697 0 0 0 6 0 0 0 20 0 15 0 19599997 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167602502974 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19600002 14309736448 10023 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41472 KiB
[startup+0.701673 s]
/proc/loadavg: 1.73 1.57 1.52 4/211 9525
/proc/meminfo: memFree=30185660/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13980732 memory=75164 CPUtime=1.21 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 15863 0 0 0 116 5 0 0 20 0 15 0 19599991 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3495183 18791 3170 1 0 3483476 0
[pid=9511/tid=9512] ppid=9509 vsize=13980732 memory=7739812346652618081 CPUtime=0.55 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 7946 0 0 0 52 3 0 0 20 0 15 0 19599992 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167628220392 140167216884316 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13980732 memory=7523374594901823833 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13980732 memory=-8253362762721547640 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13980732 memory=8031735012220349003 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167100216736 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13980732 memory=279320379526384 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167099164144 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13980732 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) R 9509 9509 18108 0 -1 4202560 2707 0 0 0 20 1 0 0 20 0 15 0 19599997 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167097040328 140167605162446 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13980732 memory=4580 CPUtime=0.2 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) R 9509 9509 18108 0 -1 4202560 2423 0 0 0 20 0 0 0 20 0 15 0 19599997 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167095988472 140167603837376 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 1479 0 0 0 22 0 0 0 20 0 15 0 19599997 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19600002 14316269568 18791 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 76544 KiB
[startup+1.50078 s]
/proc/loadavg: 1.73 1.57 1.52 6/211 9525
/proc/meminfo: memFree=30125384/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13980732 memory=128856 CPUtime=3.05 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 29448 0 0 0 298 7 0 0 20 0 15 0 19599991 14316269568 32214 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3495183 32214 3182 1 0 3483476 0
[pid=9511/tid=9512] ppid=9509 vsize=13980732 memory=13952 CPUtime=1.35 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 8213 0 0 0 132 3 0 0 20 0 15 0 19599992 14316269568 32214 18446744073709551615 4194304 4196468 140720863381216 140167628217568 140167217412800 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13980732 memory=279320379784528 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 32214 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 32214 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19599992 14316269568 32214 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13980732 memory=107780 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=9511/tid=9517] ppid=9509 vsize=13980732 memory=529520 CPUtime=1.46 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 52328 0 0 0 121 25 0 0 20 0 15 0 19599994 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167100216800 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167099164160 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13980732 memory=14044 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13980732 memory=476488 CPUtime=4.29 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 26198 0 0 0 426 3 0 0 20 0 15 0 19599997 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13980732 memory=481596 CPUtime=4.95 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) S 9509 9509 18108 0 -1 1077944384 31823 0 0 0 491 4 0 0 20 0 15 0 19599997 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13980732 memory=4128 CPUtime=0.95 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 14151 0 0 0 92 3 0 0 20 0 15 0 19599997 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13980732 memory=14044 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13980732 memory=14044 CPUtime=1.02 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 1940 0 0 0 49 53 0 0 20 0 15 0 19600002 14316269568 132380 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 2391.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 530900 KiB
[startup+2382.3 s]
/proc/loadavg: 1.58 1.60 1.69 3/211 9917
/proc/meminfo: memFree=30691672/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13980732 memory=495360 CPUtime=2452.47 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 297327 0 0 0 244754 493 0 0 20 0 15 0 19599991 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3495183 123840 3257 1 0 3483476 0
[pid=9511/tid=9512] ppid=9509 vsize=13980732 memory=495360 CPUtime=2359.96 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 72080 0 0 0 235982 14 0 0 20 0 15 0 19599992 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167628222416 140167216486911 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13980732 memory=1380 CPUtime=19.94 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 24465 0 0 0 1896 98 0 0 20 0 15 0 19599992 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13980732 memory=1380 CPUtime=19.93 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 24660 0 0 0 1889 104 0 0 20 0 15 0 19599992 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13980732 memory=1380 CPUtime=19.89 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 23479 0 0 0 1889 100 0 0 20 0 15 0 19599992 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13980732 memory=483072 CPUtime=19.9 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 24282 0 0 0 1890 100 0 0 20 0 15 0 19599992 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13980732 memory=1380 CPUtime=1.5 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 52864 0 0 0 124 26 0 0 20 0 15 0 19599994 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13980732 memory=483040 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167100216800 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167099164160 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13980732 memory=497940 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13980732 memory=1380 CPUtime=4.29 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 26198 0 0 0 426 3 0 0 20 0 15 0 19599997 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13980732 memory=4128 CPUtime=4.95 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) S 9509 9509 18108 0 -1 1077944384 31823 0 0 0 491 4 0 0 20 0 15 0 19599997 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 14151 0 0 0 92 3 0 0 20 0 15 0 19599997 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13980732 memory=4128 CPUtime=1.06 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 1955 0 0 0 51 55 0 0 20 0 15 0 19600002 14316269568 123840 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 2452.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 496740 KiB
[startup+2442.3 s]
/proc/loadavg: 1.74 1.64 1.70 3/211 9919
/proc/meminfo: memFree=30660936/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13980732 memory=510216 CPUtime=2513.83 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 305191 0 0 0 250879 504 0 0 20 0 15 0 19599991 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3495183 127554 3257 1 0 3483476 0
[pid=9511/tid=9512] ppid=9509 vsize=13980732 memory=1380 CPUtime=2419.45 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 75931 0 0 0 241931 14 0 0 20 0 15 0 19599992 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167628222528 140167220092035 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13980732 memory=1380 CPUtime=20.4 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 25187 0 0 0 1939 101 0 0 20 0 15 0 19599992 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13980732 memory=510216 CPUtime=20.39 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 25091 0 0 0 1932 107 0 0 20 0 15 0 19599992 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13980732 memory=510216 CPUtime=20.35 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 24384 0 0 0 1933 102 0 0 20 0 15 0 19599992 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13980732 memory=1380 CPUtime=20.35 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 24922 0 0 0 1932 103 0 0 20 0 15 0 19599992 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13980732 memory=10936 CPUtime=1.52 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 54069 0 0 0 126 26 0 0 20 0 15 0 19599994 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167100216800 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167099164160 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13980732 memory=516328 CPUtime=4.29 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 26200 0 0 0 426 3 0 0 20 0 15 0 19599997 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13980732 memory=1380 CPUtime=4.95 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) S 9509 9509 18108 0 -1 1077944384 31908 0 0 0 491 4 0 0 20 0 15 0 19599997 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13980732 memory=1380 CPUtime=0.95 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 14154 0 0 0 92 3 0 0 20 0 15 0 19599997 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13980732 memory=510216 CPUtime=1.08 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 1975 0 0 0 52 56 0 0 20 0 15 0 19600002 14316269568 127554 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 2513.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 511596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2448.4 s]
/proc/loadavg: 1.77 1.65 1.70 3/211 9919
/proc/meminfo: memFree=30630272/32770624 swapFree=67108860/67108860
[pid=9509] ppid=9506 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/9509/stat : 9509 (xcsp3-exec) S 9506 9509 18108 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 19599984 9740288 345 18446744073709551615 4194304 5098028 140724492468224 140724492466328 140349231723132 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 27459584 140724492476793 140724492476998 140724492476998 140724492480491 0
/proc/9509/statm: 2378 345 289 221 0 87 0
[pid=9511] ppid=9509 vsize=13980732 memory=499956 CPUtime=2520.03 cores=1,3,5,7
/proc/9511/stat : 9511 (java) S 9509 9509 18108 0 -1 1077944320 305204 0 0 0 251498 505 0 0 20 0 15 0 19599991 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140720863363760 140167623982839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
/proc/9511/statm: 3495183 124989 3257 1 0 3483476 0
[pid=9511/tid=9512] ppid=9509 vsize=13980732 memory=504060 CPUtime=2425.52 cores=1,3,5,7
/proc/9511/task/9512/stat : 9512 (java) R 9509 9509 18108 0 -1 4202560 75934 0 0 0 242538 14 0 0 20 0 15 0 19599992 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167628222256 140167218898053 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9513] ppid=9509 vsize=13980732 memory=1156 CPUtime=20.43 cores=1,3,5,7
/proc/9511/task/9513/stat : 9513 (java) S 9509 9509 18108 0 -1 1077944384 25188 0 0 0 1942 101 0 0 20 0 15 0 19599992 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167543396624 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9514] ppid=9509 vsize=13980732 memory=1380 CPUtime=20.42 cores=1,3,5,7
/proc/9511/task/9514/stat : 9514 (java) S 9509 9509 18108 0 -1 1077944384 25091 0 0 0 1935 107 0 0 20 0 15 0 19599992 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167542344080 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9515] ppid=9509 vsize=13980732 memory=508164 CPUtime=20.38 cores=1,3,5,7
/proc/9511/task/9515/stat : 9515 (java) S 9509 9509 18108 0 -1 1077944384 24387 0 0 0 1936 102 0 0 20 0 15 0 19599992 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167541291536 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9516] ppid=9509 vsize=13980732 memory=25 CPUtime=20.38 cores=1,3,5,7
/proc/9511/task/9516/stat : 9516 (java) S 9509 9509 18108 0 -1 1077944384 24924 0 0 0 1935 103 0 0 20 0 15 0 19599992 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167540238992 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9517] ppid=9509 vsize=13980732 memory=3 CPUtime=1.53 cores=1,3,5,7
/proc/9511/task/9517/stat : 9517 (java) S 9509 9509 18108 0 -1 1077944384 54071 0 0 0 127 26 0 0 20 0 15 0 19599994 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167101270512 140167623993986 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9518] ppid=9509 vsize=13980732 memory=104 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9518/stat : 9518 (java) S 9509 9509 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167100216800 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9519] ppid=9509 vsize=13980732 memory=1652 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9519/stat : 9519 (java) S 9509 9509 18108 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 19599994 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167099164160 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9520] ppid=9509 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9520/stat : 9520 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167098112720 140167624001435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9521] ppid=9509 vsize=13980732 memory=0 CPUtime=4.29 cores=1,3,5,7
/proc/9511/task/9521/stat : 9521 (java) S 9509 9509 18108 0 -1 1077944384 26200 0 0 0 426 3 0 0 20 0 15 0 19599997 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167097059312 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9522] ppid=9509 vsize=13980732 memory=1 CPUtime=4.95 cores=1,3,5,7
/proc/9511/task/9522/stat : 9522 (java) S 9509 9509 18108 0 -1 1077944384 31908 0 0 0 491 4 0 0 20 0 15 0 19599997 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167096006768 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9523] ppid=9509 vsize=13980732 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/9511/task/9523/stat : 9523 (java) S 9509 9509 18108 0 -1 1077944384 14154 0 0 0 92 3 0 0 20 0 15 0 19599997 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167094954224 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9524] ppid=9509 vsize=13980732 memory=522 CPUtime=0 cores=1,3,5,7
/proc/9511/task/9524/stat : 9524 (java) S 9509 9509 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19599997 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167093901920 140167623993045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
[pid=9511/tid=9525] ppid=9509 vsize=13980732 memory=109 CPUtime=1.08 cores=1,3,5,7
/proc/9511/task/9525/stat : 9525 (java) S 9509 9509 18108 0 -1 1077944384 1977 0 0 0 52 56 0 0 20 0 15 0 19600002 14316269568 124989 18446744073709551615 4194304 4196468 140720863381216 140167092849456 140167623993986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27762688 140720863383986 140720863384162 140720863384162 140720863387599 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 501336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2448.41 s]
# the end of solver process 9509 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515 s, system=5.05728 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2448.41
CPU time (s): 2520.05
CPU user time (s): 2515
CPU system time (s): 5.05728
CPU usage (%): 102.926
Max. virtual memory (cumulated for all children) (KiB): 13994952
Max. memory (cumulated for all children) (KiB): 620532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515
system time used= 5.05728
maximum resident set size= 624812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79436
involuntary context switches= 3021
# summary of solver processes directly reported to runsolver:
# pid: 9509
# total CPU time (s): 2520.05
# total CPU user time (s): 2515
# total CPU system time (s): 5.05728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5812 second user time and 25.1655 second system time
The end