2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	24	252.078	243.124
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 (14892 MiB free)
  memory of node 1: 16384 MiB (11669 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301537-1532882599/watcher-4301537-1532882599 -o /tmp/evaluation-result-4301537-1532882599/solver-4301537-1532882599 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7617 --watchdog 312 HOME/xcsp3-exec -seed 1487970242 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301537-1532882599.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9816, runsolver pid=9813

[startup+0.100074 s]*
/proc/loadavg: 2.00 2.05 2.01 4/218 9832
/proc/meminfo: memFree=27182568/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14082940 memory=28600 CPUtime=0.12 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 15 0 105823055 14420930560 7150 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3520735 7150 3036 1 0 3483012 0
[pid=9818/tid=9819] ppid=9816 vsize=14082940 memory=8044173988392571739 CPUtime=0.09 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 3508 0 0 0 9 0 0 0 20 0 15 0 105823055 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646946625328 140646934629182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14082940 memory=140551964898944 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105823056 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14082940 memory=140551964898944 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105823058 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105823058 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646415303456 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105823058 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646414251120 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14082940 memory=140551964898944 CPUtime=0.01 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) R 9816 9816 7585 0 -1 4202560 294 0 0 0 1 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646410042224 140646921267899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14082940 memory=140551964898944 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823061 14420930560 7215 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30056 KiB

[startup+0.210738 s]*
/proc/loadavg: 2.00 2.05 2.01 7/218 9832
/proc/meminfo: memFree=27170684/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14082940 memory=40880 CPUtime=0.34 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 8310 0 0 0 32 2 0 0 20 0 15 0 105823055 14420930560 10220 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3520735 10220 3209 1 0 3483012 0
[pid=9818/tid=9819] ppid=9816 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 5442 0 0 0 19 1 0 0 20 0 15 0 105823055 14420930560 10285 33554432000 4194304 4196468 140725201077760 140646946614200 140646944667335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14085056 memory=8950 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14085056 memory=140551964914403 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105823056 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14085056 memory=140551964898944 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105823058 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105823058 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646415303456 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105823058 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646414251120 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14085056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 746 0 0 0 2 0 0 0 20 0 15 0 105823061 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14085056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 15 0 105823061 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14085056 memory=140551964898944 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 790 0 0 0 8 0 0 0 20 0 15 0 105823061 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14423097344 10285 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823061 14425288704 10288 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42336 KiB

[startup+0.310726 s]*
/proc/loadavg: 2.00 2.05 2.01 5/218 9832
/proc/meminfo: memFree=27163984/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14087196 memory=47952 CPUtime=0.52 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 9209 0 0 0 50 2 0 0 20 0 15 0 105823055 14425288704 11988 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3521799 11988 3256 1 0 3483012 0
[pid=9818/tid=9819] ppid=9816 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 6157 0 0 0 28 1 0 0 20 0 15 0 105823055 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646946629344 140646926472542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105823056 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105823058 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105823058 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646415303456 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105823058 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646414251120 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 827 0 0 0 5 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 57 0 0 0 3 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823061 14425288704 12061 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49408 KiB

[startup+0.701386 s]
/proc/loadavg: 2.00 2.05 2.01 6/218 9832
/proc/meminfo: memFree=27139544/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14089320 memory=100168 CPUtime=1.77 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 13119 0 0 0 173 4 0 0 20 0 15 0 105823055 14427463680 25042 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3522330 25042 3354 1 0 3483524 0
[pid=9818/tid=9819] ppid=9816 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 6941 0 0 0 65 2 0 0 20 0 15 0 105823055 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646946628544 140646572762832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14089320 memory=30144 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823056 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14089320 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105823056 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14089320 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105823058 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14089320 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105823058 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646415303456 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14089320 memory=860 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105823058 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646414251120 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14089320 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14089320 memory=756 CPUtime=0.35 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) R 9816 9816 7585 0 -1 4202560 1714 0 0 0 35 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646412147312 140646921638851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14089320 memory=1616 CPUtime=0.34 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) R 9816 9816 7585 0 -1 4202560 949 0 0 0 34 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646411073152 140646923936231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14089320 memory=1836 CPUtime=0.37 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) R 9816 9816 7585 0 -1 4202560 2206 0 0 0 37 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646410040640 140646924304583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14089320 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14089320 memory=6396 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105823061 14427463680 25042 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 101624 KiB

[startup+1.50085 s]
/proc/loadavg: 2.00 2.05 2.01 5/218 9832
/proc/meminfo: memFree=27044052/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0

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

/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646414251136 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14091368 memory=429208 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14091368 memory=1456 CPUtime=3.85 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 21196 0 0 0 383 2 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14091368 memory=1456 CPUtime=3.52 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 15225 0 0 0 350 2 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14091368 memory=3872 CPUtime=0.82 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 8192 0 0 0 81 1 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 625 0 0 0 3 5 0 0 20 0 15 0 105823061 14429560832 107302 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 170.88 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 430664 KiB

[startup+222.301 s]
/proc/loadavg: 2.03 2.07 2.04 3/217 9913
/proc/meminfo: memFree=26634012/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14091368 memory=429480 CPUtime=231.23 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 69504 0 0 0 23095 28 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3522842 107370 3428 1 0 3484036 0
[pid=9818/tid=9819] ppid=9816 vsize=14091368 memory=429400 CPUtime=222.17 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 13178 0 0 0 22210 7 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646946629096 140646581645704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14091368 memory=429400 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 2764 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14091368 memory=429400 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1190 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14091368 memory=429452 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 188 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 333 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 906 0 0 0 1 1 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14091368 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646415303520 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14091368 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646414251136 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14091368 memory=429480 CPUtime=3.97 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 22713 0 0 0 395 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14091368 memory=429480 CPUtime=3.71 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 17293 0 0 0 369 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14091368 memory=1616 CPUtime=0.84 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 8911 0 0 0 83 1 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14091368 memory=429452 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.11 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 637 0 0 0 4 7 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 231.23 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 430936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.11 s]
/proc/loadavg: 2.02 2.07 2.04 3/217 9913
/proc/meminfo: memFree=26062540/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14091368 memory=429480 CPUtime=252.05 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 69556 0 0 0 25177 28 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3522842 107370 3428 1 0 3484036 0
[pid=9818/tid=9819] ppid=9816 vsize=14091368 memory=429480 CPUtime=242.98 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 13179 0 0 0 24291 7 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646946628936 140646581645600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 2764 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1190 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 188 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 333 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 906 0 0 0 1 1 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14091368 memory=429480 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646415303520 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646414251136 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14091368 memory=429480 CPUtime=3.97 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 22713 0 0 0 395 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14091368 memory=3872 CPUtime=3.71 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 17342 0 0 0 369 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.84 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 8913 0 0 0 83 1 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14091368 memory=429480 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14091368 memory=1408 CPUtime=0.11 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 637 0 0 0 4 7 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 430936 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+243.12 s]
# the end of solver process 9816 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001133 s, system=0.001133 s

[startup+243.124 s]
# the end of solver process 9818 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.781 s, system=0.296279 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+243.11 s]
/proc/loadavg: 2.02 2.07 2.04 3/217 9913
/proc/meminfo: memFree=26062540/32770624 swapFree=67108496/67108860
[pid=9816] ppid=9813 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9816/stat : 9816 (xcsp3-exec) S 9813 9816 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 105823055 115843072 364 33554432000 4194304 5098028 140737329407776 140737329405880 139864119554684 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 37695488 140737329411136 140737329411337 140737329411337 140737329414090 0
/proc/9816/statm: 28282 364 306 221 0 87 0
[pid=9818] ppid=9816 vsize=14091368 memory=429480 CPUtime=252.05 cores=1,3,5,7
/proc/9818/stat : 9818 (java) S 9816 9816 7585 0 -1 1077944320 69556 0 0 0 25177 28 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140725201060304 140646942392055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
/proc/9818/statm: 3522842 107370 3428 1 0 3484036 0
[pid=9818/tid=9819] ppid=9816 vsize=14091368 memory=429480 CPUtime=242.98 cores=1,3,5,7
/proc/9818/task/9819/stat : 9819 (java) R 9816 9816 7585 0 -1 4202560 13179 0 0 0 24291 7 0 0 20 0 15 0 105823055 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646946628936 140646581645600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9820] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9820/stat : 9820 (java) S 9816 9816 7585 0 -1 1077944384 2764 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646895012752 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9821] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9821/stat : 9821 (java) S 9816 9816 7585 0 -1 1077944384 1190 0 0 0 7 1 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646893959952 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9822] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9822/stat : 9822 (java) S 9816 9816 7585 0 -1 1077944384 188 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646892907664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9823] ppid=9816 vsize=14091368 memory=429480 CPUtime=0.08 cores=1,3,5,7
/proc/9818/task/9823/stat : 9823 (java) S 9816 9816 7585 0 -1 1077944384 333 0 0 0 6 2 0 0 20 0 15 0 105823056 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646535064592 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9824] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/9818/task/9824/stat : 9824 (java) S 9816 9816 7585 0 -1 1077944384 906 0 0 0 1 1 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646416357488 140646942403202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9825] ppid=9816 vsize=14091368 memory=429480 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9825/stat : 9825 (java) S 9816 9816 7585 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646415303520 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9826] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9826/stat : 9826 (java) S 9816 9816 7585 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 105823058 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646414251136 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9827] ppid=9816 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9827/stat : 9827 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646413199440 140646942410651 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9828] ppid=9816 vsize=14091368 memory=429480 CPUtime=3.97 cores=1,3,5,7
/proc/9818/task/9828/stat : 9828 (java) S 9816 9816 7585 0 -1 1077944384 22713 0 0 0 395 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646412147312 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9829] ppid=9816 vsize=14091368 memory=3872 CPUtime=3.71 cores=1,3,5,7
/proc/9818/task/9829/stat : 9829 (java) S 9816 9816 7585 0 -1 1077944384 17342 0 0 0 369 2 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646411094512 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9830] ppid=9816 vsize=14091368 memory=1456 CPUtime=0.84 cores=1,3,5,7
/proc/9818/task/9830/stat : 9830 (java) S 9816 9816 7585 0 -1 1077944384 8913 0 0 0 83 1 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646410042224 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9831] ppid=9816 vsize=14091368 memory=429480 CPUtime=0 cores=1,3,5,7
/proc/9818/task/9831/stat : 9831 (java) S 9816 9816 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646408989664 140646942402261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
[pid=9818/tid=9832] ppid=9816 vsize=14091368 memory=1408 CPUtime=0.11 cores=1,3,5,7
/proc/9818/task/9832/stat : 9832 (java) S 9816 9816 7585 0 -1 1077944384 637 0 0 0 4 7 0 0 20 0 15 0 105823061 14429560832 107370 33554432000 4194304 4196468 140725201077760 140646407936432 140646942403202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 23973888 140725201085580 140725201085750 140725201085750 140725201088463 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 430936 KiB

Child status: 143
Real time (s): 243.124
CPU time (s): 252.078
CPU user time (s): 251.781
CPU system time (s): 0.296279
CPU usage (%): 103.683
Max. virtual memory (cumulated for all children) (KiB): 14206240
Max. memory (cumulated for all children) (KiB): 439552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.781
system time used= 0.296279
maximum resident set size= 450668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8411
involuntary context switches= 140


# summary of solver processes directly reported to runsolver:
#   pid: 9816,9818
#   total CPU time (s): 252.078
#   total CPU user time (s): 251.781
#   total CPU system time (s): 0.296279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61172 second user time and 2.43643 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
MD5SUM	edb7fc8f5d274005fc89ddd50225e87c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	20
Best CPU time to get the best result obtained on this benchmark	251.994
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3757
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree	2
Maximum variable degree	23
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3757}]
Number of extensional constraints	0
Number of intensional constraints	3757
Distribution of constraint types	[{"type":"intension","count":3757}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4301537

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
