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 (8307 MiB free)
memory of node 1: 16384 MiB (12659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301990-1532887424/watcher-4301990-1532887424 -o /tmp/evaluation-result-4301990-1532887424/solver-4301990-1532887424 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 1351445455 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301990-1532887424.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=14579, runsolver pid=14576
[startup+0.100901 s]*
/proc/loadavg: 2.02 1.88 1.90 3/218 14595
/proc/meminfo: memFree=21453500/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14082940 memory=28608 CPUtime=0.12 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 5516 0 0 0 12 0 0 0 20 0 15 0 106305577 14420930560 7152 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3520735 7152 3019 1 0 3483012 0
[pid=14581/tid=14582] ppid=14579 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 3506 0 0 0 9 0 0 0 20 0 15 0 106305577 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706626543448 140706232478848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14082940 memory=140511301068416 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14082940 memory=140511301068416 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305579 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) S 14579 14579 6396 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706159507696 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) S 14579 14579 6396 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706158455152 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14082940 memory=140511301068416 CPUtime=0.01 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) R 14579 14579 6396 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706157402096 140706601036433 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14082940 memory=140511301068416 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) R 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305582 14420930560 7218 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30060 KiB
[startup+0.214686 s]*
/proc/loadavg: 2.02 1.88 1.90 3/218 14595
/proc/meminfo: memFree=21441892/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14087196 memory=41396 CPUtime=0.35 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 8383 0 0 0 33 2 0 0 20 0 15 0 106305577 14425288704 10349 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3521799 10349 3184 1 0 3483012 0
[pid=14581/tid=14582] ppid=14579 vsize=14087196 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 5482 0 0 0 19 1 0 0 20 0 15 0 106305577 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706626545464 140706606404958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14087196 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14087196 memory=140511301082936 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14087196 memory=140511301068416 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106305579 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) S 14579 14579 6396 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706159507696 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) S 14579 14579 6396 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706158455152 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14087196 memory=140511301068416 CPUtime=0.08 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) R 14579 14579 6396 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706157402096 140706603096840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 10349 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42848 KiB
[startup+0.316648 s]*
/proc/loadavg: 2.02 1.88 1.90 4/218 14595
/proc/meminfo: memFree=21434820/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14087196 memory=48496 CPUtime=0.54 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 9296 0 0 0 51 3 0 0 20 0 15 0 106305577 14425288704 12124 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3521799 12124 3241 1 0 3483012 0
[pid=14581/tid=14582] ppid=14579 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 6219 0 0 0 28 2 0 0 20 0 15 0 106305577 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706626558528 140706606404958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106305579 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) S 14579 14579 6396 0 -1 1077944384 662 0 0 0 4 0 0 0 20 0 15 0 106305582 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706159507696 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) S 14579 14579 6396 0 -1 1077944384 260 0 0 0 4 0 0 0 20 0 15 0 106305582 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706158455152 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) S 14579 14579 6396 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 106305582 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706157402096 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 12124 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305582 14425288704 12189 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49948 KiB
[startup+0.701691 s]
/proc/loadavg: 2.02 1.88 1.90 5/218 14595
/proc/meminfo: memFree=21415592/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14089320 memory=73568 CPUtime=1.61 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 13059 0 0 0 157 4 0 0 20 0 15 0 106305577 14427463680 18392 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3522330 18392 3366 1 0 3483524 0
[pid=14581/tid=14582] ppid=14579 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 7103 0 0 0 65 2 0 0 20 0 15 0 106305577 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706626563424 140706236502570 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14089320 memory=30248 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14089320 memory=5408 CPUtime=0.29 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) R 14579 14579 6396 0 -1 4202560 1423 0 0 0 29 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706159494240 140706607446659 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14089320 memory=1008 CPUtime=0.25 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) R 14579 14579 6396 0 -1 4202560 1228 0 0 0 25 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706158443632 140706603868188 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14089320 memory=9992 CPUtime=0.36 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) S 14579 14579 6396 0 -1 1077944384 1997 0 0 0 36 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706157402096 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 18392 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75020 KiB
[startup+1.50089 s]
/proc/loadavg: 2.02 1.88 1.90 5/218 14595
/proc/meminfo: memFree=21401764/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14089320 memory=88048 CPUtime=4.09 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 20856 0 0 0 404 5 0 0 20 0 15 0 106305577 14427463680 22012 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3522330 22012 3375 1 0 3483524 0
[pid=14581/tid=14582] ppid=14579 vsize=14089320 memory=-7816663703405220396 CPUtime=1.47 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 7371 0 0 0 145 2 0 0 20 0 15 0 106305577 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706626561408 140706235945027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14089320 memory=281022394714352 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14089320 memory=12813 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14089320 memory=24398 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14089320 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) R 14579 14579 6396 0 -1 4202560 4430 0 0 0 109 0 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706159495568 140706606221077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14089320 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) R 14579 14579 6396 0 -1 4202560 5455 0 0 0 104 1 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706158444192 140706606713022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14089320 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) S 14579 14579 6396 0 -1 1077944384 2285 0 0 0 44 0 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706157402096 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22012 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 89500 KiB
[startup+1.83419 s]
# the end of solver process 14579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.45251 s, system=0.065911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60107 s]
/proc/loadavg: 2.02 1.88 1.90 5/218 14595
/proc/meminfo: memFree=21401764/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14089320 memory=89352 CPUtime=4.39 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 21679 0 0 0 434 5 0 0 20 0 15 0 106305577 14427463680 22338 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3522330 22338 3377 1 0 3483524 0
[pid=14581/tid=14582] ppid=14579 vsize=14089320 memory=2416 CPUtime=1.57 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) R 14579 14579 6396 0 -1 4202560 7372 0 0 0 155 2 0 0 20 0 15 0 106305577 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706626561408 140706236716673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14089320 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106305578 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14587] ppid=14579 vsize=14089320 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14587/stat : 14587 (java) S 14579 14579 6396 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706163718896 140706622335618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14089320 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106305579 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106305580 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706160560592 140706622343067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14089320 memory=1200 CPUtime=1.2 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) R 14579 14579 6396 0 -1 4202560 4590 0 0 0 119 1 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706159507792 140706601757563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14089320 memory=10624 CPUtime=1.15 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) R 14579 14579 6396 0 -1 4202560 6080 0 0 0 114 1 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706158441032 140706600187600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14089320 memory=4616 CPUtime=0.45 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) S 14579 14579 6396 0 -1 1077944384 2320 0 0 0 45 0 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706157402096 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14089320 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14595] ppid=14579 vsize=14089320 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14595/stat : 14595 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106305582 14427463680 22338 33554432000 4194304 4196468 140729976348912 140706155297840 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90804 KiB
[startup+1.80077 s]
/proc/loadavg: 2.02 1.88 1.90 5/218 14595
/proc/meminfo: memFree=21401764/32770624 swapFree=67108860/67108860
[pid=14579] ppid=14576 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14579/stat : 14579 (xcsp3-exec) S 14576 14579 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106305576 115843072 363 33554432000 4194304 5098028 140732226277008 140732226275112 140438515520124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21544960 140732226278464 140732226278665 140732226278665 140732226281418 0
/proc/14579/statm: 28282 363 306 221 0 87 0
[pid=14581] ppid=14579 vsize=14089320 memory=95328 CPUtime=4.5 cores=1,3,5,7
/proc/14581/stat : 14581 (java) S 14579 14579 6396 0 -1 1077944320 22256 0 0 0 445 5 0 0 20 0 13 0 106305577 14427463680 23832 33554432000 4194304 4196468 140729976348912 140729976331456 140706622324471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
/proc/14581/statm: 3522330 23832 3383 1 0 3483524 0
[pid=14581/tid=14582] ppid=14579 vsize=14089320 memory=6656426216303648864 CPUtime=1.59 cores=1,3,5,7
/proc/14581/task/14582/stat : 14582 (java) D 14579 14579 6396 0 -1 4202560 7440 0 0 0 157 2 0 0 20 0 13 0 106305577 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706626567480 140706615010103 0 0 0 16800975 18446744072100592773 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14583] ppid=14579 vsize=14089320 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14583/stat : 14583 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106305578 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706552412688 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14584] ppid=14579 vsize=14089320 memory=-1807685287724412255 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14584/stat : 14584 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106305578 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706217376400 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14585] ppid=14579 vsize=14089320 memory=3055219902687559776 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14585/stat : 14585 (java) S 14579 14579 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106305578 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706216323344 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14586] ppid=14579 vsize=14089320 memory=-2970219127293634922 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14586/stat : 14586 (java) S 14579 14579 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106305578 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706215270800 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14588] ppid=14579 vsize=14089320 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14588/stat : 14588 (java) S 14579 14579 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 106305579 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706162665120 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14589] ppid=14579 vsize=14089320 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14589/stat : 14589 (java) S 14579 14579 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 106305580 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706161612016 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14590] ppid=14579 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14590/stat : 14590 (java) S 14579 14579 6396 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 13 0 106305582 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706160559360 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14591] ppid=14579 vsize=14089320 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/14581/task/14591/stat : 14591 (java) S 14579 14579 6396 0 -1 1077944384 4638 0 0 0 121 1 0 0 20 0 13 0 106305582 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706159488096 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14592] ppid=14579 vsize=14089320 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/14581/task/14592/stat : 14592 (java) S 14579 14579 6396 0 -1 1077944384 6501 0 0 0 120 1 0 0 20 0 13 0 106305582 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706158439664 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14593] ppid=14579 vsize=14089320 memory=288230621803970871 CPUtime=0.45 cores=1,3,5,7
/proc/14581/task/14593/stat : 14593 (java) S 14579 14579 6396 0 -1 1077944384 2336 0 0 0 45 0 0 0 20 0 13 0 106305582 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706157402096 140706622335618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
[pid=14581/tid=14594] ppid=14579 vsize=14089320 memory=14134428972616243 CPUtime=0 cores=1,3,5,7
/proc/14581/task/14594/stat : 14594 (java) S 14579 14579 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 106305582 14427463680 23832 33554432000 4194304 4196468 140729976348912 140706156349792 140706622334677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25034752 140729976358028 140729976358198 140729976358198 140729976360911 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 96780 KiB
Child status: 0
Real time (s): 1.83424
CPU time (s): 4.51842
CPU user time (s): 4.45251
CPU system time (s): 0.065911
CPU usage (%): 246.338
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 96780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.45251
system time used= 0.065911
maximum resident set size= 95724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1992
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 14579
# total CPU time (s): 4.51842
# total CPU user time (s): 4.45251
# total CPU system time (s): 0.065911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035436 second user time and 0.057585 second system time
The end