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 (14545 MiB free)
  memory of node 1: 16384 MiB (15522 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269805-1502788683/watcher-4269805-1502788683 -o /tmp/evaluation-result-4269805-1502788683/solver-4269805-1502788683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1108215430 HOME/instance-4269805-1502788683.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=17440, runsolver pid=17437

[startup+0.104231 s]*
/proc/loadavg: 2.01 2.01 2.05 3/207 17447
/proc/meminfo: memFree=30780368/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13441356 memory=17204 CPUtime=0.01 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 3565 0 0 0 1 0 0 0 20 0 7 0 126374811 13763948544 4301 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3360339 4301 2021 1 0 3349836 0
[pid=17442/tid=17443] ppid=17440 vsize=13507920 memory=8508281356422055842 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 2335 0 0 0 1 0 0 0 20 0 8 0 126374811 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139807511037608 139807491735168 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13507920 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 126374812 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13507920 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 126374812 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 126374812 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 126374812 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13507920 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 126374814 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 126374814 13832110080 4303 18446744073709551615 4194304 4196468 140733640202176 139806983691984 139807506814677 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18584 KiB

[startup+0.210299 s]*
/proc/loadavg: 2.01 2.01 2.05 3/216 17456
/proc/meminfo: memFree=30773528/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13974352 memory=26664 CPUtime=0.09 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 5108 0 0 0 8 1 0 0 20 0 15 0 126374811 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3493588 6666 2752 1 0 3482964 0
[pid=17442/tid=17443] ppid=17440 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 3250 0 0 0 7 1 0 0 20 0 15 0 126374811 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139807511028112 139807506816406 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13974352 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13974352 memory=288370306437834368 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13974352 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) S 17440 17440 4674 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806980536944 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806979484144 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13974352 memory=139930286122624 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) S 17440 17440 4674 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 126374817 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13974352 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374822 14309736448 6666 18446744073709551615 4194304 4196468 140733640202176 139806976326064 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28044 KiB

[startup+0.311681 s]*
/proc/loadavg: 2.01 2.01 2.05 4/216 17456
/proc/meminfo: memFree=30759544/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13974352 memory=37112 CPUtime=0.28 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 8947 0 0 0 26 2 0 0 20 0 15 0 126374811 14309736448 9278 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3493588 9278 2983 1 0 3482964 0
[pid=17442/tid=17443] ppid=17440 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 6094 0 0 0 16 2 0 0 20 0 15 0 126374811 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139807511042528 139807499482485 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) R 17440 17440 4674 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 15 0 126374817 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806980536944 139807506815618 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) R 17440 17440 4674 0 -1 4202560 315 0 0 0 2 0 0 0 20 0 15 0 126374817 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806979484144 139807492818785 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) R 17440 17440 4674 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 126374817 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807490884958 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14309736448 9342 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374822 14309736448 9854 18446744073709551615 4194304 4196468 140733640202176 139806976326064 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38492 KiB

[startup+0.700865 s]
/proc/loadavg: 2.01 2.01 2.05 6/216 17456
/proc/meminfo: memFree=30740032/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13978684 memory=85360 CPUtime=1.39 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 13421 0 0 0 135 4 0 0 20 0 15 0 126374811 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3494671 21340 3168 1 0 3482964 0
[pid=17442/tid=17443] ppid=17440 vsize=13978684 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 7855 0 0 0 52 3 0 0 20 0 15 0 126374811 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139807511041128 139807111049642 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374812 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13978684 memory=495 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126374812 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126374814 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126374814 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) R 17440 17440 4674 0 -1 4202560 1653 0 0 0 27 0 0 0 20 0 15 0 126374817 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806980523760 139807490287784 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13978684 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) R 17440 17440 4674 0 -1 4202560 988 0 0 0 26 0 0 0 20 0 15 0 126374817 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806979469456 139807490301255 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13978684 memory=28 CPUtime=0.28 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) S 17440 17440 4674 0 -1 1077944384 1616 0 0 0 28 0 0 0 20 0 15 0 126374817 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13978684 memory=229 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13978684 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) S 17440 17440 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126374822 14314172416 21340 18446744073709551615 4194304 4196468 140733640202176 139806976326064 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 86740 KiB

[startup+1.5032 s]
/proc/loadavg: 2.01 2.01 2.05 7/216 17456
/proc/meminfo: memFree=30623064/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13980732 memory=216548 CPUtime=4.01 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 16873 0 0 0 391 10 0 0 20 0 15 0 126374811 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3495183 54137 3206 1 0 3483476 0
[pid=17442/tid=17443] ppid=17440 vsize=13980732 memory=0 CPUtime=1.32 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) S 17440 17440 4674 0 -1 1077944384 8134 0 0 0 127 5 0 0 20 0 15 0 126374811 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 139807511041600 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) R 17440 17440 4674 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 15 0 126374812 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807491828126 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) R 17440 17440 4674 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 126374812 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 139807440186328 139807488430416 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) R 17440 17440 4674 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 15 0 126374812 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807491828174 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) R 17440 17440 4674 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 126374812 14316269568 54137 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807491252686 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13980732 memory=279860337689184 CPUtime=0 cores=1,3,5,7

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

[startup+3.20099 s]
/proc/loadavg: 2.01 2.01 2.05 3/216 17456
/proc/meminfo: memFree=30545776/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13980732 memory=255540 CPUtime=7.39 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 21539 0 0 0 725 14 0 0 20 0 15 0 126374811 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3495183 63885 3235 1 0 3483476 0
[pid=17442/tid=17443] ppid=17440 vsize=13980732 memory=7300704776836113216 CPUtime=3.01 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 8619 0 0 0 295 6 0 0 20 0 15 0 126374811 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139807511042752 139807114901275 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13980732 memory=7300704776836113472 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13980732 memory=7300704776836113472 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13980732 memory=7300704776836113216 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13980732 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13980732 memory=61376 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13980732 memory=6498285520082 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13980732 memory=13564886244395551 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13980732 memory=0 CPUtime=1.81 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) D 17440 17440 4674 0 -1 4202560 4209 0 0 0 181 0 0 0 20 0 15 0 126374817 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806980536864 139807486728607 0 4 1 16800974 18446744072100924549 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13980732 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) D 17440 17440 4674 0 -1 4202560 4365 0 0 0 176 1 0 0 20 0 15 0 126374817 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806979484440 139807486728607 0 4 1 16800974 18446744072100924549 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13980732 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) D 17440 17440 4674 0 -1 4202560 2647 0 0 0 63 1 0 0 20 0 15 0 126374817 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806978431776 139807486728607 0 4 1 16800974 18446744072100924549 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) D 17440 17440 4674 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 126374822 14316269568 63885 18446744073709551615 4194304 4196468 140733640202176 139806976325984 139807491660558 0 4 1 16800974 18446744072100924549 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 256920 KiB

[startup+4.80088 s]
/proc/loadavg: 2.01 2.01 2.05 3/216 17456
/proc/meminfo: memFree=30493836/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13980732 memory=334612 CPUtime=9.48 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 27762 0 0 0 932 16 0 0 20 0 15 0 126374811 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3495183 83653 3240 1 0 3483476 0
[pid=17442/tid=17443] ppid=17440 vsize=13980732 memory=1380 CPUtime=4.6 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 9011 0 0 0 453 7 0 0 20 0 15 0 126374811 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139807511043160 139807114901708 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13980732 memory=270348 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13980732 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13980732 memory=5712 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13980732 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13980732 memory=12304 CPUtime=1.96 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) S 17440 17440 4674 0 -1 1077944384 5414 0 0 0 195 1 0 0 20 0 15 0 126374817 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806980536944 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13980732 memory=1204 CPUtime=2.08 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) S 17440 17440 4674 0 -1 1077944384 8315 0 0 0 207 1 0 0 20 0 15 0 126374817 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806979484144 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13980732 memory=15880 CPUtime=0.66 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) S 17440 17440 4674 0 -1 1077944384 3046 0 0 0 65 1 0 0 20 0 15 0 126374817 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13980732 memory=36788 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) S 17440 17440 4674 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 126374822 14316269568 83653 18446744073709551615 4194304 4196468 140733640202176 139806976326064 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 335992 KiB

[startup+5.60081 s]
/proc/loadavg: 2.01 2.01 2.05 3/216 17456
/proc/meminfo: memFree=30456476/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13980732 memory=353048 CPUtime=10.33 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 28081 0 0 0 1017 16 0 0 20 0 15 0 126374811 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3495183 88262 3240 1 0 3483476 0
[pid=17442/tid=17443] ppid=17440 vsize=13980732 memory=-8774313645642428999 CPUtime=5.4 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) R 17440 17440 4674 0 -1 4202560 9036 0 0 0 533 7 0 0 20 0 15 0 126374811 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139807511041312 139807114937566 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13980732 memory=297556 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 69 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13980732 memory=9024 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 83 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13980732 memory=1228 CPUtime=0.03 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 126374812 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13980732 memory=5712 CPUtime=0.02 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 75 0 0 0 1 1 0 0 20 0 15 0 126374812 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806984747120 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806983693088 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126374814 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806982640752 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17451] ppid=17440 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17451/stat : 17451 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806981589072 139807506823067 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13980732 memory=1444 CPUtime=1.98 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) S 17440 17440 4674 0 -1 1077944384 5422 0 0 0 197 1 0 0 20 0 15 0 126374817 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806980536944 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13980732 memory=12304 CPUtime=2.11 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) S 17440 17440 4674 0 -1 1077944384 8348 0 0 0 210 1 0 0 20 0 15 0 126374817 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806979484144 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13980732 memory=237940 CPUtime=0.67 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) S 17440 17440 4674 0 -1 1077944384 3052 0 0 0 66 1 0 0 20 0 15 0 126374817 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13980732 memory=35492 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126374817 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17456] ppid=17440 vsize=13980732 memory=279860337532096 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17456/stat : 17456 (java) S 17440 17440 4674 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 126374822 14316269568 88262 18446744073709551615 4194304 4196468 140733640202176 139806976326064 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 10.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 354428 KiB

[startup+6.00073 s]*
/proc/loadavg: 2.01 2.01 2.05 2/214 17456
/proc/meminfo: memFree=30406580/32770624 swapFree=67108764/67108860
[pid=17440] ppid=17437 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/17440/stat : 17440 (xcsp3-exec) S 17437 17440 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 126374803 9740288 345 18446744073709551615 4194304 5098028 140728706729872 140728706727976 140583639458428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22331392 140728706736504 140728706736709 140728706736709 140728706740203 0
/proc/17440/statm: 2378 345 289 221 0 87 0
[pid=17442] ppid=17440 vsize=13980732 memory=388776 CPUtime=10.91 cores=1,3,5,7
/proc/17442/stat : 17442 (java) S 17440 17440 4674 0 -1 1077944320 30557 0 0 0 1070 21 0 0 20 0 13 0 126374811 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 140733640184720 139807506804471 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
/proc/17442/statm: 3495183 97194 3242 1 0 3483476 0
[pid=17442/tid=17443] ppid=17440 vsize=13980732 memory=4278483708103473607 CPUtime=5.76 cores=1,3,5,7
/proc/17442/task/17443/stat : 17443 (java) S 17440 17440 4674 0 -1 1077944384 9446 0 0 0 569 7 0 0 20 0 13 0 126374811 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139807511047312 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17444] ppid=17440 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17442/task/17444/stat : 17444 (java) S 17440 17440 4674 0 -1 1077944384 140 0 0 0 3 2 0 0 20 0 13 0 126374812 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139807441238928 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17445] ppid=17440 vsize=13980732 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/17442/task/17445/stat : 17445 (java) S 17440 17440 4674 0 -1 1077944384 911 0 0 0 4 2 0 0 20 0 13 0 126374812 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139807440186128 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17446] ppid=17440 vsize=13980732 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/17442/task/17446/stat : 17446 (java) S 17440 17440 4674 0 -1 1077944384 219 0 0 0 4 2 0 0 20 0 13 0 126374812 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139807439133840 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17447] ppid=17440 vsize=13980732 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/17442/task/17447/stat : 17447 (java) S 17440 17440 4674 0 -1 1077944384 149 0 0 0 3 2 0 0 20 0 13 0 126374812 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139807438081040 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17448] ppid=17440 vsize=13980732 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17448/stat : 17448 (java) S 17440 17440 4674 0 -1 1077944384 592 0 0 0 0 0 0 0 20 0 13 0 126374814 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806984747328 139807506815618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17449] ppid=17440 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17449/stat : 17449 (java) S 17440 17440 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 13 0 126374814 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806983693152 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17450] ppid=17440 vsize=13980732 memory=139930286122624 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17450/stat : 17450 (java) S 17440 17440 4674 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 13 0 126374814 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806982640768 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17452] ppid=17440 vsize=13980732 memory=-1 CPUtime=2.02 cores=1,3,5,7
/proc/17442/task/17452/stat : 17452 (java) S 17440 17440 4674 0 -1 1077944384 5682 0 0 0 201 1 0 0 20 0 13 0 126374817 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806980527440 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17453] ppid=17440 vsize=13980732 memory=0 CPUtime=2.15 cores=1,3,5,7
/proc/17442/task/17453/stat : 17453 (java) S 17440 17440 4674 0 -1 1077944384 8670 0 0 0 214 1 0 0 20 0 13 0 126374817 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806979469200 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17454] ppid=17440 vsize=13980732 memory=-1 CPUtime=0.68 cores=1,3,5,7
/proc/17442/task/17454/stat : 17454 (java) S 17440 17440 4674 0 -1 1077944384 3115 0 0 0 67 1 0 0 20 0 13 0 126374817 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806978431856 139807506815618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
[pid=17442/tid=17455] ppid=17440 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17442/task/17455/stat : 17455 (java) S 17440 17440 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 126374817 14316269568 97194 18446744073709551615 4194304 4196468 140733640202176 139806977379296 139807506814677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37457920 140733640208817 140733640208993 140733640208993 140733640212431 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 390156 KiB

Child status: 0
Real time (s): 6.01865
CPU time (s): 10.9244
CPU user time (s): 10.7058
CPU system time (s): 0.218603
CPU usage (%): 181.51
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 390156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7058
system time used= 0.218603
maximum resident set size= 389320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31114
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2527
involuntary context switches= 36


# summary of solver processes directly reported to runsolver:
#   pid: 17440
#   total CPU time (s): 10.9244
#   total CPU user time (s): 10.7058
#   total CPU system time (s): 0.218603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070723 second user time and 0.098819 second system time

The end