runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255138-1501984984/watcher-4255138-1501984984 -o /tmp/evaluation-result-4255138-1501984984/solver-4255138-1501984984 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501978204-32404 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1002132893 HOME/instance-4255138-1501984984.xml
pid=6062
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.84 1.91 1.94 3/200 6065
/proc/meminfo: memFree=31378996/32770624 swapFree=0/287632
[pid=6065] ppid=6062 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (runsolver) D 6062 6065 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46313694 24240128 107 18446744073709551615 4194304 4338465 140731852956368 140731852954008 140143159947991 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 27627520 140731852959842 140731852960332 140731852960332 140731852963786 0
/proc/6065/statm: 5918 107 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.84 1.91 1.94 3/200 6065
/proc/meminfo: memFree=31378996/32770624 swapFree=0/287632
[pid=6065] ppid=6062 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (runsolver) D 6062 6065 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 46313694 24240128 107 18446744073709551615 4194304 4338465 140731852956368 140731852954008 140143159947991 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 27627520 140731852959842 140731852960332 140731852960332 140731852963786 0
/proc/6065/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200239 s]
/proc/loadavg: 1.84 1.91 1.94 3/200 6065
/proc/meminfo: memFree=31378996/32770624 swapFree=0/287632
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.306989 s]
/proc/loadavg: 1.84 1.91 1.94 3/200 6065
/proc/meminfo: memFree=31378996/32770624 swapFree=0/287632
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700172 s]
/proc/loadavg: 1.84 1.91 1.94 3/200 6065
/proc/meminfo: memFree=31378996/32770624 swapFree=0/287632
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.93 1.93 1.95 5/216 6081
/proc/meminfo: memFree=31303244/32770624 swapFree=0/287688
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=3.76 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 24118 0 0 0 369 7 0 0 20 0 15 0 46313705 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 23819 3197 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 9970 0 0 0 129 4 0 0 20 0 15 0 46313706 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210983894592 140210963815649 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) R 6065 6065 30500 0 -1 4202560 5934 0 0 0 91 0 0 0 20 0 15 0 46313711 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210453588608 140210972751808 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) R 6065 6065 30500 0 -1 4202560 4136 0 0 0 94 0 0 0 20 0 15 0 46313711 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210452531664 140210958844865 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.54 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 2765 0 0 0 53 1 0 0 20 0 15 0 46313711 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 23819 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13990244
[startup+3.10079 s]
/proc/loadavg: 1.93 1.93 1.95 5/216 6081
/proc/meminfo: memFree=31269892/32770624 swapFree=0/287688
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=8.12 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 46486 0 0 0 802 10 0 0 20 0 15 0 46313705 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 35883 3200 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 10305 0 0 0 273 5 0 0 20 0 15 0 46313706 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210983892488 140210570694348 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) R 6065 6065 30500 0 -1 4202560 23714 0 0 0 230 2 0 0 20 0 15 0 46313711 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210453584096 140210964764981 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=2.37 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) R 6065 6065 30500 0 -1 4202560 7769 0 0 0 236 1 0 0 20 0 15 0 46313711 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210452530136 140210964779440 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 3349 0 0 0 61 1 0 0 20 0 15 0 46313711 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 35883 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 1.93 1.93 1.95 3/216 6081
/proc/meminfo: memFree=31230544/32770624 swapFree=0/287692
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=12.26 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 53332 0 0 0 1215 11 0 0 20 0 15 0 46313705 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 40851 3209 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=5.98 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 11371 0 0 0 593 5 0 0 20 0 15 0 46313706 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210983892856 140210979667350 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=2.75 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) R 6065 6065 30500 0 -1 4202560 25249 0 0 0 272 3 0 0 20 0 15 0 46313711 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210453596656 140210964767607 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=2.82 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) R 6065 6065 30500 0 -1 4202560 10232 0 0 0 281 1 0 0 20 0 15 0 46313711 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210452544112 140210963119044 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 4125 0 0 0 67 1 0 0 20 0 15 0 46313711 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 40851 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6067 sig 9
??? kill 6065 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40093 s]
/proc/loadavg: 1.93 1.93 1.95 3/216 6081
/proc/meminfo: memFree=31230544/32770624 swapFree=0/287692
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 53485 0 0 0 1231 11 0 0 20 0 15 0 46313705 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 40856 3209 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=6.08 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 11378 0 0 0 603 5 0 0 20 0 15 0 46313706 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210983892096 140210571023363 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6065 30500 0 -1 1077944384 25289 0 0 0 275 3 0 0 20 0 15 0 46313711 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210453596656 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=2.85 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6065 30500 0 -1 1077944384 10313 0 0 0 284 1 0 0 20 0 15 0 46313711 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210452544112 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 4125 0 0 0 67 1 0 0 20 0 15 0 46313711 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 40856 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 13990244
[startup+6.80061 s]
/proc/loadavg: 1.94 1.93 1.95 3/216 6081
/proc/meminfo: memFree=31224420/32770624 swapFree=0/287692
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=12.82 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 53533 0 0 0 1271 11 0 0 20 0 15 0 46313705 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 41368 3209 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=6.48 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 11393 0 0 0 643 5 0 0 20 0 15 0 46313706 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210983892096 140210571023769 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=2.78 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6065 30500 0 -1 1077944384 25289 0 0 0 275 3 0 0 20 0 15 0 46313711 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210453596656 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=2.85 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6065 30500 0 -1 1077944384 10313 0 0 0 284 1 0 0 20 0 15 0 46313711 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210452544112 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 4158 0 0 0 68 1 0 0 20 0 15 0 46313711 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 41368 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 12.82
Current children cumulated vsize (KiB) 13990244
[startup+7.20077 s]
/proc/loadavg: 1.94 1.93 1.95 3/216 6081
/proc/meminfo: memFree=31224420/32770624 swapFree=0/287692
[pid=6065] ppid=6062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (xcsp3-exec) S 6062 6065 30500 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 46313694 9740288 344 18446744073709551615 4194304 5098028 140735477878320 140735477876424 140329507418748 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 10 0 0 7196144 7232144 27631616 140735477879201 140735477879405 140735477879405 140735477882859 0
/proc/6065/statm: 2378 344 289 221 0 87 0
[pid=6067] ppid=6065 vsize=13980732 CPUtime=13.67 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6065 30500 0 -1 1077944320 57687 0 0 0 1355 12 0 0 20 0 15 0 46313705 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140726949174400 140210979655415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
/proc/6067/statm: 3495183 41894 3209 1 0 3483476 0
[pid=6067/tid=6068] ppid=6065 vsize=13980732 CPUtime=6.88 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6065 30500 0 -1 4202560 11407 0 0 0 683 5 0 0 20 0 15 0 46313706 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210983891864 140210570694487 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6069] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6069/stat : 6069 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210899069712 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6070] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6065 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210898017168 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6071] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210896964624 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6072] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6065 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46313706 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210895912080 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6073] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6065 30500 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210457806832 140210979666562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6074] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6065 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210456753056 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6075] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6065 30500 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46313708 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210455700464 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6076] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210454649040 140210979674011 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6077] ppid=6065 vsize=13980732 CPUtime=3.13 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) R 6065 6065 30500 0 -1 4202560 28613 0 0 0 310 3 0 0 20 0 15 0 46313711 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210453582160 140210961199504 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6078] ppid=6065 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6065 30500 0 -1 1077944384 11129 0 0 0 293 1 0 0 20 0 15 0 46313711 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210452544112 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6079] ppid=6065 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6065 30500 0 -1 1077944384 4158 0 0 0 68 1 0 0 20 0 15 0 46313711 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210451491568 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6080] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6065 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46313711 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210450439264 140210979665621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
[pid=6067/tid=6081] ppid=6065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6065 30500 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 15 0 46313714 14316269568 41894 18446744073709551615 4194304 4196468 140726949191856 140210449385776 140210979666562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20779008 140726949200346 140726949200521 140726949200521 140726949203919 0
Current children cumulated CPU time (s) 13.67
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 7.24053
CPU time (s): 13.7449
CPU user time (s): 13.6146
CPU system time (s): 0.130306
CPU usage (%): 189.833
Max. virtual memory (cumulated for all children) (KiB): 13993088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6146
system time used= 0.130306
maximum resident set size= 167972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58896
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= 2716
involuntary context switches= 31
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032723 second user time and 0.049085 second system time
The end