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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283977-1503192240/watcher-4283977-1503192240 -o /tmp/evaluation-result-4283977-1503192240/solver-4283977-1503192240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1034804068 HOME/instance-4283977-1503192240.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13877, runsolver pid=13874
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 1.82 1.59 1.60 2/197 13878
/proc/meminfo: memFree=30425336/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (runsolver) D 13874 13877 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 121416966 34791424 113 18446744073709551615 4194304 4346622 140723075700608 140723075697240 139967433941719 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 25022464 140723075706935 140723075707428 140723075707428 140723075710922 0
/proc/13877/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209159 s]*
/proc/loadavg: 1.82 1.59 1.60 2/211 13892
/proc/meminfo: memFree=30413384/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13907304 memory=21992 CPUtime=0.05 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 4876 0 0 0 4 1 0 0 20 0 14 0 121416977 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3476826 5498 2577 1 0 3466323 0
[pid=13879/tid=13880] ppid=13877 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) D 13877 13877 28892 0 -1 4202560 3058 0 0 0 4 0 0 0 20 0 14 0 121416978 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139867272107936 139867267892477 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121416978 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13907304 memory=3473035620268320416 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121416978 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121416978 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121416978 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13907304 memory=139967436891776 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121416980 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121416980 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121416980 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121416983 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 28892 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 121416983 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866741364720 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121416983 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866740312176 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13907304 memory=139967436891776 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 121416983 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121416983 14241079296 5498 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23368 KiB

[startup+0.310088 s]*
/proc/loadavg: 1.82 1.59 1.60 4/212 13893
/proc/meminfo: memFree=30405720/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13974352 memory=33580 CPUtime=0.23 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 6348 0 0 0 21 2 0 0 20 0 15 0 121416977 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3493588 8395 2982 1 0 3482964 0
[pid=13879/tid=13880] ppid=13877 vsize=13974352 memory=-7677926825137650786 CPUtime=0.14 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 3675 0 0 0 13 1 0 0 20 0 15 0 121416978 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139867272098208 139867251950942 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121416978 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13974352 memory=139967436891776 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121416980 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 28892 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 121416983 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866741364720 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 28892 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 121416983 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866740312176 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13974352 memory=139967436891776 CPUtime=0.05 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 121416983 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13974352 memory=139967436891776 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416988 14309736448 8395 18446744073709551615 4194304 4196468 140733393486848 139866737154864 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 34956 KiB

[startup+0.70115 s]
/proc/loadavg: 1.82 1.59 1.60 6/212 13893
/proc/meminfo: memFree=30384692/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13978684 memory=73724 CPUtime=1.25 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 13114 0 0 0 120 5 0 0 20 0 15 0 121416977 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3494671 18431 3154 1 0 3482964 0
[pid=13879/tid=13880] ppid=13877 vsize=13978684 memory=7306598249373319271 CPUtime=0.51 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 7883 0 0 0 48 3 0 0 20 0 15 0 121416978 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139867272104952 139866904952575 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13978684 memory=5859271455747162216 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13978684 memory=7588675599774802240 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13978684 memory=3042562604574794800 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416978 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13978684 memory=4713745541279610410 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121416978 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13978684 memory=-7240599211820661557 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121416980 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13978684 memory=7679937539659563795 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) R 13877 13877 28892 0 -1 4202560 1529 0 0 0 23 0 0 0 20 0 15 0 121416983 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866741355936 139867251842801 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) R 13877 13877 28892 0 -1 4202560 954 0 0 0 21 0 0 0 20 0 15 0 121416983 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866740312304 139867251255334 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13978684 memory=6943526294502006880 CPUtime=0.27 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 1441 0 0 0 27 0 0 0 20 0 15 0 121416983 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416988 14314172416 18431 18446744073709551615 4194304 4196468 140733393486848 139866737154864 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 75100 KiB

[startup+1.50157 s]
/proc/loadavg: 1.82 1.59 1.60 5/212 13893
/proc/meminfo: memFree=30299424/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13980732 memory=202984 CPUtime=3.89 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 15779 0 0 0 379 10 0 0 20 0 15 0 121416977 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3495183 50746 3218 1 0 3483476 0
[pid=13879/tid=13880] ppid=13877 vsize=13980732 memory=5 CPUtime=1.28 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 8638 0 0 0 123 5 0 0 20 0 15 0 121416978 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139867272106720 139866901971016 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13980732 memory=224 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13980732 memory=65 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 121416978 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13980732 memory=322 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13980732 memory=108 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13980732 memory=164080 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13980732 memory=279934559848920 CPUtime=1.01 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) R 13877 13877 28892 0 -1 4202560 2012 0 0 0 101 0 0 0 20 0 15 0 121416983 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866741348560 139867252758398 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13980732 memory=456 CPUtime=0.97 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) R 13877 13877 28892 0 -1 4202560 1528 0 0 0 97 0 0 0 20 0 15 0 121416983 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866740296016 139867252752153 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13980732 memory=4028 CPUtime=0.5 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) R 13877 13877 28892 0 -1 1077944384 2153 0 0 0 49 1 0 0 20 0 15 0 121416983 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13980732 memory=65048 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121416988 14316269568 50746 18446744073709551615 4194304 4196468 140733393486848 139866737154864 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 3.89 s
Current children cumulated vsize: 13990244 KiB

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

/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 8801 0 0 0 283 5 0 0 20 0 15 0 121416978 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139867272109480 139866908170659 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 121416978 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13980732 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13980732 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) D 13877 13877 28892 0 -1 4202560 4424 0 0 0 210 0 0 0 20 0 15 0 121416983 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866741365016 139867247794591 0 4 1 16800974 18446744072099675269 0 0 -1 1 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13980732 memory=6944656592455097440 CPUtime=1.9 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) D 13877 13877 28892 0 -1 4202560 5328 0 0 0 189 1 0 0 20 0 15 0 121416983 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866740312096 139867247794591 0 4 1 16800974 18446744072099675269 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13980732 memory=6656426216303648864 CPUtime=0.66 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) D 13877 13877 28892 0 -1 4202560 3131 0 0 0 65 1 0 0 20 0 15 0 121416983 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866739259552 139867247794591 0 4 1 16800974 18446744072099675269 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) D 13877 13877 28892 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 121416988 14316269568 57054 18446744073709551615 4194304 4196468 140733393486848 139866737154784 139867252726542 0 4 1 16800974 18446744072099675269 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 229592 KiB

[startup+3.71578 s]
# the end of solver process 13877 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.39443 s, system=0.1354 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.2891 s]
/proc/loadavg: 1.82 1.59 1.60 3/212 13893
/proc/meminfo: memFree=30217780/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13980732 memory=228564 CPUtime=8 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 26497 0 0 0 788 12 0 0 20 0 15 0 121416977 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3495183 57141 3227 1 0 3483476 0
[pid=13879/tid=13880] ppid=13877 vsize=13980732 memory=227560 CPUtime=3.06 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 9397 0 0 0 301 5 0 0 20 0 15 0 121416978 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139867272109480 139866907302319 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13980732 memory=1204 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13980732 memory=1000 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 121416978 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13980732 memory=9136 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13980732 memory=37212 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13980732 memory=65048 CPUtime=2.16 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 28892 0 -1 1077944384 5670 0 0 0 216 0 0 0 20 0 15 0 121416983 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866741364720 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13980732 memory=1296 CPUtime=1.97 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 28892 0 -1 1077944384 6727 0 0 0 196 1 0 0 20 0 15 0 121416983 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866740312176 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13980732 memory=2420 CPUtime=0.67 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 3246 0 0 0 66 1 0 0 20 0 15 0 121416983 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 28892 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 121416988 14316269568 57141 18446744073709551615 4194304 4196468 140733393486848 139866737154864 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 229940 KiB

[startup+3.6008 s]
/proc/loadavg: 1.82 1.59 1.60 3/212 13893
/proc/meminfo: memFree=30217780/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13980732 memory=228916 CPUtime=8.37 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 27074 0 0 0 825 12 0 0 20 0 15 0 121416977 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3495183 57229 3229 1 0 3483476 0
[pid=13879/tid=13880] ppid=13877 vsize=13980732 memory=0 CPUtime=3.37 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) R 13877 13877 28892 0 -1 4202560 9448 0 0 0 332 5 0 0 20 0 15 0 121416978 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139867272106880 139866908592536 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 121416978 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13980732 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 121416978 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866745575920 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13980732 memory=139967430927201 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13980732 memory=7236278992158876776 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121416980 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13980732 memory=7670301315262144873 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866742418128 139867267889051 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13980732 memory=1376 CPUtime=2.18 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 28892 0 -1 1077944384 5782 0 0 0 218 0 0 0 20 0 15 0 121416983 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866741364720 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13980732 memory=227972 CPUtime=1.99 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 28892 0 -1 1077944384 6848 0 0 0 198 1 0 0 20 0 15 0 121416983 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866740312176 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13980732 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 3488 0 0 0 67 1 0 0 20 0 15 0 121416983 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866739259632 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13980732 memory=322 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121416983 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13893] ppid=13877 vsize=13980732 memory=108 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13893/stat : 13893 (java) S 13877 13877 28892 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 121416988 14316269568 57229 18446744073709551615 4194304 4196468 140733393486848 139866737154864 139867267881602 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 230292 KiB

[startup+3.70079 s]
/proc/loadavg: 1.82 1.59 1.60 3/212 13893
/proc/meminfo: memFree=30217780/32770624 swapFree=67108860/67108860
[pid=13877] ppid=13874 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/13877/stat : 13877 (xcsp3-exec) S 13874 13877 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 121416966 9740288 344 18446744073709551615 4194304 5098028 140723937151968 140723937150072 140087688950396 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 39112704 140723937153400 140723937153605 140723937153605 140723937157099 0
/proc/13877/statm: 2378 344 289 221 0 87 0
[pid=13879] ppid=13877 vsize=13980732 memory=229064 CPUtime=8.51 cores=1,3,5,7
/proc/13879/stat : 13879 (java) S 13877 13877 28892 0 -1 1077944320 27870 0 0 0 839 12 0 0 20 0 14 0 121416977 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 140733393469392 139867267870455 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
/proc/13879/statm: 3495183 57266 3231 1 0 3483476 0
[pid=13879/tid=13880] ppid=13877 vsize=13980732 memory=228564 CPUtime=3.46 cores=1,3,5,7
/proc/13879/task/13880/stat : 13880 (java) S 13877 13877 28892 0 -1 1077944384 9987 0 0 0 341 5 0 0 20 0 14 0 121416978 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139867272113296 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13881] ppid=13877 vsize=13980732 memory=1708 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13881/stat : 13881 (java) S 13877 13877 28892 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 14 0 121416978 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139867224836368 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13882] ppid=13877 vsize=13980732 memory=1444 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13882/stat : 13882 (java) S 13877 13877 28892 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 14 0 121416978 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139867223783824 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13883] ppid=13877 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13883/stat : 13883 (java) S 13877 13877 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 14 0 121416978 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139867222731280 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13884] ppid=13877 vsize=13980732 memory=-7677926825137650786 CPUtime=0.02 cores=1,3,5,7
/proc/13879/task/13884/stat : 13884 (java) S 13877 13877 28892 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 14 0 121416978 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139867221678736 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13885] ppid=13877 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13885/stat : 13885 (java) S 13877 13877 28892 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 14 0 121416980 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866745576128 139867267881602 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13886] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13886/stat : 13886 (java) S 13877 13877 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121416980 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866744522144 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13887] ppid=13877 vsize=13980732 memory=228216 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13887/stat : 13887 (java) S 13877 13877 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121416980 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866743469552 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13888] ppid=13877 vsize=13980732 memory=93360 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13888/stat : 13888 (java) S 13877 13877 28892 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 14 0 121416983 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866742417776 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13889] ppid=13877 vsize=13980732 memory=0 CPUtime=2.2 cores=1,3,5,7
/proc/13879/task/13889/stat : 13889 (java) S 13877 13877 28892 0 -1 1077944384 5859 0 0 0 220 0 0 0 20 0 14 0 121416983 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866741349776 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13890] ppid=13877 vsize=13980732 memory=0 CPUtime=2 cores=1,3,5,7
/proc/13879/task/13890/stat : 13890 (java) S 13877 13877 28892 0 -1 1077944384 6906 0 0 0 199 1 0 0 20 0 14 0 121416983 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866740296688 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13891] ppid=13877 vsize=13980732 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/13879/task/13891/stat : 13891 (java) S 13877 13877 28892 0 -1 1077944384 3597 0 0 0 68 1 0 0 20 0 14 0 121416983 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866739255504 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
[pid=13879/tid=13892] ppid=13877 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13879/task/13892/stat : 13892 (java) S 13877 13877 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121416983 14316269568 57266 18446744073709551615 4194304 4196468 140733393486848 139866738207328 139867267880661 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15482880 140733393490353 140733393490529 140733393490529 140733393493967 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 230440 KiB

Child status: 0
Real time (s): 3.71582
CPU time (s): 8.52983
CPU user time (s): 8.39443
CPU system time (s): 0.1354
CPU usage (%): 229.554
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 231892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.39443
system time used= 0.1354
maximum resident set size= 230668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28438
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= 2288
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 13877
#   total CPU time (s): 8.52983
#   total CPU user time (s): 8.39443
#   total CPU system time (s): 0.1354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044475 second user time and 0.078842 second system time

The end