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-4255042-1501619395/watcher-4255042-1501619395 -o /tmp/evaluation-result-4255042-1501619395/solver-4255042-1501619395 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 593598744 HOME/instance-4255042-1501619395.xml
pid=20674
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: 2.00 1.88 1.86 4/200 20677
/proc/meminfo: memFree=31444524/32770624 swapFree=0/288548
[pid=20677] ppid=20674 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (runsolver) D 20674 20677 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9445248 24240128 106 18446744073709551615 4194304 4338465 140734005917712 140734005915352 139640111829719 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 22274048 140734005923933 140734005924422 140734005924422 140734005927882 0
/proc/20677/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 1.88 1.86 4/200 20677
/proc/meminfo: memFree=31444524/32770624 swapFree=0/288548
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200322 s]
/proc/loadavg: 2.00 1.88 1.86 4/200 20677
/proc/meminfo: memFree=31444524/32770624 swapFree=0/288548
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300258 s]
/proc/loadavg: 2.00 1.88 1.86 4/200 20677
/proc/meminfo: memFree=31444524/32770624 swapFree=0/288548
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700755 s]
/proc/loadavg: 2.00 1.88 1.86 4/200 20677
/proc/meminfo: memFree=31444524/32770624 swapFree=0/288548
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50471 s]
/proc/loadavg: 2.00 1.88 1.86 5/216 20693
/proc/meminfo: memFree=31258332/32770624 swapFree=0/288532
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=3.67 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 14980 0 0 0 357 10 0 0 20 0 15 0 9445256 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 50393 3199 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 8471 0 0 0 127 5 0 0 20 0 15 0 9445257 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140504139664912 140503770699580 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9445257 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9445257 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9445257 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 9445257 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503051130272 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503050077680 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) R 20677 20677 5234 0 -1 4202560 1636 0 0 0 91 0 0 0 20 0 15 0 9445262 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504121445120 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) R 20677 20677 5234 0 -1 4202560 1388 0 0 0 89 0 0 0 20 0 15 0 9445262 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503046920600 140504118929960 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 1997 0 0 0 45 0 0 0 20 0 15 0 9445262 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9445269 14316269568 50393 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 13990244
[startup+3.10069 s]
/proc/loadavg: 2.16 1.92 1.88 7/216 20693
/proc/meminfo: memFree=31214472/32770624 swapFree=0/288532
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=7.18 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 19492 0 0 0 704 14 0 0 20 0 15 0 9445256 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 60578 3224 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 8784 0 0 0 283 5 0 0 20 0 15 0 9445257 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140504139665520 140503771830679 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 15 0 9445257 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 97 0 0 0 2 1 0 0 20 0 15 0 9445257 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 15 0 9445257 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 15 0 9445257 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 3186 0 0 0 176 0 0 0 20 0 15 0 9445262 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) R 20677 20677 5234 0 -1 4202560 3433 0 0 0 174 0 0 0 20 0 15 0 9445262 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504120547124 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 2342 0 0 0 57 0 0 0 20 0 15 0 9445262 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9445269 14316269568 60578 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 2.16 1.92 1.88 3/216 20693
/proc/meminfo: memFree=31044508/32770624 swapFree=0/288540
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=12.4 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 32482 0 0 0 1216 24 0 0 20 0 15 0 9445256 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 105198 3226 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=6 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 9683 0 0 0 593 7 0 0 20 0 15 0 9445257 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140504139668704 140503772915591 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 286 0 0 0 7 3 0 0 20 0 15 0 9445257 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 196 0 0 0 6 3 0 0 20 0 15 0 9445257 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 222 0 0 0 7 3 0 0 20 0 15 0 9445257 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 1321 0 0 0 7 3 0 0 20 0 15 0 9445257 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 15 0 9445259 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=2.77 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 9511 0 0 0 276 1 0 0 20 0 15 0 9445262 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=2.46 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) S 20677 20677 5234 0 -1 1077944384 6155 0 0 0 245 1 0 0 20 0 15 0 9445262 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 3043 0 0 0 70 0 0 0 20 0 15 0 9445262 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 9445269 14316269568 105198 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.14 1.92 1.88 3/216 20694
/proc/meminfo: memFree=30556732/32770624 swapFree=0/288552
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=20.03 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 36634 0 0 0 1971 32 0 0 20 0 15 0 9445256 14316269568 164130 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 164130 3228 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=12.38 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 10990 0 0 0 1227 11 0 0 20 0 15 0 9445257 14316269568 164130 18446744073709551615 4194304 4196468 140734529063856 140504139665792 140503772929330 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 297 0 0 0 9 4 0 0 20 0 15 0 9445257 14316269568 164130 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 239 0 0 0 8 3 0 0 20 0 15 0 9445257 14316269568 164130 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
################
# More data... #
################
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=4.9 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 19983 0 0 0 488 2 0 0 20 0 15 0 9445262 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=4.29 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) S 20677 20677 5234 0 -1 1077944384 15568 0 0 0 428 1 0 0 20 0 15 0 9445262 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 6481 0 0 0 84 1 0 0 20 0 15 0 9445262 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 448 0 0 0 2 2 0 0 20 0 15 0 9445269 14316269568 296369 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 112.77
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.81 1.94 1.90 3/216 20699
/proc/meminfo: memFree=29658424/32770624 swapFree=0/288644
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=173.02 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 71612 0 0 0 17250 52 0 0 20 0 15 0 9445256 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 300983 3241 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=161.91 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 18750 0 0 0 16173 18 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504139669296 140503773550763 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 827 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 503 0 0 0 12 5 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 380 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 1460 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 1763 0 0 0 1 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=4.95 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 21732 0 0 0 493 2 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=4.4 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) S 20677 20677 5234 0 -1 1077944384 17759 0 0 0 439 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 6589 0 0 0 84 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 480 0 0 0 3 3 0 0 20 0 15 0 9445269 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 173.02
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.93 1.95 1.90 3/215 20701
/proc/meminfo: memFree=29732652/32770624 swapFree=0/288680
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=233.13 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 76161 0 0 0 23259 54 0 0 20 0 15 0 9445256 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 300983 3241 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=221.92 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 20231 0 0 0 22173 19 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504139668712 140503773479188 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 827 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 503 0 0 0 12 5 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 380 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 1460 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 1771 0 0 0 2 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=4.99 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 23105 0 0 0 497 2 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) S 20677 20677 5234 0 -1 1077944384 19400 0 0 0 443 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 6597 0 0 0 84 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 518 0 0 0 4 5 0 0 20 0 15 0 9445269 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 233.13
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.09 1.99 1.91 3/215 20779
/proc/meminfo: memFree=30005936/32770624 swapFree=0/288732
[pid=20677] ppid=20674 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20677/stat : 20677 (xcsp3-exec) S 20674 20677 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9445248 9740288 345 18446744073709551615 4194304 5098028 140730518523296 140730518521400 139676656628348 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 32976896 140730518528412 140730518528615 140730518528615 140730518532075 0
/proc/20677/statm: 2378 345 289 221 0 87 0
[pid=20679] ppid=20677 vsize=13980732 CPUtime=250.84 cores=1,3,5,7
/proc/20679/stat : 20679 (java) S 20677 20677 5234 0 -1 1077944320 77228 0 0 0 25029 55 0 0 20 0 15 0 9445256 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140734529046400 140504135429879 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
/proc/20679/statm: 3495183 300983 3241 1 0 3483484 0
[pid=20679/tid=20680] ppid=20677 vsize=13980732 CPUtime=239.62 cores=1,3,5,7
/proc/20679/task/20680/stat : 20680 (java) R 20677 20677 5234 0 -1 4202560 20921 0 0 0 23943 19 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504139666792 140503768035621 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20681] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20681/stat : 20681 (java) S 20677 20677 5234 0 -1 1077944384 827 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504092395792 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20682] ppid=20677 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/20679/task/20682/stat : 20682 (java) S 20677 20677 5234 0 -1 1077944384 503 0 0 0 12 5 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504091343248 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20683] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20683/stat : 20683 (java) S 20677 20677 5234 0 -1 1077944384 380 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504090290704 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20684] ppid=20677 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/20679/task/20684/stat : 20684 (java) S 20677 20677 5234 0 -1 1077944384 1460 0 0 0 13 6 0 0 20 0 15 0 9445257 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140504089238160 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20685] ppid=20677 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20679/task/20685/stat : 20685 (java) S 20677 20677 5234 0 -1 1077944384 1771 0 0 0 2 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503052184048 140504135441026 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20686] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20686/stat : 20686 (java) S 20677 20677 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503051130336 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20687] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20687/stat : 20687 (java) S 20677 20677 5234 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 9445259 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503050077696 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20688] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20688/stat : 20688 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503049026256 140504135448475 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20689] ppid=20677 vsize=13980732 CPUtime=4.99 cores=1,3,5,7
/proc/20679/task/20689/stat : 20689 (java) S 20677 20677 5234 0 -1 1077944384 23105 0 0 0 497 2 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503047972848 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20690] ppid=20677 vsize=13980732 CPUtime=4.44 cores=1,3,5,7
/proc/20679/task/20690/stat : 20690 (java) S 20677 20677 5234 0 -1 1077944384 19400 0 0 0 443 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503046920304 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20691] ppid=20677 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/20679/task/20691/stat : 20691 (java) S 20677 20677 5234 0 -1 1077944384 6974 0 0 0 84 1 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503045867760 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20692] ppid=20677 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20679/task/20692/stat : 20692 (java) S 20677 20677 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9445262 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503044815456 140504135440085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
[pid=20679/tid=20693] ppid=20677 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20679/task/20693/stat : 20693 (java) S 20677 20677 5234 0 -1 1077944384 518 0 0 0 5 5 0 0 20 0 15 0 9445269 14316269568 300983 18446744073709551615 4194304 4196468 140734529063856 140503043762992 140504135441026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29949952 140734529065428 140734529065603 140734529065603 140734529069007 0
Current children cumulated CPU time (s) 250.84
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 20679 sig 9
??? kill 20677 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 20677 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=935
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=935
# CPU time returned by wait4() is 0.00187
# while last known CPU time is 250.84
#
# 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): 250.84
CPU user time (s): 250.29
CPU system time (s): 0.55
CPU usage (%): 104.512
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000935
system time used= 0.000935
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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 1.51744 second user time and 1.10125 second system time
The end