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 (15413 MiB free)
memory of node 1: 16384 MiB (15422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270124-1502622544/watcher-4270124-1502622544 -o /tmp/evaluation-result-4270124-1502622544/solver-4270124-1502622544 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21065 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 85756368 HOME/instance-4270124-1502622544.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22958, runsolver pid=22955
[startup+0.100184 s]*
/proc/loadavg: 1.50 1.77 1.82 3/197 22960
/proc/meminfo: memFree=31574592/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=11658652 memory=9812 CPUtime=0 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 2186 0 0 0 0 0 0 0 20 0 3 0 50595036 11938459648 2387 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 2914920 2387 1150 1 0 2904890 0
[pid=22960/tid=22961] ppid=22958 vsize=13356504 memory=-8713483618642459740 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 1134 0 0 0 0 0 0 0 20 0 6 0 50595036 13677060096 2598 18446744073709551615 4194304 4196468 140726378652096 139717035504968 139717017345279 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13356504 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50595037 13677060096 2598 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13356504 memory=140643387844224 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50595037 13677060096 2598 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50595037 13677060096 2663 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50595037 13677060096 2663 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11668164 KiB
Current children cumulated memory: 11192 KiB
[startup+0.210095 s]*
/proc/loadavg: 1.50 1.77 1.82 4/211 22974
/proc/meminfo: memFree=31563836/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13974352 memory=22296 CPUtime=0.07 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 5020 0 0 0 6 1 0 0 20 0 15 0 50595036 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3493588 5574 2714 1 0 3482964 0
[pid=22960/tid=22961] ppid=22958 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 3177 0 0 0 5 1 0 0 20 0 15 0 50595036 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139717035491104 139717031285917 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13974352 memory=1358 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13974352 memory=3763241386681312928 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13974352 memory=140643387844224 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595038 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50595038 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50595039 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13974352 memory=140643387844224 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13974352 memory=140643387844224 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595046 14309736448 5574 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23676 KiB
[startup+0.310687 s]*
/proc/loadavg: 1.50 1.77 1.82 4/211 22974
/proc/meminfo: memFree=31547856/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13974352 memory=37112 CPUtime=0.25 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 8805 0 0 0 22 3 0 0 20 0 15 0 50595036 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3493588 9278 2981 1 0 3482964 0
[pid=22960/tid=22961] ppid=22958 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 6001 0 0 0 13 2 0 0 20 0 15 0 50595036 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139717035491760 139717015344478 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595038 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50595038 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50595039 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 679 0 0 0 1 0 0 0 20 0 15 0 50595041 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 15 0 50595041 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13974352 memory=140643387844224 CPUtime=0.05 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 734 0 0 0 5 0 0 0 20 0 15 0 50595041 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13974352 memory=140643387844224 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595046 14309736448 9278 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38492 KiB
[startup+0.701341 s]
/proc/loadavg: 1.50 1.77 1.82 5/211 22974
/proc/meminfo: memFree=31537504/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13980732 memory=62364 CPUtime=1.19 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 13773 0 0 0 113 6 0 0 20 0 15 0 50595036 14316269568 15591 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3495183 15591 3176 1 0 3483476 0
[pid=22960/tid=22961] ppid=22958 vsize=13980732 memory=4580 CPUtime=0.53 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 8376 0 0 0 50 3 0 0 20 0 15 0 50595036 14316269568 15591 18446744073709551615 4194304 4196468 140726378652096 139717035500392 139716647824545 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 15591 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 15591 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13980732 memory=3472464540640410906 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50595039 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) R 22958 22958 11586 0 -1 4202560 1597 0 0 0 19 0 0 0 20 0 15 0 50595041 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716572693160 139717023553373 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13980732 memory=15457 CPUtime=0.19 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) R 22958 22958 11586 0 -1 4202560 1129 0 0 0 19 0 0 0 20 0 15 0 50595041 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716571639832 139717023553373 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13980732 memory=4420 CPUtime=0.22 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 1404 0 0 0 22 0 0 0 20 0 15 0 50595041 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595046 14316269568 15657 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63744 KiB
[startup+1.50078 s]
/proc/loadavg: 1.70 1.81 1.83 5/211 22974
/proc/meminfo: memFree=31482636/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13980732 memory=119692 CPUtime=3.6 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 36494 0 0 0 351 9 0 0 20 0 15 0 50595036 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3495183 29923 3188 1 0 3483476 0
[pid=22960/tid=22961] ppid=22958 vsize=13980732 memory=33 CPUtime=1.33 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 8546 0 0 0 129 4 0 0 20 0 15 0 50595036 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139717035499552 139716648596874 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13980732 memory=3472464540640410906 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50595037 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 29923 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50595039 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13980732 memory=1380 CPUtime=1.45 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 18785 0 0 0 143 2 0 0 20 0 15 0 50595041 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 13175 0 0 0 144 2 0 0 20 0 15 0 50595041 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13980732 memory=250596 CPUtime=0.32 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 3452 0 0 0 31 1 0 0 20 0 15 0 50595041 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13980732 memory=281286535499104 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13980732 memory=299524560448127262 CPUtime=0.04 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1557 0 0 0 2 2 0 0 20 0 15 0 50595046 14316269568 62647 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 106.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 251968 KiB
[startup+162.301 s]
/proc/loadavg: 1.69 1.75 1.80 3/211 23058
/proc/meminfo: memFree=31144264/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13980732 memory=359036 CPUtime=166.74 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 65542 0 0 0 16635 39 0 0 20 0 15 0 50595036 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3495183 89759 3222 1 0 3483476 0
[pid=22960/tid=22961] ppid=22958 vsize=13980732 memory=359548 CPUtime=161.16 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 19205 0 0 0 16107 9 0 0 20 0 15 0 50595036 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139717035503568 139716649286006 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13980732 memory=334152 CPUtime=0.45 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 987 0 0 0 41 4 0 0 20 0 15 0 50595037 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13980732 memory=331832 CPUtime=0.46 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 881 0 0 0 40 6 0 0 20 0 15 0 50595037 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13980732 memory=332856 CPUtime=0.46 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 1458 0 0 0 40 6 0 0 20 0 15 0 50595037 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13980732 memory=357944 CPUtime=0.45 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1419 0 0 0 41 4 0 0 20 0 15 0 50595037 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13980732 memory=359548 CPUtime=0.32 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 1398 0 0 0 29 3 0 0 20 0 15 0 50595038 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13980732 memory=333640 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50595039 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13980732 memory=1380 CPUtime=1.47 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 19404 0 0 0 145 2 0 0 20 0 15 0 50595041 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13980732 memory=-8774313645642428999 CPUtime=1.48 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 13873 0 0 0 146 2 0 0 20 0 15 0 50595041 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13980732 memory=2168 CPUtime=0.32 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 4004 0 0 0 31 1 0 0 20 0 15 0 50595041 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13980732 memory=332856 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1564 0 0 0 2 4 0 0 20 0 15 0 50595046 14316269568 89759 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 166.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360416 KiB
[startup+222.301 s]
/proc/loadavg: 1.40 1.67 1.77 3/211 23061
/proc/meminfo: memFree=30915300/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13980732 memory=484936 CPUtime=227.4 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 69079 0 0 0 22692 48 0 0 20 0 15 0 50595036 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3495183 121234 3222 1 0 3483476 0
[pid=22960/tid=22961] ppid=22958 vsize=13980732 memory=485816 CPUtime=220.74 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 20779 0 0 0 22063 11 0 0 20 0 15 0 50595036 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139717035503888 140726378690952 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13980732 memory=485448 CPUtime=0.69 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 1393 0 0 0 63 6 0 0 20 0 15 0 50595037 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13980732 memory=485448 CPUtime=0.69 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1267 0 0 0 61 8 0 0 20 0 15 0 50595037 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13980732 memory=485448 CPUtime=0.7 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 1837 0 0 0 62 8 0 0 20 0 15 0 50595037 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1904 0 0 0 64 6 0 0 20 0 15 0 50595037 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13980732 memory=1380 CPUtime=0.43 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 1673 0 0 0 39 4 0 0 20 0 15 0 50595038 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13980732 memory=423596 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13980732 memory=69 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50595039 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13980732 memory=484936 CPUtime=1.47 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 19406 0 0 0 145 2 0 0 20 0 15 0 50595041 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13980732 memory=4126316290023845779 CPUtime=1.48 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 13875 0 0 0 146 2 0 0 20 0 15 0 50595041 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13980732 memory=1380 CPUtime=0.32 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 4006 0 0 0 31 1 0 0 20 0 15 0 50595041 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13980732 memory=485448 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13980732 memory=15880 CPUtime=0.1 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1590 0 0 0 4 6 0 0 20 0 15 0 50595046 14316269568 121234 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 227.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 486316 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.47 1.67 1.77 3/211 23061
/proc/meminfo: memFree=30909388/32770624 swapFree=67108860/67108860
[pid=22958] ppid=22955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22958/stat : 22958 (xcsp3-exec) S 22955 22958 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50595026 9740288 345 18446744073709551615 4194304 5098028 140726877643872 140726877641976 139953456181884 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 9 0 0 7196144 7232144 13590528 140726877651328 140726877651530 140726877651530 140726877655019 0
/proc/22958/statm: 2378 345 289 221 0 87 0
[pid=22960] ppid=22958 vsize=13980732 memory=484932 CPUtime=245.12 cores=0,2,4,6
/proc/22960/stat : 22960 (java) S 22958 22958 11586 0 -1 1077944320 71361 0 0 0 24464 48 0 0 20 0 15 0 50595036 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 140726378634640 139717031263991 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
/proc/22960/statm: 3495183 121233 3222 1 0 3483476 0
[pid=22960/tid=22961] ppid=22958 vsize=13980732 memory=1296 CPUtime=238.43 cores=0,2,4,6
/proc/22960/task/22961/stat : 22961 (java) R 22958 22958 11586 0 -1 4202560 23044 0 0 0 23832 11 0 0 20 0 15 0 50595036 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139717035503776 139716649286190 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22962] ppid=22958 vsize=13980732 memory=1728 CPUtime=0.7 cores=0,2,4,6
/proc/22960/task/22962/stat : 22962 (java) S 22958 22958 11586 0 -1 1077944384 1394 0 0 0 64 6 0 0 20 0 15 0 50595037 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716965698704 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22963] ppid=22958 vsize=13980732 memory=4126316290023845779 CPUtime=0.69 cores=0,2,4,6
/proc/22960/task/22963/stat : 22963 (java) S 22958 22958 11586 0 -1 1077944384 1269 0 0 0 61 8 0 0 20 0 15 0 50595037 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716630068240 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22964] ppid=22958 vsize=13980732 memory=1008 CPUtime=0.71 cores=0,2,4,6
/proc/22960/task/22964/stat : 22964 (java) S 22958 22958 11586 0 -1 1077944384 1843 0 0 0 63 8 0 0 20 0 15 0 50595037 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716629015440 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22965] ppid=22958 vsize=13980732 memory=1232 CPUtime=0.71 cores=0,2,4,6
/proc/22960/task/22965/stat : 22965 (java) S 22958 22958 11586 0 -1 1077944384 1912 0 0 0 65 6 0 0 20 0 15 0 50595037 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716627962640 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22966] ppid=22958 vsize=13980732 memory=8896 CPUtime=0.43 cores=0,2,4,6
/proc/22960/task/22966/stat : 22966 (java) S 22958 22958 11586 0 -1 1077944384 1673 0 0 0 39 4 0 0 20 0 15 0 50595038 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716576917872 139717031275138 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22967] ppid=22958 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22967/stat : 22967 (java) S 22958 22958 11586 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 50595038 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716575863840 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22968] ppid=22958 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22968/stat : 22968 (java) S 22958 22958 11586 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 50595039 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716574810992 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22969] ppid=22958 vsize=13980732 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22969/stat : 22969 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716573759312 139717031282587 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22970] ppid=22958 vsize=13980732 memory=15880 CPUtime=1.47 cores=0,2,4,6
/proc/22960/task/22970/stat : 22970 (java) S 22958 22958 11586 0 -1 1077944384 19406 0 0 0 145 2 0 0 20 0 15 0 50595041 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716572707696 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22971] ppid=22958 vsize=13980732 memory=16240 CPUtime=1.48 cores=0,2,4,6
/proc/22960/task/22971/stat : 22971 (java) S 22958 22958 11586 0 -1 1077944384 13875 0 0 0 146 2 0 0 20 0 15 0 50595041 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716571654896 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22972] ppid=22958 vsize=13980732 memory=16748 CPUtime=0.32 cores=0,2,4,6
/proc/22960/task/22972/stat : 22972 (java) S 22958 22958 11586 0 -1 1077944384 4006 0 0 0 31 1 0 0 20 0 15 0 50595041 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716570602096 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22973] ppid=22958 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/22960/task/22973/stat : 22973 (java) S 22958 22958 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50595041 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716569549536 139717031274197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
[pid=22960/tid=22974] ppid=22958 vsize=13980732 memory=644 CPUtime=0.11 cores=0,2,4,6
/proc/22960/task/22974/stat : 22974 (java) S 22958 22958 11586 0 -1 1077944384 1590 0 0 0 5 6 0 0 20 0 15 0 50595046 14316269568 121233 18446744073709551615 4194304 4196468 140726378652096 139716568496816 139717031275138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33173504 140726378656183 140726378656358 140726378656358 140726378659791 0
Current children cumulated CPU time: 245.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 486312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 22958 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000855 s, system=0.001235 s
[startup+240.026 s]
# the end of solver process 22960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=244.659 s, system=0.49837 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.026
CPU time (s): 245.158
CPU user time (s): 244.659
CPU system time (s): 0.49837
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 13994588
Max. memory (cumulated for all children) (KiB): 487852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.659
system time used= 0.49837
maximum resident set size= 486984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72413
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18797
involuntary context switches= 609
# summary of solver processes directly reported to runsolver:
# pid: 22958,22960
# total CPU time (s): 245.158
# total CPU user time (s): 244.659
# total CPU system time (s): 0.49837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60662 second user time and 2.17461 second system time
The end