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 (12296 MiB free)
memory of node 1: 16384 MiB (15614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270083-1502621956/watcher-4270083-1502621956 -o /tmp/evaluation-result-4270083-1502621956/solver-4270083-1502621956 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2074444674 HOME/instance-4270083-1502621956.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=693, runsolver pid=690
Current StackSize limit: 8192 KiB
[startup+0.101399 s]*
/proc/loadavg: 1.92 2.00 1.90 3/197 695
/proc/meminfo: memFree=28581572/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=356952 memory=7520 CPUtime=0 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 1673 0 0 0 0 0 0 0 20 0 2 0 64388946 365518848 1880 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 89238 1880 1034 1 0 79208 0
[pid=695/tid=696] ppid=693 vsize=11659680 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 952 0 0 0 0 0 0 0 20 0 3 0 64388946 11939512320 2387 18446744073709551615 4194304 4196468 140729923805696 140713272678096 140713261153879 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=11659680 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 64388947 11939512320 2387 18446744073709551615 4194304 4196468 140729923805696 140713202870880 140713268446933 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=11660708 memory=139797679482259 CPUtime=0 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 64388947 11940564992 2453 18446744073709551615 4194304 4196468 140729923805696 140713201818336 140713268446933 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=11660708 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) R 693 693 17093 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 64388947 11940564992 2453 18446744073709551615 4194304 4196468 140729923805696 140713272678096 140713268446933 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 8900 KiB
[startup+0.209894 s]*
/proc/loadavg: 1.92 2.00 1.90 3/211 709
/proc/meminfo: memFree=28569764/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13974352 memory=22936 CPUtime=0.06 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 5139 0 0 0 6 0 0 0 20 0 15 0 64388946 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3493588 5734 2704 1 0 3482964 0
[pid=695/tid=696] ppid=693 vsize=13974352 memory=9124443767561732153 CPUtime=0.05 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 3343 0 0 0 5 0 0 0 20 0 15 0 64388946 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140713272670560 140713268458653 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13974352 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64388948 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64388949 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64388949 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) S 693 693 17093 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) S 693 693 17093 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388957 14309736448 5734 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24316 KiB
[startup+0.310168 s]*
/proc/loadavg: 1.92 2.00 1.90 3/211 709
/proc/meminfo: memFree=28553940/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13974352 memory=36768 CPUtime=0.24 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 8773 0 0 0 22 2 0 0 20 0 15 0 64388946 14309736448 9192 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3493588 9192 2977 1 0 3482964 0
[pid=695/tid=696] ppid=693 vsize=13974352 memory=1398720917958146503 CPUtime=0.15 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 6036 0 0 0 14 1 0 0 20 0 15 0 64388946 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140713272659104 140713261114741 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64388947 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64388948 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64388949 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64388949 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) S 693 693 17093 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 15 0 64388951 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 15 0 64388951 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0.05 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) R 693 693 17093 0 -1 4202560 701 0 0 0 5 0 0 0 20 0 15 0 64388951 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268448662 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13974352 memory=139797679457920 CPUtime=0 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388957 14309736448 9259 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38148 KiB
[startup+0.700809 s]
/proc/loadavg: 1.92 2.00 1.90 6/211 709
/proc/meminfo: memFree=28537048/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13978684 memory=86012 CPUtime=1.29 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 13129 0 0 0 124 5 0 0 20 0 15 0 64388946 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3494671 21503 3169 1 0 3482964 0
[pid=695/tid=696] ppid=693 vsize=13978684 memory=6916 CPUtime=0.53 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 7865 0 0 0 50 3 0 0 20 0 15 0 64388946 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140713272672656 140713268448662 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13978684 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13978684 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13978684 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388947 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13978684 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64388947 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13978684 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64388948 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64388949 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13978684 memory=139797561624672 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64388949 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) R 693 693 17093 0 -1 4202560 1472 0 0 0 22 1 0 0 20 0 15 0 64388951 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712742412304 140713247661552 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) R 693 693 17093 0 -1 4202560 927 0 0 0 24 0 0 0 20 0 15 0 64388951 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712741369152 140713251933283 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13978684 memory=7809523229951467576 CPUtime=0.26 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) R 693 693 17093 0 -1 1077944384 1558 0 0 0 26 0 0 0 20 0 15 0 64388951 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64388957 14314172416 21503 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87392 KiB
[startup+1.50402 s]
/proc/loadavg: 1.92 2.00 1.90 6/211 709
/proc/meminfo: memFree=28462216/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13980732 memory=218144 CPUtime=3.68 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 22437 0 0 0 357 11 0 0 20 0 15 0 64388946 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3495183 54536 3229 1 0 3483476 0
[pid=695/tid=696] ppid=693 vsize=13980732 memory=4028 CPUtime=1.29 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 9921 0 0 0 124 5 0 0 20 0 15 0 64388946 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140713272673216 140713268448662 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13980732 memory=36372 CPUtime=0.02 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 15 0 64388947 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13980732 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 296 0 0 0 2 0 0 0 20 0 15 0 64388947 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13980732 memory=4134931637327791675 CPUtime=0.02 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 64388947 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13980732 memory=4639098309541127533 CPUtime=0.02 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 15 0 64388947 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13980732 memory=7812454975280802134 CPUtime=0 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 64388948 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 54536 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13980732 memory=139797561658789 CPUtime=1.81 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) S 693 693 17093 0 -1 1077944384 9958 0 0 0 179 2 0 0 20 0 15 0 64388951 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13980732 memory=7093003818064964706 CPUtime=1.81 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 10275 0 0 0 180 1 0 0 20 0 15 0 64388951 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13980732 memory=4612 CPUtime=0.69 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) S 693 693 17093 0 -1 1077944384 9699 0 0 0 68 1 0 0 20 0 15 0 64388951 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13980732 memory=1444 CPUtime=0.05 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 238 0 0 0 2 3 0 0 20 0 15 0 64388957 14316269568 77211 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 106.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 310224 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/211 714
/proc/meminfo: memFree=28281976/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13980732 memory=309056 CPUtime=167 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 52336 0 0 0 16678 22 0 0 20 0 15 0 64388946 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3495183 77264 3232 1 0 3483476 0
[pid=695/tid=696] ppid=693 vsize=13980732 memory=309056 CPUtime=162.04 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 14697 0 0 0 16198 6 0 0 20 0 15 0 64388946 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140713272673184 140712882785015 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13980732 memory=309056 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 640 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 583 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13980732 memory=309056 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 188 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 720 0 0 0 1 0 0 0 20 0 15 0 64388948 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13980732 memory=309056 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13980732 memory=1732 CPUtime=1.88 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) S 693 693 17093 0 -1 1077944384 11540 0 0 0 186 2 0 0 20 0 15 0 64388951 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13980732 memory=5788 CPUtime=1.91 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 12032 0 0 0 190 1 0 0 20 0 15 0 64388951 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13980732 memory=1380 CPUtime=0.71 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) S 693 693 17093 0 -1 1077944384 10093 0 0 0 70 1 0 0 20 0 15 0 64388951 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13980732 memory=309056 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13980732 memory=1204 CPUtime=0.09 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 315 0 0 0 4 5 0 0 20 0 15 0 64388957 14316269568 77264 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 167 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 310436 KiB
[startup+222.301 s]
/proc/loadavg: 2.11 2.02 1.92 3/211 794
/proc/meminfo: memFree=31083708/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13980732 memory=309108 CPUtime=227.07 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 53044 0 0 0 22683 24 0 0 20 0 15 0 64388946 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3495183 77277 3232 1 0 3483476 0
[pid=695/tid=696] ppid=693 vsize=13980732 memory=309076 CPUtime=222.03 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 14947 0 0 0 22197 6 0 0 20 0 15 0 64388946 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140713272672736 140712882540695 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 640 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13980732 memory=309076 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 583 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 188 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 723 0 0 0 1 0 0 0 20 0 15 0 64388948 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13980732 memory=309076 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13980732 memory=309076 CPUtime=1.89 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) S 693 693 17093 0 -1 1077944384 11666 0 0 0 187 2 0 0 20 0 15 0 64388951 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13980732 memory=309108 CPUtime=1.93 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 12098 0 0 0 192 1 0 0 20 0 15 0 64388951 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13980732 memory=1380 CPUtime=0.72 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) S 693 693 17093 0 -1 1077944384 10352 0 0 0 71 1 0 0 20 0 15 0 64388951 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13980732 memory=36372 CPUtime=0.13 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 319 0 0 0 6 7 0 0 20 0 15 0 64388957 14316269568 77277 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 227.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 310488 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.08 2.01 1.92 4/211 794
/proc/meminfo: memFree=31062732/32770624 swapFree=67108860/67108860
[pid=693] ppid=690 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/693/stat : 693 (xcsp3-exec) S 690 693 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64388936 9740288 345 18446744073709551615 4194304 5098028 140728369187152 140728369185256 139678403023484 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 39096320 140728369189246 140728369189450 140728369189450 140728369192939 0
/proc/693/statm: 2378 345 289 221 0 87 0
[pid=695] ppid=693 vsize=13980732 memory=309128 CPUtime=244.86 cores=1,3,5,7
/proc/695/stat : 695 (java) S 693 693 17093 0 -1 1077944320 54903 0 0 0 24461 25 0 0 20 0 15 0 64388946 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140729923788240 140713268436727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
/proc/695/statm: 3495183 77282 3232 1 0 3483476 0
[pid=695/tid=696] ppid=693 vsize=13980732 memory=1398720917958146503 CPUtime=239.74 cores=1,3,5,7
/proc/695/task/696/stat : 696 (java) R 693 693 17093 0 -1 4202560 15044 0 0 0 23968 6 0 0 20 0 15 0 64388946 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140713272673640 140712883571217 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=697] ppid=693 vsize=13980732 memory=4126316290023845779 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/697/stat : 697 (java) S 693 693 17093 0 -1 1077944384 640 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140713202870544 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=698] ppid=693 vsize=13980732 memory=4048 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/698/stat : 698 (java) S 693 693 17093 0 -1 1077944384 583 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140713201818000 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=699] ppid=693 vsize=13980732 memory=20516 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/699/stat : 699 (java) S 693 693 17093 0 -1 1077944384 188 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140713200765456 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=700] ppid=693 vsize=13980732 memory=1788 CPUtime=0.06 cores=1,3,5,7
/proc/695/task/700/stat : 700 (java) S 693 693 17093 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 15 0 64388947 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140713199712912 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=701] ppid=693 vsize=13980732 memory=640 CPUtime=0.01 cores=1,3,5,7
/proc/695/task/701/stat : 701 (java) S 693 693 17093 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 15 0 64388948 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712746633712 140713268447874 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=702] ppid=693 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/695/task/702/stat : 702 (java) S 693 693 17093 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712745579936 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=703] ppid=693 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/695/task/703/stat : 703 (java) S 693 693 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64388949 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712744527344 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=704] ppid=693 vsize=13980732 memory=4134931637327791675 CPUtime=0 cores=1,3,5,7
/proc/695/task/704/stat : 704 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712743475920 140713268455323 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=705] ppid=693 vsize=13980732 memory=5788 CPUtime=1.94 cores=1,3,5,7
/proc/695/task/705/stat : 705 (java) R 693 693 17093 0 -1 4202560 12426 0 0 0 192 2 0 0 20 0 15 0 64388951 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712742422512 140713249957849 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=706] ppid=693 vsize=13980732 memory=4612 CPUtime=1.94 cores=1,3,5,7
/proc/695/task/706/stat : 706 (java) S 693 693 17093 0 -1 1077944384 12441 0 0 0 193 1 0 0 20 0 15 0 64388951 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712741369968 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=707] ppid=693 vsize=13980732 memory=1708 CPUtime=0.73 cores=1,3,5,7
/proc/695/task/707/stat : 707 (java) S 693 693 17093 0 -1 1077944384 11048 0 0 0 72 1 0 0 20 0 15 0 64388951 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712740317424 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=708] ppid=693 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/695/task/708/stat : 708 (java) S 693 693 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64388951 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712739265120 140713268446933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
[pid=695/tid=709] ppid=693 vsize=13980732 memory=1228 CPUtime=0.15 cores=1,3,5,7
/proc/695/task/709/stat : 709 (java) S 693 693 17093 0 -1 1077944384 332 0 0 0 7 8 0 0 20 0 15 0 64388957 14316269568 77282 18446744073709551615 4194304 4196468 140729923805696 140712738212656 140713268447874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9433088 140729923813815 140729923813990 140729923813990 140729923817423 0
Current children cumulated CPU time: 244.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 310508 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 693 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001943 s
[startup+240.035 s]
# the end of solver process 695 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.646 s, system=0.266076 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
Child status: 143
Real time (s): 240.035
CPU time (s): 244.912
CPU user time (s): 244.646
CPU system time (s): 0.266076
CPU usage (%): 102.032
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 310508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.646
system time used= 0.266076
maximum resident set size= 309776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7698
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 693,695
# total CPU time (s): 244.912
# total CPU user time (s): 244.646
# total CPU system time (s): 0.266076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49961 second user time and 2.38415 second system time
The end