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 (15104 MiB free)
memory of node 1: 16384 MiB (14665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272439-1502816244/watcher-4272439-1502816244 -o /tmp/evaluation-result-4272439-1502816244/solver-4272439-1502816244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 919600224 HOME/instance-4272439-1502816244.xml
running on 4 cores: 0,2,4,6
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
solver pid=3357, runsolver pid=3354
Current StackSize limit: 8192 KiB
[startup+0.100584 s]*
/proc/loadavg: 1.46 1.57 1.58 3/205 3364
/proc/meminfo: memFree=30479552/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13507920 memory=16368 CPUtime=0.01 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 3908 0 0 0 1 0 0 0 20 0 8 0 35507003 13832110080 4092 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3376980 4092 2039 1 0 3366477 0
[pid=3359/tid=3360] ppid=3357 vsize=13574484 memory=8508281356422317474 CPUtime=0.01 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) R 3357 3357 7968 0 -1 4202560 2692 0 0 0 1 0 0 0 20 0 9 0 35507003 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146631955048 140146611799390 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 35507004 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13574484 memory=139637834868352 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 35507004 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 35507004 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 35507004 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13574484 memory=139637834868352 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 35507005 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146106235376 140146627730050 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 35507006 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146105181600 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 35507006 13900271616 4152 18446744073709551615 4194304 4196468 140736085599568 140146104129072 140146627729109 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17748 KiB
[startup+0.210195 s]*
/proc/loadavg: 1.46 1.57 1.58 5/214 3373
/proc/meminfo: memFree=30472796/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13974352 memory=27764 CPUtime=0.1 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 5347 0 0 0 9 1 0 0 20 0 15 0 35507003 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3493588 6941 2753 1 0 3482964 0
[pid=3359/tid=3360] ppid=3357 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) R 3357 3357 7968 0 -1 4202560 3498 0 0 0 7 1 0 0 20 0 15 0 35507003 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146631947136 140146627740829 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13974352 memory=139637834958155 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13974352 memory=139637834868352 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35507005 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146106235376 140146627730050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35507006 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146105181600 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35507006 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146104129008 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13974352 memory=139637834868352 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13974352 memory=139637834868352 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507014 14309736448 6941 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29144 KiB
[startup+0.310419 s]*
/proc/loadavg: 1.46 1.57 1.58 5/214 3373
/proc/meminfo: memFree=30462140/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13974352 memory=37712 CPUtime=0.3 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 9057 0 0 0 27 3 0 0 20 0 15 0 35507003 14309736448 9428 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3493588 9428 2985 1 0 3482964 0
[pid=3359/tid=3360] ppid=3357 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) R 3357 3357 7968 0 -1 4202560 6176 0 0 0 16 2 0 0 20 0 15 0 35507003 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146631956384 140146627730838 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35507004 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 35507005 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146106235376 140146627730050 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 35507006 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146105181600 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 35507006 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146104129008 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 15 0 35507009 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 35507009 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 737 0 0 0 6 0 0 0 20 0 15 0 35507009 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507014 14309736448 9940 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39092 KiB
[startup+0.701593 s]
/proc/loadavg: 1.46 1.57 1.58 3/214 3373
/proc/meminfo: memFree=30413664/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13978684 memory=262124 CPUtime=1.01 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 11437 0 0 0 82 19 0 0 20 0 15 0 35507003 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3494671 65531 3141 1 0 3482964 0
[pid=3359/tid=3360] ppid=3357 vsize=13978684 memory=279275416584432 CPUtime=0.51 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) R 3357 3357 7968 0 -1 4202560 7906 0 0 0 45 6 0 0 20 0 15 0 35507003 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146631956392 140146269717266 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13978684 memory=279275416584432 CPUtime=0.05 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 50 0 0 0 2 3 0 0 20 0 15 0 35507004 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13978684 memory=279275416584432 CPUtime=0.05 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 15 0 35507004 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13978684 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 53 0 0 0 2 2 0 0 20 0 15 0 35507004 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13978684 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 35507004 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 35507005 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146106235376 140146627730050 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 35507006 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146105181600 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 35507006 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146104129008 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13978684 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 528 0 0 0 5 0 0 0 20 0 15 0 35507009 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13978684 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 565 0 0 0 5 0 0 0 20 0 15 0 35507009 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13978684 memory=7 CPUtime=0.16 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 847 0 0 0 16 0 0 0 20 0 15 0 35507009 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13978684 memory=36 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 35507014 14314172416 65531 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 263504 KiB
[startup+1.50085 s]
/proc/loadavg: 1.46 1.57 1.58 6/214 3373
/proc/meminfo: memFree=29910488/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13978684 memory=612940 CPUtime=2.12 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 13141 0 0 0 186 26 0 0 20 0 15 0 35507003 14314172416 153235 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3494671 153235 3171 1 0 3482964 0
[pid=3359/tid=3360] ppid=3357 vsize=13978684 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) R 3357 3357 7968 0 -1 4202560 8142 0 0 0 110 9 0 0 20 0 15 0 35507003 14314172416 153235 18446744073709551615 4194304 4196468 140736085599568 140146631955808 140146271920335 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13978684 memory=612940 CPUtime=0.13 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 151 0 0 0 10 3 0 0 20 0 15 0 35507004 14314172416 153235 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13978684 memory=7680170660397595203 CPUtime=0.12 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 81 0 0 0 9 3 0 0 20 0 15 0 35507004 14314172416 153235 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13978684 memory=-7175204567652784766 CPUtime=0.13 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 684 0 0 0 10 3 0 0 20 0 15 0 35507004 14314172416 153235 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13978684 memory=7100839861465685612 CPUtime=0.12 cores=0,2,4,6
################
# More data... #
################
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 26247 0 0 0 997 352 0 0 20 0 15 0 35507004 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13980732 memory=-3039135443232236825 CPUtime=13.53 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 28098 0 0 0 1040 313 0 0 20 0 15 0 35507004 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13980732 memory=1380 CPUtime=13.44 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 24919 0 0 0 1002 342 0 0 20 0 15 0 35507004 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13980732 memory=10856220 CPUtime=1.97 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) R 3357 3357 7968 0 -1 4202560 27316 0 0 0 194 3 0 0 20 0 15 0 35507005 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146106233808 140146612715412 0 0 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13980732 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146105181664 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146104129024 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13980732 memory=735963829421397648 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13980732 memory=2320675662231298229 CPUtime=0.58 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 4665 0 0 0 57 1 0 0 20 0 15 0 35507009 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13980732 memory=2424 CPUtime=0.59 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 3509 0 0 0 59 0 0 0 20 0 15 0 35507009 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13980732 memory=1296 CPUtime=0.32 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 3183 0 0 0 32 0 0 0 20 0 15 0 35507009 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13980732 memory=4198373884061773715 CPUtime=0.22 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 470 0 0 0 11 11 0 0 20 0 15 0 35507014 14316269568 2870464 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 368.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11483236 KiB
[startup+328.001 s]*
/proc/loadavg: 2.09 1.77 1.66 4/213 3396
/proc/meminfo: memFree=18989660/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13980732 memory=11498372 CPUtime=373.62 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 197536 0 0 0 35982 1380 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3495183 2874593 3224 1 0 3483476 0
[pid=3359/tid=3360] ppid=3357 vsize=13980732 memory=4278483708103473607 CPUtime=310.62 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) S 3357 3357 7968 0 -1 1077944384 23296 0 0 0 31046 16 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146631957104 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13980732 memory=13276 CPUtime=14.67 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3357 3357 7968 0 -1 4202560 28308 0 0 0 1130 337 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146227890568 140146620347111 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13980732 memory=1236 CPUtime=14.77 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) R 3357 3357 7968 0 -1 4202560 53301 0 0 0 1124 353 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146226838104 140146620821917 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13980732 memory=640 CPUtime=14.78 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) R 3357 3357 7968 0 -1 4202560 28134 0 0 0 1164 314 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146225785480 140146620347111 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13980732 memory=4126316290023845779 CPUtime=14.68 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) R 3357 3357 7968 0 -1 4202560 24948 0 0 0 1126 342 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146224732936 140146620347111 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13980732 memory=4278483708103473607 CPUtime=2.28 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 27327 0 0 0 225 3 0 0 20 0 15 0 35507005 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146106233936 140146627729109 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13980732 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146105181664 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146104129024 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13980732 memory=3292 CPUtime=0.58 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 4665 0 0 0 57 1 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13980732 memory=1380 CPUtime=0.59 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 3509 0 0 0 59 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13980732 memory=558020 CPUtime=0.32 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 3183 0 0 0 32 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13980732 memory=4060 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13980732 memory=1156 CPUtime=0.22 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 470 0 0 0 11 11 0 0 20 0 15 0 35507014 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 373.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11499752 KiB
[startup+328.801 s]
/proc/loadavg: 2.09 1.77 1.66 4/213 3396
/proc/meminfo: memFree=18989660/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13980732 memory=11498372 CPUtime=376.7 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 223383 0 0 0 36288 1382 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3495183 2874593 3224 1 0 3483476 0
[pid=3359/tid=3360] ppid=3357 vsize=13980732 memory=1380 CPUtime=310.62 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) S 3357 3357 7968 0 -1 1077944384 23296 0 0 0 31046 16 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146631957104 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13980732 memory=11498292 CPUtime=15.43 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3357 3357 7968 0 -1 4202560 28308 0 0 0 1206 337 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146227890568 140146620347111 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13980732 memory=2424 CPUtime=15.56 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) R 3357 3357 7968 0 -1 4202560 78132 0 0 0 1202 354 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146226838104 140146612419565 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13980732 memory=7680170660397595203 CPUtime=15.55 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) R 3357 3357 7968 0 -1 4202560 28135 0 0 0 1240 315 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146225785168 140146620347111 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13980732 memory=1440 CPUtime=15.45 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) R 3357 3357 7968 0 -1 4202560 24948 0 0 0 1202 343 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146224732624 140146620347111 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13980732 memory=9916 CPUtime=2.28 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3357 3357 7968 0 -1 1077944384 27327 0 0 0 225 3 0 0 20 0 15 0 35507005 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146106233936 140146627729109 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146105181664 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146104129024 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13980732 memory=11498372 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13980732 memory=10856220 CPUtime=0.58 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 4665 0 0 0 57 1 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13980732 memory=3880 CPUtime=0.59 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 3509 0 0 0 59 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13980732 memory=7680170660397595203 CPUtime=0.32 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 3183 0 0 0 32 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13980732 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13980732 memory=1700 CPUtime=0.22 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 470 0 0 0 11 11 0 0 20 0 15 0 35507014 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 376.7 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11499752 KiB
[startup+329.201 s]
/proc/loadavg: 2.09 1.77 1.66 6/213 3396
/proc/meminfo: memFree=18992204/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
[pid=3359] ppid=3357 vsize=13980732 memory=11498372 CPUtime=378.14 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3357 3357 7968 0 -1 1077944320 223399 0 0 0 36431 1383 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140736085582112 140146627718903 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
/proc/3359/statm: 3495183 2874593 3224 1 0 3483476 0
[pid=3359/tid=3360] ppid=3357 vsize=13980732 memory=7680170660397595203 CPUtime=310.62 cores=0,2,4,6
/proc/3359/task/3360/stat : 3360 (java) S 3357 3357 7968 0 -1 1077944384 23296 0 0 0 31046 16 0 0 20 0 15 0 35507003 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146631957104 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3361] ppid=3357 vsize=13980732 memory=960 CPUtime=15.76 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) S 3357 3357 7968 0 -1 1077944384 28308 0 0 0 1239 337 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146227890448 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3362] ppid=3357 vsize=13980732 memory=2248 CPUtime=15.92 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3357 3357 7968 0 -1 1077944384 78144 0 0 0 1238 354 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146226837904 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3363] ppid=3357 vsize=13980732 memory=4304 CPUtime=15.9 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3357 3357 7968 0 -1 1077944384 28135 0 0 0 1275 315 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146225785360 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3364] ppid=3357 vsize=13980732 memory=1588 CPUtime=15.8 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3357 3357 7968 0 -1 1077944384 24948 0 0 0 1237 343 0 0 20 0 15 0 35507004 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146224732816 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3365] ppid=3357 vsize=13980732 memory=928 CPUtime=2.32 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) R 3357 3357 7968 0 -1 4202560 27331 0 0 0 229 3 0 0 20 0 15 0 35507005 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146106233936 140146612715304 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3366] ppid=3357 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3357 3357 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146105181664 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3367] ppid=3357 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3357 3357 7968 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 35507006 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146104129024 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3368] ppid=3357 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146103077584 140146627737499 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3369] ppid=3357 vsize=13980732 memory=3292 CPUtime=0.58 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3357 3357 7968 0 -1 1077944384 4665 0 0 0 57 1 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146102024176 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3370] ppid=3357 vsize=13980732 memory=1380 CPUtime=0.59 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3357 3357 7968 0 -1 1077944384 3509 0 0 0 59 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146100971632 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3371] ppid=3357 vsize=13980732 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3357 3357 7968 0 -1 1077944384 3183 0 0 0 32 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146099919088 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3372] ppid=3357 vsize=13980732 memory=792 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3357 3357 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 35507009 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146098866784 140146627729109 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
[pid=3359/tid=3373] ppid=3357 vsize=13980732 memory=8708 CPUtime=0.22 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3357 3357 7968 0 -1 1077944384 470 0 0 0 11 11 0 0 20 0 15 0 35507014 14316269568 2874593 18446744073709551615 4194304 4196468 140736085599568 140146097814320 140146627730050 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 9900032 140736085606834 140736085607010 140736085607010 140736085610447 0
Current children cumulated CPU time: 378.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11499752 KiB
[startup+329.601 s]
/proc/loadavg: 2.09 1.77 1.66 6/213 3396
/proc/meminfo: memFree=18992204/32770624 swapFree=67108860/67108860
[pid=3357] ppid=3354 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3357/stat : 3357 (xcsp3-exec) S 3354 3357 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 35506995 9740288 345 18446744073709551615 4194304 5098028 140737454778992 140737454777096 140197591437948 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35651584 140737454784890 140737454785094 140737454785094 140737454788587 0
/proc/3357/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 1
Real time (s): 329.646
CPU time (s): 378.598
CPU user time (s): 364.701
CPU system time (s): 13.8967
CPU usage (%): 114.85
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11499752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.701
system time used= 13.8967
maximum resident set size= 11498968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12347
involuntary context switches= 1479
# summary of solver processes directly reported to runsolver:
# pid: 3357
# total CPU time (s): 378.598
# total CPU user time (s): 364.701
# total CPU system time (s): 13.8967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.64985 second user time and 2.87761 second system time
The end