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-4254015-1501614168/watcher-4254015-1501614168 -o /tmp/evaluation-result-4254015-1501614168/solver-4254015-1501614168 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5192 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1197746244 HOME/instance-4254015-1501614168.xml
pid=6979
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.98 2.00 1.75 3/195 6982
/proc/meminfo: memFree=31838584/32770624 swapFree=0/185024
[pid=6982] ppid=6979 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (runsolver) D 6979 6982 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10037062 24240128 107 18446744073709551615 4194304 4338465 140731938141200 140731938138840 140316874646231 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16076800 140731938144349 140731938144838 140731938144838 140731938148298 0
/proc/6982/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.98 2.00 1.75 3/195 6982
/proc/meminfo: memFree=31838584/32770624 swapFree=0/185024
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 1.98 2.00 1.75 3/195 6982
/proc/meminfo: memFree=31838584/32770624 swapFree=0/185024
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300229 s]
/proc/loadavg: 1.98 2.00 1.75 3/195 6982
/proc/meminfo: memFree=31838584/32770624 swapFree=0/185024
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702309 s]
/proc/loadavg: 1.98 2.00 1.75 3/195 6982
/proc/meminfo: memFree=31838584/32770624 swapFree=0/185024
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 1.98 2.00 1.75 6/211 6998
/proc/meminfo: memFree=31769376/32770624 swapFree=0/185048
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 21900 0 0 0 370 7 0 0 20 0 15 0 10037069 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 22183 3175 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 8792 0 0 0 133 4 0 0 20 0 15 0 10037069 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140005015921448 140004612914670 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.02 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) R 6982 6982 5131 0 -1 4202560 4504 0 0 0 102 0 0 0 20 0 15 0 10037074 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004148032672 140004995181840 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) R 6982 6982 5131 0 -1 4202560 4900 0 0 0 98 0 0 0 20 0 15 0 10037074 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004146979968 140004993229206 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 2395 0 0 0 36 0 0 0 20 0 15 0 10037074 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037079 14316269568 22183 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.98 2.00 1.75 3/210 6998
/proc/meminfo: memFree=31759520/32770624 swapFree=0/185048
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=6.24 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 23414 0 0 0 617 7 0 0 20 0 15 0 10037069 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 24034 3177 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 9218 0 0 0 292 4 0 0 20 0 15 0 10037069 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140005015922320 140004612915855 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.41 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 5060 0 0 0 141 0 0 0 20 0 15 0 10037074 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) R 6982 6982 5131 0 -1 4202560 5151 0 0 0 140 0 0 0 20 0 15 0 10037074 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140004993207307 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 2624 0 0 0 42 0 0 0 20 0 15 0 10037074 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 10037079 14316269568 24034 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 1.99 2.00 1.75 3/210 6998
/proc/meminfo: memFree=31735904/32770624 swapFree=0/185048
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=9.79 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 27841 0 0 0 972 7 0 0 20 0 15 0 10037069 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 30292 3194 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 9879 0 0 0 612 5 0 0 20 0 15 0 10037069 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140005015922144 140004614046300 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 5944 0 0 0 155 0 0 0 20 0 15 0 10037074 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.6 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) S 6982 6982 5131 0 -1 1077944384 7009 0 0 0 160 0 0 0 20 0 15 0 10037074 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 3154 0 0 0 43 1 0 0 20 0 15 0 10037074 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 10037079 14316269568 30292 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.99 2.00 1.75 3/210 6998
/proc/meminfo: memFree=31670240/32770624 swapFree=0/185068
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=16.35 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 31026 0 0 0 1626 9 0 0 20 0 15 0 10037069 14316269568 47226 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 47226 3196 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 10724 0 0 0 1251 5 0 0 20 0 15 0 10037069 14316269568 47226 18446744073709551615 4194304 4196468 140727258728624 140005015921728 140004614046220 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 47226 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10037070 14316269568 47226 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
################
# More data... #
################
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 9995 0 0 0 176 0 0 0 20 0 15 0 10037074 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) S 6982 6982 5131 0 -1 1077944384 8205 0 0 0 165 0 0 0 20 0 15 0 10037074 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 5891 0 0 0 46 1 0 0 20 0 15 0 10037074 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 472 0 0 0 0 1 0 0 20 0 15 0 10037079 14316269568 48352 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 106.18
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.92 1.96 1.77 3/212 7088
/proc/meminfo: memFree=31594848/32770624 swapFree=0/185216
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=166.23 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 46086 0 0 0 16609 14 0 0 20 0 15 0 10037069 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 42330 3220 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=162.09 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 13850 0 0 0 16203 6 0 0 20 0 15 0 10037069 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140005015924688 140004614046246 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 10037070 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 933 0 0 0 2 0 0 0 20 0 15 0 10037070 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1004 0 0 0 2 0 0 0 20 0 15 0 10037070 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1109 0 0 0 2 0 0 0 20 0 15 0 10037070 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 1437 0 0 0 2 0 0 0 20 0 15 0 10037071 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 9997 0 0 0 176 0 0 0 20 0 15 0 10037074 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) S 6982 6982 5131 0 -1 1077944384 9465 0 0 0 168 0 0 0 20 0 15 0 10037074 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 5894 0 0 0 46 1 0 0 20 0 15 0 10037074 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 490 0 0 0 1 2 0 0 20 0 15 0 10037079 14316269568 42330 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.58 1.87 1.76 3/212 7090
/proc/meminfo: memFree=31603816/32770624 swapFree=0/185288
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=226.27 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 47557 0 0 0 22613 14 0 0 20 0 15 0 10037069 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 40279 3220 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=222.06 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 14324 0 0 0 22200 6 0 0 20 0 15 0 10037069 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140005015924688 140004614285952 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 830 0 0 0 3 1 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 981 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1047 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1206 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 1681 0 0 0 4 0 0 0 20 0 15 0 10037071 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 10000 0 0 0 176 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) S 6982 6982 5131 0 -1 1077944384 9467 0 0 0 168 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 6152 0 0 0 46 1 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 10037079 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 226.27
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.62 1.86 1.76 3/212 7091
/proc/meminfo: memFree=31603816/32770624 swapFree=0/185316
[pid=6982] ppid=6979 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6982/stat : 6982 (xcsp3-exec) S 6979 6982 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10037062 9740288 345 18446744073709551615 4194304 5098028 140722953737968 140722953736072 140165746627196 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 37232640 140722953740699 140722953740903 140722953740903 140722953744363 0
/proc/6982/statm: 2378 345 289 221 0 87 0
[pid=6984] ppid=6982 vsize=13980732 CPUtime=243.98 cores=1,3,5,7
/proc/6984/stat : 6984 (java) S 6982 6982 5131 0 -1 1077944320 47640 0 0 0 24383 15 0 0 20 0 15 0 10037069 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140727258711168 140005011685111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
/proc/6984/statm: 3495183 40279 3220 1 0 3483484 0
[pid=6984/tid=6985] ppid=6982 vsize=13980732 CPUtime=239.74 cores=1,3,5,7
/proc/6984/task/6985/stat : 6985 (java) R 6982 6982 5131 0 -1 4202560 14402 0 0 0 23968 6 0 0 20 0 15 0 10037069 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140005015924688 140004614047473 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6986] ppid=6982 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6984/task/6986/stat : 6986 (java) S 6982 6982 5131 0 -1 1077944384 831 0 0 0 3 1 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004931099792 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6987] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6987/stat : 6987 (java) S 6982 6982 5131 0 -1 1077944384 982 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004930046992 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6988] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6988/stat : 6988 (java) S 6982 6982 5131 0 -1 1077944384 1050 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004609223568 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6989] ppid=6982 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6984/task/6989/stat : 6989 (java) S 6982 6982 5131 0 -1 1077944384 1206 0 0 0 3 0 0 0 20 0 15 0 10037070 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004608170768 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6990] ppid=6982 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6984/task/6990/stat : 6990 (java) S 6982 6982 5131 0 -1 1077944384 1681 0 0 0 4 0 0 0 20 0 15 0 10037071 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004152256880 140005011696258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6991] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6991/stat : 6991 (java) S 6982 6982 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10037071 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004151202848 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6992] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6992/stat : 6992 (java) S 6982 6982 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10037072 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004150150000 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6993] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6993/stat : 6993 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004149098320 140005011703707 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6994] ppid=6982 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/6984/task/6994/stat : 6994 (java) S 6982 6982 5131 0 -1 1077944384 10000 0 0 0 176 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004148046704 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6995] ppid=6982 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/6984/task/6995/stat : 6995 (java) S 6982 6982 5131 0 -1 1077944384 9467 0 0 0 168 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004146993904 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6996] ppid=6982 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/6984/task/6996/stat : 6996 (java) S 6982 6982 5131 0 -1 1077944384 6152 0 0 0 46 1 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004145941104 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6997] ppid=6982 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6984/task/6997/stat : 6997 (java) S 6982 6982 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10037074 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004144888544 140005011695317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
[pid=6984/tid=6998] ppid=6982 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/6984/task/6998/stat : 6998 (java) S 6982 6982 5131 0 -1 1077944384 507 0 0 0 1 3 0 0 20 0 15 0 10037079 14316269568 40279 18446744073709551615 4194304 4196468 140727258728624 140004143835824 140005011696258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11132928 140727258730964 140727258731139 140727258731139 140727258734543 0
Current children cumulated CPU time (s) 243.98
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6984 sig 9
??? kill 6982 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6982 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1728
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=155
# CPU time returned by wait4() is 0.001883
# while last known CPU time is 243.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.98
CPU user time (s): 243.83
CPU system time (s): 0.15
CPU usage (%): 101.654
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001728
system time used= 0.000155
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.996121 second user time and 1.37493 second system time
The end