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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282510-1503116744/watcher-4282510-1503116744 -o /tmp/evaluation-result-4282510-1503116744/solver-4282510-1503116744 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 475044900 HOME/instance-4282510-1503116744.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=11926, runsolver pid=11923

[startup+0.100155 s]*
/proc/loadavg: 2.39 2.00 1.90 2/199 11927
/proc/meminfo: memFree=31142364/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (runsolver) D 11923 11926 8557 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 113869472 34791424 113 18446744073709551615 4194304 4346622 140726105152416 140726105149048 140373370622679 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6446216 6449568 8581120 140726105153592 140726105154084 140726105154084 140726105157578 0
/proc/11926/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209343 s]*
/proc/loadavg: 2.39 2.00 1.90 2/213 11941
/proc/meminfo: memFree=31130076/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13974352 memory=22932 CPUtime=0.06 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 5136 0 0 0 5 1 0 0 20 0 15 0 113869484 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3493588 5733 2711 1 0 3482964 0
[pid=11928/tid=11929] ppid=11926 vsize=13974352 memory=8390339637985935414 CPUtime=0.04 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 3300 0 0 0 4 0 0 0 20 0 15 0 113869484 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231903399264 140231883253086 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13974352 memory=288230596118061782 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13974352 memory=288370749525284480 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113869486 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113869486 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113869487 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869494 14309736448 5733 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24312 KiB

[startup+0.310684 s]*
/proc/loadavg: 2.39 2.00 1.90 3/214 11942
/proc/meminfo: memFree=31117696/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13974352 memory=36208 CPUtime=0.24 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 8650 0 0 0 21 3 0 0 20 0 15 0 113869484 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3493588 9052 2955 1 0 3482964 0
[pid=11928/tid=11929] ppid=11926 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 5979 0 0 0 13 2 0 0 20 0 15 0 113869484 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231903404128 140231883253086 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113869485 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113869486 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113869486 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113869487 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 113869489 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 113869489 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0.05 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 15 0 113869489 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13974352 memory=140373373572736 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869494 14309736448 9052 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37588 KiB

[startup+0.700789 s]
/proc/loadavg: 2.39 2.00 1.90 5/214 11942
/proc/meminfo: memFree=31098160/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13978684 memory=75772 CPUtime=1.29 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 13152 0 0 0 124 5 0 0 20 0 15 0 113869484 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3494671 18943 3155 1 0 3482964 0
[pid=11928/tid=11929] ppid=11926 vsize=13978684 memory=4044 CPUtime=0.52 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 7844 0 0 0 49 3 0 0 20 0 15 0 113869484 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231903405544 140231507339917 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13978684 memory=644 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13978684 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13978684 memory=956 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869485 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13978684 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113869485 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13978684 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113869486 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13978684 memory=4088 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113869486 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13978684 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113869487 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13978684 memory=920 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13978684 memory=2032 CPUtime=0.23 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) R 11926 11926 8557 0 -1 4202560 1483 0 0 0 23 0 0 0 20 0 15 0 113869489 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231877194800 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13978684 memory=832 CPUtime=0.23 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) R 11926 11926 8557 0 -1 4202560 982 0 0 0 23 0 0 0 20 0 15 0 113869489 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231371582592 140231884297352 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13978684 memory=56784 CPUtime=0.27 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 1536 0 0 0 27 0 0 0 20 0 15 0 113869489 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113869494 14314172416 18943 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 77152 KiB

[startup+1.50179 s]
/proc/loadavg: 2.39 2.00 1.90 5/214 11942
/proc/meminfo: memFree=31004120/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13980732 memory=210380 CPUtime=3.88 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 17740 0 0 0 379 9 0 0 20 0 15 0 113869484 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3495183 52595 3211 1 0 3483476 0
[pid=11928/tid=11929] ppid=11926 vsize=13980732 memory=2276 CPUtime=1.3 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 8578 0 0 0 125 5 0 0 20 0 15 0 113869484 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231903409752 140231509591020 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13980732 memory=4144 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13980732 memory=61948 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113869485 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13980732 memory=2384 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13980732 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113869487 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13980732 memory=0 CPUtime=0.99 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) R 11926 11926 8557 0 -1 4202560 2920 0 0 0 99 0 0 0 20 0 15 0 113869489 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231372638112 140231884296172 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13980732 memory=0 CPUtime=1 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) R 11926 11926 8557 0 -1 4202560 2442 0 0 0 100 0 0 0 20 0 15 0 113869489 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231371575496 140231884287842 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13980732 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 2343 0 0 0 47 1 0 0 20 0 15 0 113869489 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13980732 memory=11210019468133 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869494 14316269568 52595 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0

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

/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13980732 memory=212508 CPUtime=6 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 18543 0 0 0 591 9 0 0 20 0 15 0 113869484 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3495183 53127 3214 1 0 3483476 0
[pid=11928/tid=11929] ppid=11926 vsize=13980732 memory=0 CPUtime=3 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 8974 0 0 0 295 5 0 0 20 0 15 0 113869484 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231903409624 140231509965662 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13980732 memory=93212 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113869485 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113869487 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13980732 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 2976 0 0 0 123 0 0 0 20 0 15 0 113869489 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13980732 memory=0 CPUtime=1.15 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 2735 0 0 0 115 0 0 0 20 0 15 0 113869489 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13980732 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 2401 0 0 0 51 1 0 0 20 0 15 0 113869489 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869494 14316269568 53127 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213888 KiB

[startup+3.60081 s]
/proc/loadavg: 2.28 1.99 1.89 3/212 11942
/proc/meminfo: memFree=30943908/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13980732 memory=212840 CPUtime=6.5 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 21267 0 0 0 640 10 0 0 20 0 15 0 113869484 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3495183 53210 3216 1 0 3483476 0
[pid=11928/tid=11929] ppid=11926 vsize=13980732 memory=13252 CPUtime=3.4 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 9658 0 0 0 335 5 0 0 20 0 15 0 113869484 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231903409824 140231509821244 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13980732 memory=15460 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13980732 memory=17668 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13980732 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113869485 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13980732 memory=22084 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13980732 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13980732 memory=7596556972256158809 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113869487 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13980732 memory=7596556972272936025 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13980732 memory=7667779018693433444 CPUtime=1.27 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 3510 0 0 0 127 0 0 0 20 0 15 0 113869489 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13980732 memory=4584 CPUtime=1.18 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 3555 0 0 0 118 0 0 0 20 0 15 0 113869489 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13980732 memory=872 CPUtime=0.53 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 3082 0 0 0 52 1 0 0 20 0 15 0 113869489 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 113869494 14316269568 53210 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214220 KiB

[startup+3.80079 s]
/proc/loadavg: 2.28 1.99 1.89 3/212 11942
/proc/meminfo: memFree=30943908/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13980732 memory=213100 CPUtime=6.7 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 21303 0 0 0 660 10 0 0 20 0 15 0 113869484 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3495183 53275 3218 1 0 3483476 0
[pid=11928/tid=11929] ppid=11926 vsize=13980732 memory=-7466299265176673180 CPUtime=3.6 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 9662 0 0 0 355 5 0 0 20 0 15 0 113869484 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231903409056 140231509821249 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13980732 memory=8292088533921144977 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13980732 memory=-7812193691855986592 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13980732 memory=6944652027076318631 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113869485 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13980732 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113869487 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13980732 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13980732 memory=3055219902687559785 CPUtime=1.27 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 3510 0 0 0 127 0 0 0 20 0 15 0 113869489 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13980732 memory=-8412661042877600627 CPUtime=1.18 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 3555 0 0 0 118 0 0 0 20 0 15 0 113869489 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13980732 memory=614 CPUtime=0.54 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 3087 0 0 0 53 1 0 0 20 0 15 0 113869489 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13980732 memory=191 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13980732 memory=192 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 113869494 14316269568 53275 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214480 KiB

[startup+3.90081 s]
/proc/loadavg: 2.28 1.99 1.89 3/212 11942
/proc/meminfo: memFree=30943908/32770624 swapFree=67105588/67108860
[pid=11926] ppid=11923 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/11926/stat : 11926 (xcsp3-exec) S 11923 11926 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 113869472 9740288 345 18446744073709551615 4194304 5098028 140732263140576 140732263138680 140478124122748 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 11 0 0 7196144 7232144 19275776 140732263145849 140732263146053 140732263146053 140732263149547 0
/proc/11926/statm: 2378 345 289 221 0 87 0
[pid=11928] ppid=11926 vsize=13980732 memory=213152 CPUtime=6.81 cores=1,3,5,7
/proc/11928/stat : 11928 (java) S 11926 11926 8557 0 -1 1077944320 21311 0 0 0 671 10 0 0 20 0 15 0 113869484 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140728489014912 140231899172599 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
/proc/11928/statm: 3495183 53288 3218 1 0 3483476 0
[pid=11928/tid=11929] ppid=11926 vsize=13980732 memory=1380 CPUtime=3.7 cores=1,3,5,7
/proc/11928/task/11929/stat : 11929 (java) R 11926 11926 8557 0 -1 4202560 9662 0 0 0 365 5 0 0 20 0 15 0 113869484 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231903409056 140231510274262 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11930] ppid=11926 vsize=13980732 memory=212500 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11930/stat : 11930 (java) S 11926 11926 8557 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231833607312 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11931] ppid=11926 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11931/stat : 11931 (java) S 11926 11926 8557 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231832554512 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11932] ppid=11926 vsize=13980732 memory=8023269665315972697 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11932/stat : 11932 (java) S 11926 11926 8557 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113869485 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231831501712 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11933] ppid=11926 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11928/task/11933/stat : 11933 (java) S 11926 11926 8557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 113869485 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231830448912 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11934] ppid=11926 vsize=13980732 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11934/stat : 11934 (java) S 11926 11926 8557 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231376857456 140231899183746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11935] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11935/stat : 11935 (java) S 11926 11926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 113869486 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231375803424 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11936] ppid=11926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11936/stat : 11936 (java) S 11926 11926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113869487 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231374750576 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11937] ppid=11926 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11937/stat : 11937 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231373698896 140231899191195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11938] ppid=11926 vsize=13980732 memory=2244 CPUtime=1.27 cores=1,3,5,7
/proc/11928/task/11938/stat : 11938 (java) S 11926 11926 8557 0 -1 1077944384 3510 0 0 0 127 0 0 0 20 0 15 0 113869489 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231372647280 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11939] ppid=11926 vsize=13980732 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/11928/task/11939/stat : 11939 (java) S 11926 11926 8557 0 -1 1077944384 3555 0 0 0 118 0 0 0 20 0 15 0 113869489 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231371594480 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11940] ppid=11926 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/11928/task/11940/stat : 11940 (java) S 11926 11926 8557 0 -1 1077944384 3095 0 0 0 53 1 0 0 20 0 15 0 113869489 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231370541680 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11941] ppid=11926 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11941/stat : 11941 (java) S 11926 11926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113869489 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231369489120 140231899182805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
[pid=11928/tid=11942] ppid=11926 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/11928/task/11942/stat : 11942 (java) S 11926 11926 8557 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 113869494 14316269568 53288 18446744073709551615 4194304 4196468 140728489032368 140231368436400 140231899183746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140728489038257 140728489038433 140728489038433 140728489041871 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214532 KiB

Child status: 0
Real time (s): 3.94624
CPU time (s): 6.89024
CPU user time (s): 6.77926
CPU system time (s): 0.11098
CPU usage (%): 174.603
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 214532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.77926
system time used= 0.11098
maximum resident set size= 213788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22503
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= 2149
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 11926
#   total CPU time (s): 6.89024
#   total CPU user time (s): 6.77926
#   total CPU system time (s): 0.11098

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044414 second user time and 0.080641 second system time

The end