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 (15130 MiB free)
memory of node 1: 16384 MiB (15728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284148-1503177792/watcher-4284148-1503177792 -o /tmp/evaluation-result-4284148-1503177792/solver-4284148-1503177792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30215 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1831861685 HOME/instance-4284148-1503177792.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30990, runsolver pid=30987
[startup+0.100331 s]*
/proc/loadavg: 1.75 1.76 1.77 5/205 31000
/proc/meminfo: memFree=31590664/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13574484 memory=19612 CPUtime=0.04 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 4277 0 0 0 4 0 0 0 20 0 9 0 16188953 13900271616 4903 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3393621 4903 2138 1 0 3383118 0
[pid=30992/tid=30993] ppid=30990 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 2981 0 0 0 3 0 0 0 20 0 9 0 16188953 13900271616 4903 18446744073709551615 4194304 4196468 140727085065296 139706481045368 139706462558032 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16188954 13900271616 4903 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13575512 memory=140534184384128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16188954 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13575512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 16188954 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13575512 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 16188954 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13575512 memory=140534184384128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 16188955 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13575512 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 10 0 16188956 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13575512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 10 0 16188956 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13575512 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) R 30990 30990 16431 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 16188958 13901324288 4903 18446744073709551615 4194304 4196468 140727085065296 139705951685216 139706469604048 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20988 KiB
[startup+0.209881 s]*
/proc/loadavg: 1.75 1.76 1.77 6/211 31006
/proc/meminfo: memFree=31582960/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13974352 memory=28772 CPUtime=0.15 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 5655 0 0 0 14 1 0 0 20 0 15 0 16188953 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3493588 7193 2886 1 0 3482964 0
[pid=30992/tid=30993] ppid=30990 vsize=13974352 memory=7311146985107750967 CPUtime=0.1 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 3476 0 0 0 9 1 0 0 20 0 15 0 16188953 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139706481038928 139706458216250 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13974352 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13974352 memory=4050342493842544288 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16188954 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13974352 memory=140534184384128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16188955 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16188956 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16188956 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 16188958 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) R 30990 30990 16431 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 16188958 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13974352 memory=140534184384128 CPUtime=0.02 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) R 30990 30990 16431 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 16188958 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705948523096 139706476823857 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13974352 memory=140534184384128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188963 14309736448 7193 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30148 KiB
[startup+0.310445 s]*
/proc/loadavg: 1.75 1.76 1.77 6/211 31006
/proc/meminfo: memFree=31569172/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13979632 memory=40440 CPUtime=0.35 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 9382 0 0 0 32 3 0 0 20 0 15 0 16188953 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3494908 10110 3039 1 0 3483220 0
[pid=30992/tid=30993] ppid=30990 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 6487 0 0 0 18 2 0 0 20 0 15 0 16188953 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139706481020768 139706469488068 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16188954 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16188955 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16188956 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16188956 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13979632 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 655 0 0 0 2 0 0 0 20 0 15 0 16188958 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 15 0 16188958 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30990 16431 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 16188958 14314094592 10110 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13979632 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13979632 memory=140534184384128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188963 14315143168 10110 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13989144 KiB
Current children cumulated memory: 41816 KiB
[startup+0.700826 s]
/proc/loadavg: 1.75 1.76 1.77 6/211 31006
/proc/meminfo: memFree=31546168/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13980732 memory=67692 CPUtime=1.24 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 13983 0 0 0 118 6 0 0 20 0 15 0 16188953 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3495183 16923 3173 1 0 3483476 0
[pid=30992/tid=30993] ppid=30990 vsize=13980732 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 9224 0 0 0 54 4 0 0 20 0 15 0 16188953 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139706481047328 139706476821910 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13980732 memory=140534081431040 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13980732 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13980732 memory=5789492015474561110 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16188955 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13980732 memory=117397274 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16188956 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13980732 memory=140534081429020 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16188956 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13980732 memory=3053511329498284128 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13980732 memory=43757088800 CPUtime=0.15 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 1179 0 0 0 15 0 0 0 20 0 15 0 16188958 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13980732 memory=1444 CPUtime=0.15 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 674 0 0 0 15 0 0 0 20 0 15 0 16188958 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13980732 memory=10720 CPUtime=0.32 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) R 30990 30990 16431 0 -1 4202560 1601 0 0 0 32 0 0 0 20 0 15 0 16188958 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706460890462 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188963 14316269568 16923 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69068 KiB
[startup+1.5008 s]
/proc/loadavg: 1.75 1.76 1.77 7/211 31006
/proc/meminfo: memFree=31502964/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13980732 memory=126416 CPUtime=3.79 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 44050 0 0 0 369 10 0 0 20 0 15 0 16188953 14316269568 31604 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3495183 31604 3191 1 0 3483476 0
[pid=30992/tid=30993] ppid=30990 vsize=13980732 memory=-8774313645642428999 CPUtime=1.38 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 10400 0 0 0 134 4 0 0 20 0 15 0 16188953 14316269568 31604 18446744073709551615 4194304 4196468 140727085065296 139706481045840 139706109138363 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 31604 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13980732 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16188954 14316269568 31604 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13988648 memory=421328 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13988648 memory=1376 CPUtime=13.08 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 74048 0 0 0 1300 8 0 0 20 0 15 0 16188958 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13988648 memory=1376 CPUtime=12.65 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 73662 0 0 0 1258 7 0 0 20 0 15 0 16188958 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13988648 memory=-8774313645642428999 CPUtime=1.04 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30990 16431 0 -1 1077944384 15913 0 0 0 101 3 0 0 20 0 15 0 16188958 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13988648 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13988648 memory=402624 CPUtime=0.87 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 865 0 0 0 38 49 0 0 20 0 15 0 16188963 14324375552 102169 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 2338.91 s
Current children cumulated vsize: 13998160 KiB
Current children cumulated memory: 410052 KiB
[startup+2322.3 s]
/proc/loadavg: 1.43 1.47 1.51 3/211 31143
/proc/meminfo: memFree=30956668/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13988648 memory=432700 CPUtime=2400.24 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 343677 0 0 0 239768 256 0 0 20 0 15 0 16188953 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3497162 108175 3264 1 0 3485455 0
[pid=30992/tid=30993] ppid=30990 vsize=13988648 memory=436804 CPUtime=2301.83 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 48279 0 0 0 230169 14 0 0 20 0 15 0 16188953 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139706481049904 139706117277432 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13988648 memory=439372 CPUtime=17.16 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 22632 0 0 0 1676 40 0 0 20 0 15 0 16188954 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13988648 memory=436804 CPUtime=17.12 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 23659 0 0 0 1670 42 0 0 20 0 15 0 16188954 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13988648 memory=436804 CPUtime=17.19 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 19608 0 0 0 1679 40 0 0 20 0 15 0 16188954 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13988648 memory=1376 CPUtime=17.18 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 19966 0 0 0 1679 39 0 0 20 0 15 0 16188954 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13988648 memory=439372 CPUtime=1.99 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 43561 0 0 0 176 23 0 0 20 0 15 0 16188955 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13988648 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13988648 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13988648 memory=397752 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13988648 memory=1376 CPUtime=13.09 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 74066 0 0 0 1301 8 0 0 20 0 15 0 16188958 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13988648 memory=1376 CPUtime=12.65 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 73758 0 0 0 1258 7 0 0 20 0 15 0 16188958 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13988648 memory=1240 CPUtime=1.04 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30990 16431 0 -1 1077944384 15915 0 0 0 101 3 0 0 20 0 15 0 16188958 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13988648 memory=644 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13988648 memory=439372 CPUtime=0.9 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 880 0 0 0 39 51 0 0 20 0 15 0 16188963 14324375552 108175 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 2400.24 s
Current children cumulated vsize: 13998160 KiB
Current children cumulated memory: 434076 KiB
[startup+2382.3 s]
/proc/loadavg: 1.25 1.40 1.48 3/211 31145
/proc/meminfo: memFree=30959572/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13988648 memory=413092 CPUtime=2461.58 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 347100 0 0 0 245897 261 0 0 20 0 15 0 16188953 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3497162 103273 3264 1 0 3485455 0
[pid=30992/tid=30993] ppid=30990 vsize=13988648 memory=414120 CPUtime=2361.31 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 48658 0 0 0 236117 14 0 0 20 0 15 0 16188953 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139706481049744 139706461187002 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13988648 memory=418224 CPUtime=17.6 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 23012 0 0 0 1720 40 0 0 20 0 15 0 16188954 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13988648 memory=414120 CPUtime=17.56 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 24181 0 0 0 1713 43 0 0 20 0 15 0 16188954 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13988648 memory=1376 CPUtime=17.63 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 19925 0 0 0 1722 41 0 0 20 0 15 0 16188954 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13988648 memory=413092 CPUtime=17.62 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 20297 0 0 0 1722 40 0 0 20 0 15 0 16188954 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13988648 memory=413092 CPUtime=2.04 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 45019 0 0 0 181 23 0 0 20 0 15 0 16188955 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13988648 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13988648 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13988648 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13988648 memory=1376 CPUtime=13.09 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 74068 0 0 0 1301 8 0 0 20 0 15 0 16188958 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13988648 memory=4004 CPUtime=12.67 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 73775 0 0 0 1260 7 0 0 20 0 15 0 16188958 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13988648 memory=2240 CPUtime=1.04 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30990 16431 0 -1 1077944384 15917 0 0 0 101 3 0 0 20 0 15 0 16188958 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13988648 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13988648 memory=402052 CPUtime=0.92 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 895 0 0 0 40 52 0 0 20 0 15 0 16188963 14324375552 103273 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 2461.58 s
Current children cumulated vsize: 13998160 KiB
Current children cumulated memory: 414468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2439.4 s]
/proc/loadavg: 1.52 1.45 1.49 3/211 31146
/proc/meminfo: memFree=30962868/32770624 swapFree=67108860/67108860
[pid=30990] ppid=30987 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/30990/stat : 30990 (xcsp3-exec) S 30987 30990 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 16188947 9740288 344 18446744073709551615 4194304 5098028 140732446194688 140732446192792 139780019548796 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 5 0 0 7196144 7232144 38731776 140732446196089 140732446196294 140732446196294 140732446199787 0
/proc/30990/statm: 2378 344 289 221 0 87 0
[pid=30992] ppid=30990 vsize=13988648 memory=421764 CPUtime=2520.04 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30990 16431 0 -1 1077944320 350677 0 0 0 251735 269 0 0 20 0 15 0 16188953 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 140727085047840 139706476809975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
/proc/30992/statm: 3497162 105441 3264 1 0 3485455 0
[pid=30992/tid=30993] ppid=30990 vsize=13988648 memory=10720 CPUtime=2417.86 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30990 16431 0 -1 4202560 49791 0 0 0 241771 15 0 0 20 0 15 0 16188953 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139706481049552 139706119070341 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30994] ppid=30990 vsize=13988648 memory=1200 CPUtime=18.06 cores=1,3,5,7
/proc/30992/task/30994/stat : 30994 (java) S 30990 30990 16431 0 -1 1077944384 23508 0 0 0 1765 41 0 0 20 0 15 0 16188954 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139706433776784 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30995] ppid=30990 vsize=13988648 memory=1716 CPUtime=18.02 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30990 16431 0 -1 1077944384 24830 0 0 0 1758 44 0 0 20 0 15 0 16188954 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139706432723984 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30996] ppid=30990 vsize=13988648 memory=15872 CPUtime=18.08 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30990 16431 0 -1 1077944384 20641 0 0 0 1766 42 0 0 20 0 15 0 16188954 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139706431671184 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30997] ppid=30990 vsize=13988648 memory=4004 CPUtime=18.09 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30990 16431 0 -1 1077944384 20788 0 0 0 1767 42 0 0 20 0 15 0 16188954 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139706430618384 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30998] ppid=30990 vsize=13988648 memory=12528 CPUtime=2.09 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30990 16431 0 -1 1077944384 45106 0 0 0 185 24 0 0 20 0 15 0 16188955 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705954842992 139706476821122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=30999] ppid=30990 vsize=13988648 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30990 16431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705953788960 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31000] ppid=30990 vsize=13988648 memory=2344 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30990 16431 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 16188956 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705952736112 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31001] ppid=30990 vsize=13988648 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705951684432 139706476828571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31002] ppid=30990 vsize=13988648 memory=11952 CPUtime=13.09 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30990 16431 0 -1 1077944384 74069 0 0 0 1301 8 0 0 20 0 15 0 16188958 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705950632816 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31003] ppid=30990 vsize=13988648 memory=1008 CPUtime=12.67 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30990 16431 0 -1 1077944384 73775 0 0 0 1260 7 0 0 20 0 15 0 16188958 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705949580016 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31004] ppid=30990 vsize=13988648 memory=792 CPUtime=1.04 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30990 16431 0 -1 1077944384 15917 0 0 0 101 3 0 0 20 0 15 0 16188958 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705948527216 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31005] ppid=30990 vsize=13988648 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30990 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16188958 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705947474656 139706476820181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
[pid=30992/tid=31006] ppid=30990 vsize=13988648 memory=1228 CPUtime=0.94 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30990 16431 0 -1 1077944384 899 0 0 0 41 53 0 0 20 0 15 0 16188963 14324375552 105441 18446744073709551615 4194304 4196468 140727085065296 139705946421936 139706476821122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 13320192 140727085068722 140727085068898 140727085068898 140727085072335 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13998160 KiB
Current children cumulated memory: 423140 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2439.41 s]
# the end of solver process 30990 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001907 s, system=0 s
[startup+2439.41 s]
# the end of solver process 30992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.37 s, system=2.69658 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): 2439.41
CPU time (s): 2520.07
CPU user time (s): 2517.37
CPU system time (s): 2.69658
CPU usage (%): 103.306
Max. virtual memory (cumulated for all children) (KiB): 13998160
Max. memory (cumulated for all children) (KiB): 589632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.37
system time used= 2.69658
maximum resident set size= 608976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351331
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94522
involuntary context switches= 3700
# summary of solver processes directly reported to runsolver:
# pid: 30990,30992
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.37
# total CPU system time (s): 2.69658
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4974 second user time and 22.9664 second system time
The end