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 (15033 MiB free)
memory of node 1: 16384 MiB (15616 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270391-1502618961/watcher-4270391-1502618961 -o /tmp/evaluation-result-4270391-1502618961/solver-4270391-1502618961 -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 505107764 HOME/instance-4270391-1502618961.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
Current StackSize limit: 8192 KiB
solver pid=29987, runsolver pid=29984
[startup+0.100169 s]*
/proc/loadavg: 1.79 1.88 1.87 3/203 29995
/proc/meminfo: memFree=31379276/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13574484 memory=18212 CPUtime=0.02 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 3898 0 0 0 2 0 0 0 20 0 9 0 64089452 13900271616 4553 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3393621 4553 2064 1 0 3383118 0
[pid=29989/tid=29990] ppid=29987 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 2614 0 0 0 2 0 0 0 20 0 9 0 64089452 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139964795171984 139964772324925 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64089453 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13574484 memory=139749258729088 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64089453 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64089453 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64089453 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13574484 memory=139749258729088 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64089454 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64089455 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64089455 13900271616 4618 18446744073709551615 4194304 4196468 140727064084928 139963906577712 139964790941397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19588 KiB
[startup+0.209833 s]*
/proc/loadavg: 1.79 1.88 1.87 4/211 30003
/proc/meminfo: memFree=31370336/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13974352 memory=26872 CPUtime=0.1 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 5163 0 0 0 9 1 0 0 20 0 15 0 64089452 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3493588 6718 2752 1 0 3482964 0
[pid=29989/tid=29990] ppid=29987 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 3303 0 0 0 7 1 0 0 20 0 15 0 64089452 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139964795156640 139964775011678 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13974352 memory=139749258756699 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13974352 memory=139749258729088 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089454 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64089455 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64089455 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) R 29987 29987 17093 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13974352 memory=139749258729088 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 64089458 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13974352 memory=139749258729088 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089463 14309736448 6718 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28248 KiB
[startup+0.311593 s]*
/proc/loadavg: 1.79 1.88 1.87 3/211 30003
/proc/meminfo: memFree=31358908/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13974352 memory=39636 CPUtime=0.31 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 9117 0 0 0 27 4 0 0 20 0 15 0 64089452 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3493588 9909 2995 1 0 3482964 0
[pid=29989/tid=29990] ppid=29987 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 6235 0 0 0 16 2 0 0 20 0 15 0 64089452 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139964795165168 139964775011678 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089454 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64089455 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64089455 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) R 29987 29987 17093 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 15 0 64089458 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 64089458 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) R 29987 29987 17093 0 -1 4202560 738 0 0 0 6 0 0 0 20 0 15 0 64089458 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963902367856 139964775011678 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089463 14309736448 9909 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41012 KiB
[startup+0.701174 s]
/proc/loadavg: 1.79 1.88 1.87 5/211 30003
/proc/meminfo: memFree=31346964/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13980732 memory=69392 CPUtime=1.21 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 13459 0 0 0 115 6 0 0 20 0 15 0 64089452 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3495183 17348 3169 1 0 3483476 0
[pid=29989/tid=29990] ppid=29987 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 8551 0 0 0 52 3 0 0 20 0 15 0 64089452 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139964795154032 139964775011678 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64089454 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) R 29987 29987 17093 0 -1 1077944384 1191 0 0 0 15 0 0 0 20 0 15 0 64089458 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13980732 memory=13 CPUtime=0.16 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) R 29987 29987 17093 0 -1 4202560 891 0 0 0 15 1 0 0 20 0 15 0 64089458 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790943126 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13980732 memory=66 CPUtime=0.31 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 1519 0 0 0 31 0 0 0 20 0 15 0 64089458 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089463 14316269568 17348 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70768 KiB
[startup+1.50087 s]
/proc/loadavg: 1.79 1.88 1.87 5/211 30003
/proc/meminfo: memFree=31312468/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13980732 memory=111092 CPUtime=3.66 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 31583 0 0 0 357 9 0 0 20 0 15 0 64089452 14316269568 27773 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3495183 27773 3194 1 0 3483476 0
[pid=29989/tid=29990] ppid=29987 vsize=13980732 memory=7679927811743456362 CPUtime=1.36 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 9410 0 0 0 132 4 0 0 20 0 15 0 64089452 14316269568 27773 18446744073709551615 4194304 4196468 140727064084928 139964795166840 139964411139201 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13980732 memory=-7101718590825193272 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 27773 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13980732 memory=279498218269184 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 27773 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64089453 14316269568 27773 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13980732 memory=36216 CPUtime=3.97 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) S 29987 29987 17093 0 -1 1077944384 16578 0 0 0 395 2 0 0 20 0 15 0 64089458 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13980732 memory=1296 CPUtime=3.99 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 24635 0 0 0 396 3 0 0 20 0 15 0 64089458 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13980732 memory=4028 CPUtime=0.62 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 6747 0 0 0 61 1 0 0 20 0 15 0 64089458 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13980732 memory=36216 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13980732 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 2918 0 0 0 0 1 0 0 20 0 15 0 64089463 14316269568 60653 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 110.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 243988 KiB
[startup+162.301 s]
/proc/loadavg: 1.96 1.95 1.90 3/211 30089
/proc/meminfo: memFree=31147604/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13980732 memory=264608 CPUtime=171.05 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 76387 0 0 0 17086 19 0 0 20 0 15 0 64089452 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3495183 66152 3240 1 0 3483476 0
[pid=29989/tid=29990] ppid=29987 vsize=13980732 memory=264608 CPUtime=162.1 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 14447 0 0 0 16205 5 0 0 20 0 15 0 64089452 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139964795170176 139964418892431 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13980732 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 663 0 0 0 1 0 0 0 20 0 15 0 64089453 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13980732 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1649 0 0 0 1 0 0 0 20 0 15 0 64089453 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13980732 memory=-2746958450906831424 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1307 0 0 0 1 0 0 0 20 0 15 0 64089453 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13980732 memory=264608 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2587 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13980732 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 1320 0 0 0 1 0 0 0 20 0 15 0 64089454 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13980732 memory=264608 CPUtime=4.05 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) S 29987 29987 17093 0 -1 1077944384 17552 0 0 0 403 2 0 0 20 0 15 0 64089458 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13980732 memory=5788 CPUtime=4.06 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 24870 0 0 0 402 4 0 0 20 0 15 0 64089458 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13980732 memory=4612 CPUtime=0.63 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 7688 0 0 0 62 1 0 0 20 0 15 0 64089458 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13980732 memory=1376 CPUtime=0.03 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 2949 0 0 0 1 2 0 0 20 0 15 0 64089463 14316269568 66152 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 171.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 265984 KiB
[startup+222.301 s]
/proc/loadavg: 1.69 1.88 1.88 3/211 30092
/proc/meminfo: memFree=31159484/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13980732 memory=251268 CPUtime=231.07 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 76910 0 0 0 23087 20 0 0 20 0 15 0 64089452 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3495183 62817 3240 1 0 3483476 0
[pid=29989/tid=29990] ppid=29987 vsize=13980732 memory=251268 CPUtime=222.09 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 14701 0 0 0 22204 5 0 0 20 0 15 0 64089452 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139964795170320 139964416862861 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13980732 memory=251268 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 682 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13980732 memory=251268 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1653 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13980732 memory=251268 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1416 0 0 0 1 0 0 0 20 0 15 0 64089453 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13980732 memory=251268 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2601 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13980732 memory=1376 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 1409 0 0 0 1 0 0 0 20 0 15 0 64089454 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13980732 memory=251268 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13980732 memory=251268 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13980732 memory=1376 CPUtime=4.05 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) S 29987 29987 17093 0 -1 1077944384 17553 0 0 0 403 2 0 0 20 0 15 0 64089458 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13980732 memory=4028 CPUtime=4.06 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 24872 0 0 0 402 4 0 0 20 0 15 0 64089458 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13980732 memory=36216 CPUtime=0.63 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 7693 0 0 0 62 1 0 0 20 0 15 0 64089458 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13980732 memory=36216 CPUtime=0.04 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 2975 0 0 0 1 3 0 0 20 0 15 0 64089463 14316269568 62817 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 231.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 252644 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.71 1.87 1.87 3/211 30092
/proc/meminfo: memFree=31165840/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (xcsp3-exec) S 29984 29987 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64089445 9740288 344 18446744073709551615 4194304 5098028 140729057336880 140729057334984 139708517081724 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 21504000 140729057337727 140729057337930 140729057337930 140729057341419 0
/proc/29987/statm: 2378 344 289 221 0 87 0
[pid=29989] ppid=29987 vsize=13980732 memory=245112 CPUtime=248.78 cores=1,3,5,7
/proc/29989/stat : 29989 (java) S 29987 29987 17093 0 -1 1077944320 77596 0 0 0 24858 20 0 0 20 0 15 0 64089452 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 140727064067472 139964790931191 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
/proc/29989/statm: 3495183 61278 3240 1 0 3483476 0
[pid=29989/tid=29990] ppid=29987 vsize=13980732 memory=-8774313645642428999 CPUtime=239.8 cores=1,3,5,7
/proc/29989/task/29990/stat : 29990 (java) R 29987 29987 17093 0 -1 4202560 14909 0 0 0 23975 5 0 0 20 0 15 0 64089452 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139964795170320 139964416665727 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29991] ppid=29987 vsize=13980732 memory=6943526294502006880 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29991/stat : 29991 (java) S 29987 29987 17093 0 -1 1077944384 682 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139964732877328 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29992] ppid=29987 vsize=13980732 memory=6944656592455097440 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29992/stat : 29992 (java) S 29987 29987 17093 0 -1 1077944384 1935 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139964731824784 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29993] ppid=29987 vsize=13980732 memory=6944656592387989600 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29993/stat : 29993 (java) S 29987 29987 17093 0 -1 1077944384 1419 0 0 0 1 0 0 0 20 0 15 0 64089453 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139964388481296 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29994] ppid=29987 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/29989/task/29994/stat : 29994 (java) S 29987 29987 17093 0 -1 1077944384 2649 0 0 0 2 0 0 0 20 0 15 0 64089453 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139964387428752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29995] ppid=29987 vsize=13980732 memory=1000 CPUtime=0.01 cores=1,3,5,7
/proc/29989/task/29995/stat : 29995 (java) S 29987 29987 17093 0 -1 1077944384 1546 0 0 0 1 0 0 0 20 0 15 0 64089454 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963908684528 139964790942338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29996] ppid=29987 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29996/stat : 29996 (java) S 29987 29987 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963907630752 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29997] ppid=29987 vsize=13980732 memory=10960 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29997/stat : 29997 (java) S 29987 29987 17093 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64089455 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963906577648 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29998] ppid=29987 vsize=13980732 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/29989/task/29998/stat : 29998 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963905526224 139964790949787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=29999] ppid=29987 vsize=13980732 memory=1376 CPUtime=4.05 cores=1,3,5,7
/proc/29989/task/29999/stat : 29999 (java) S 29987 29987 17093 0 -1 1077944384 17555 0 0 0 403 2 0 0 20 0 15 0 64089458 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963904473328 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30000] ppid=29987 vsize=13980732 memory=245112 CPUtime=4.06 cores=1,3,5,7
/proc/29989/task/30000/stat : 30000 (java) S 29987 29987 17093 0 -1 1077944384 24874 0 0 0 402 4 0 0 20 0 15 0 64089458 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963903420784 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30001] ppid=29987 vsize=13980732 memory=6656426216303648864 CPUtime=0.63 cores=1,3,5,7
/proc/29989/task/30001/stat : 30001 (java) S 29987 29987 17093 0 -1 1077944384 7695 0 0 0 62 1 0 0 20 0 15 0 64089458 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963902367728 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30002] ppid=29987 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29989/task/30002/stat : 30002 (java) S 29987 29987 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64089458 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963901315424 139964790941397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
[pid=29989/tid=30003] ppid=29987 vsize=13980732 memory=184480 CPUtime=0.04 cores=1,3,5,7
/proc/29989/task/30003/stat : 30003 (java) S 29987 29987 17093 0 -1 1077944384 2977 0 0 0 1 3 0 0 20 0 15 0 64089463 14316269568 61278 18446744073709551615 4194304 4196468 140727064084928 139963900263472 139964790942338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28667904 140727064089015 140727064089190 140727064089190 140727064092623 0
Current children cumulated CPU time: 248.78 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 29987 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001866 s
[startup+240.02 s]
# the end of solver process 29989 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.597 s, system=0.208943 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.021
CPU time (s): 248.805
CPU user time (s): 248.597
CPU system time (s): 0.208943
CPU usage (%): 103.66
Max. virtual memory (cumulated for all children) (KiB): 13992896
Max. memory (cumulated for all children) (KiB): 265984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.597
system time used= 0.208943
maximum resident set size= 264608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8259
involuntary context switches= 99
# summary of solver processes directly reported to runsolver:
# pid: 29987,29989
# total CPU time (s): 248.805
# total CPU user time (s): 248.597
# total CPU system time (s): 0.208943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40877 second user time and 2.10386 second system time
The end