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 (15279 MiB free)
memory of node 1: 16384 MiB (14888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272725-1502667436/watcher-4272725-1502667436 -o /tmp/evaluation-result-4272725-1502667436/solver-4272725-1502667436 -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 239851950 HOME/instance-4272725-1502667436.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=32476, runsolver pid=32473
Current StackSize limit: 8192 KiB
[startup+0.100199 s]*
/proc/loadavg: 1.79 1.74 1.77 3/204 32483
/proc/meminfo: memFree=30886396/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13507920 memory=16220 CPUtime=0.01 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 3850 0 0 0 1 0 0 0 20 0 8 0 20626259 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3376980 4055 2049 1 0 3366477 0
[pid=32478/tid=32479] ppid=32476 vsize=13507920 memory=-8713483618642589535 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 2575 0 0 0 1 0 0 0 20 0 8 0 20626260 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638730523056 139638710363486 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 20626260 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13507920 memory=140465574729344 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 20626260 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13507920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 20626260 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 20626260 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13507920 memory=140465574729344 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 20626262 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13507920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 20626262 13832110080 4055 18446744073709551615 4194304 4196468 140730268417264 139638203846864 139638726293205 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17600 KiB
[startup+0.210236 s]*
/proc/loadavg: 1.79 1.74 1.77 2/212 32491
/proc/meminfo: memFree=30880804/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13907304 memory=22396 CPUtime=0.05 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 4987 0 0 0 5 0 0 0 20 0 14 0 20626259 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3476826 5599 2575 1 0 3466323 0
[pid=32478/tid=32479] ppid=32476 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) D 32476 32476 7968 0 -1 4202560 3165 0 0 0 4 0 0 0 20 0 14 0 20626260 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638730520480 139638726305021 0 4 1 16800974 18446744071580418449 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13907304 memory=11602 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20626260 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13907304 memory=288370841726441088 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20626260 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20626260 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20626260 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13907304 memory=140465574729344 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 20626262 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 14 0 20626262 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 20626262 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20626265 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) S 32476 32476 7968 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 20626265 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638200690800 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 20626265 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638199638000 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13907304 memory=140465574729344 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 20626265 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 20626265 14241079296 5599 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23776 KiB
[startup+0.310403 s]*
/proc/loadavg: 1.79 1.74 1.77 3/213 32492
/proc/meminfo: memFree=30873008/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13974352 memory=34412 CPUtime=0.23 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 6465 0 0 0 22 1 0 0 20 0 15 0 20626259 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3493588 8603 2978 1 0 3482964 0
[pid=32478/tid=32479] ppid=32476 vsize=13974352 memory=7311146985107750967 CPUtime=0.14 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 3792 0 0 0 14 0 0 0 20 0 15 0 20626260 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638730516720 139638719382916 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13974352 memory=11602 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13974352 memory=301930226087069312 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13974352 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13974352 memory=4211962041115852791 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626262 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 20626262 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20626262 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) S 32476 32476 7968 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 15 0 20626265 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638200690800 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) S 32476 32476 7968 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 20626265 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638199638000 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13974352 memory=140465574729344 CPUtime=0.05 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 684 0 0 0 5 0 0 0 20 0 15 0 20626265 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13974352 memory=140465574729344 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626273 14309736448 8603 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 35792 KiB
[startup+0.702554 s]
/proc/loadavg: 1.79 1.74 1.77 3/213 32492
/proc/meminfo: memFree=30857324/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13980732 memory=80816 CPUtime=1.11 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 12856 0 0 0 106 5 0 0 20 0 15 0 20626259 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3495183 20204 3169 1 0 3483476 0
[pid=32478/tid=32479] ppid=32476 vsize=13980732 memory=280930858127808 CPUtime=0.52 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 8260 0 0 0 49 3 0 0 20 0 15 0 20626260 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638730518192 139638726304925 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13980732 memory=2110816036133892 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13980732 memory=280930858064960 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13980732 memory=3472328296227699185 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13980732 memory=280930858083008 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13980732 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) R 32476 32476 7968 0 -1 4202560 1248 0 0 0 12 0 0 0 20 0 15 0 20626265 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638200676680 139638707827664 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) R 32476 32476 7968 0 -1 4202560 675 0 0 0 16 0 0 0 20 0 15 0 20626265 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638199624024 139638711408902 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 1362 0 0 0 28 0 0 0 20 0 15 0 20626265 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13980732 memory=-7249806322133643294 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626273 14316269568 20204 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82196 KiB
[startup+1.50082 s]
/proc/loadavg: 1.79 1.74 1.77 5/213 32492
/proc/meminfo: memFree=30810976/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13982844 memory=136784 CPUtime=3.63 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 26449 0 0 0 356 7 0 0 20 0 15 0 20626259 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3495711 34196 3194 1 0 3484004 0
[pid=32478/tid=32479] ppid=32476 vsize=13982844 memory=6370718141486228584 CPUtime=1.32 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 9337 0 0 0 128 4 0 0 20 0 15 0 20626260 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638730519912 139638333867718 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13982844 memory=6298397712577287783 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13982844 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13982844 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20626260 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13982844 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20626260 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13982844 memory=140465429060032 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 20626262 14318432256 34196 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13982844 memory=-7749696028082845524 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13980732 memory=4124 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13980732 memory=14468 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13980732 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13980732 memory=253220 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13980732 memory=28804 CPUtime=2.83 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) R 32476 32476 7968 0 -1 4202560 8753 0 0 0 282 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638200682920 139638705936864 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13980732 memory=0 CPUtime=2.77 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) R 32476 32476 7968 0 -1 4202560 6511 0 0 0 276 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638199627920 139638705939584 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13980732 memory=4955585388230777962 CPUtime=0.66 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 4385 0 0 0 65 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13980732 memory=7682162938544290108 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13980732 memory=8761640388318109335 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 20626273 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254712 KiB
[startup+7.23778 s]
# the end of solver process 32476 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.8011 s, system=0.156672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40104 s]
/proc/loadavg: 1.80 1.74 1.77 3/213 32492
/proc/meminfo: memFree=30651044/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13980732 memory=253332 CPUtime=12.69 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 31587 0 0 0 1255 14 0 0 20 0 15 0 20626259 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3495183 63333 3230 1 0 3483476 0
[pid=32478/tid=32479] ppid=32476 vsize=13980732 memory=7374760209659553894 CPUtime=6.16 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 9552 0 0 0 611 5 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638730519680 139638334901106 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13980732 memory=3461502457123987632 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13980732 memory=142348 CPUtime=0.02 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13980732 memory=280930858612944 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13980732 memory=-6948055166404804227 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13980732 memory=8099255990543994962 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13980732 memory=-7522837415780655008 CPUtime=2.85 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) S 32476 32476 7968 0 -1 1077944384 8756 0 0 0 284 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638200690800 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13980732 memory=-9181546051567709026 CPUtime=2.81 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) S 32476 32476 7968 0 -1 1077944384 6518 0 0 0 280 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638199638000 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13980732 memory=7100839869735606373 CPUtime=0.66 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 4385 0 0 0 65 1 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13980732 memory=-8918986286114809139 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 20626273 14316269568 63333 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254712 KiB
[startup+6.80079 s]
/proc/loadavg: 1.80 1.74 1.77 3/213 32492
/proc/meminfo: memFree=30651044/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13980732 memory=253372 CPUtime=13.22 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 31597 0 0 0 1308 14 0 0 20 0 15 0 20626259 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3495183 63343 3230 1 0 3483476 0
[pid=32478/tid=32479] ppid=32476 vsize=13980732 memory=-8774313645642428999 CPUtime=6.56 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 9552 0 0 0 651 5 0 0 20 0 15 0 20626260 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638730519680 139638330186927 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13980732 memory=-7522837583129502606 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 20626260 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13980732 memory=1399101730491701635 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13980732 memory=7681905605394137914 CPUtime=0.02 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 20626260 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13980732 memory=4206468019014099040 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13980732 memory=7681905605394137914 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13980732 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13980732 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13980732 memory=-7233780906022726806 CPUtime=2.94 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) R 32476 32476 7968 0 -1 4202560 8761 0 0 0 293 1 0 0 20 0 15 0 20626265 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638200690800 139638707802745 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13980732 memory=-7384994778349281184 CPUtime=2.85 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) S 32476 32476 7968 0 -1 1077944384 6523 0 0 0 284 1 0 0 20 0 15 0 20626265 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638199638000 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13980732 memory=-7522837583129502606 CPUtime=0.66 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 4385 0 0 0 65 1 0 0 20 0 15 0 20626265 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 20626273 14316269568 63343 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 13.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254752 KiB
[startup+7.20164 s]
/proc/loadavg: 1.80 1.74 1.77 3/213 32492
/proc/meminfo: memFree=30650920/32770624 swapFree=67108860/67108860
[pid=32476] ppid=32473 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/32476/stat : 32476 (xcsp3-exec) S 32473 32476 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20626251 9740288 345 18446744073709551615 4194304 5098028 140724244735936 140724244734040 140369148486268 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 24154112 140724244742522 140724244742726 140724244742726 140724244746219 0
/proc/32476/statm: 2378 345 289 221 0 87 0
[pid=32478] ppid=32476 vsize=13980732 memory=253516 CPUtime=13.9 cores=0,2,4,6
/proc/32478/stat : 32478 (java) S 32476 32476 7968 0 -1 1077944320 31637 0 0 0 1376 14 0 0 20 0 15 0 20626259 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 140730268399808 139638726282999 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
/proc/32478/statm: 3495183 63379 3231 1 0 3483476 0
[pid=32478/tid=32479] ppid=32476 vsize=13980732 memory=3472328296227683505 CPUtime=6.96 cores=0,2,4,6
/proc/32478/task/32479/stat : 32479 (java) R 32476 32476 7968 0 -1 4202560 9552 0 0 0 691 5 0 0 20 0 15 0 20626260 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638730521512 139638333898507 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32480] ppid=32476 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32478/task/32480/stat : 32480 (java) S 32476 32476 7968 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 20626260 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638660716944 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32481] ppid=32476 vsize=13980732 memory=7100839852556323184 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32481/stat : 32481 (java) S 32476 32476 7968 0 -1 1077944384 353 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638659664144 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32482] ppid=32476 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32478/task/32482/stat : 32482 (java) S 32476 32476 7968 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 20626260 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638658611856 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32483] ppid=32476 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/32478/task/32483/stat : 32483 (java) S 32476 32476 7968 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 15 0 20626260 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638657559056 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32484] ppid=32476 vsize=13980732 memory=253332 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32484/stat : 32484 (java) S 32476 32476 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638204902000 139638726294146 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32485] ppid=32476 vsize=13980732 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32485/stat : 32485 (java) S 32476 32476 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638203847968 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32486] ppid=32476 vsize=13980732 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32486/stat : 32486 (java) S 32476 32476 7968 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 20626262 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638202795632 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32487] ppid=32476 vsize=13980732 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32487/stat : 32487 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638201743952 139638726301595 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32488] ppid=32476 vsize=13980732 memory=-2461829820114675750 CPUtime=3.09 cores=0,2,4,6
/proc/32478/task/32488/stat : 32488 (java) S 32476 32476 7968 0 -1 1077944384 8792 0 0 0 308 1 0 0 20 0 15 0 20626265 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638200690800 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32489] ppid=32476 vsize=13980732 memory=-3039135443232236825 CPUtime=2.98 cores=0,2,4,6
/proc/32478/task/32489/stat : 32489 (java) R 32476 32476 7968 0 -1 4202560 6532 0 0 0 297 1 0 0 20 0 15 0 20626265 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638199638296 139638707802763 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32490] ppid=32476 vsize=13980732 memory=-7357787915995474596 CPUtime=0.66 cores=0,2,4,6
/proc/32478/task/32490/stat : 32490 (java) S 32476 32476 7968 0 -1 1077944384 4385 0 0 0 65 1 0 0 20 0 15 0 20626265 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638198585712 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32491] ppid=32476 vsize=13980732 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32491/stat : 32491 (java) S 32476 32476 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20626265 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638197533152 139638726293205 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
[pid=32478/tid=32492] ppid=32476 vsize=13980732 memory=14336895833 CPUtime=0 cores=0,2,4,6
/proc/32478/task/32492/stat : 32492 (java) S 32476 32476 7968 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 20626273 14316269568 63379 18446744073709551615 4194304 4196468 140730268417264 139638196480944 139638726294146 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21114880 140730268422578 140730268422754 140730268422754 140730268426191 0
Current children cumulated CPU time: 13.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 254896 KiB
Child status: 0
Real time (s): 7.23783
CPU time (s): 13.9578
CPU user time (s): 13.8011
CPU system time (s): 0.156672
CPU usage (%): 192.845
Max. virtual memory (cumulated for all children) (KiB): 13992356
Max. memory (cumulated for all children) (KiB): 254896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8011
system time used= 0.156672
maximum resident set size= 254444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32410
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= 2910
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 32476
# total CPU time (s): 13.9578
# total CPU user time (s): 13.8011
# total CPU system time (s): 0.156672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073122 second user time and 0.109952 second system time
The end