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-4255016-1501620569/watcher-4255016-1501620569 -o /tmp/evaluation-result-4255016-1501620569/solver-4255016-1501620569 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10854 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1863782008 HOME/instance-4255016-1501620569.xml
pid=13782
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.91 1.81 1.80 3/195 13785
/proc/meminfo: memFree=31725860/32770624 swapFree=0/191036
[pid=13785] ppid=13782 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (runsolver) D 13782 13785 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10680037 24240128 108 18446744073709551615 4194304 4338465 140727179890032 140727179887672 140034618430167 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12664832 140727179898972 140727179899462 140727179899462 140727179902922 0
/proc/13785/statm: 5918 108 54 36 0 2156 0
[startup+0.100179 s]
/proc/loadavg: 1.91 1.81 1.80 3/195 13785
/proc/meminfo: memFree=31725860/32770624 swapFree=0/191036
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200297 s]
/proc/loadavg: 1.91 1.81 1.80 3/195 13785
/proc/meminfo: memFree=31725860/32770624 swapFree=0/191036
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30021 s]
/proc/loadavg: 1.91 1.81 1.80 3/195 13785
/proc/meminfo: memFree=31725860/32770624 swapFree=0/191036
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701056 s]
/proc/loadavg: 1.91 1.81 1.80 3/195 13785
/proc/meminfo: memFree=31725860/32770624 swapFree=0/191036
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/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: 2.08 1.85 1.81 5/211 13801
/proc/meminfo: memFree=31640920/32770624 swapFree=0/191060
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=3.69 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 23212 0 0 0 363 6 0 0 20 0 15 0 10680044 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 31910 3183 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 9352 0 0 0 132 4 0 0 20 0 15 0 10680044 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140324551167488 140324186298162 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 10680046 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323731162016 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323730109424 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) R 13785 13785 5091 0 -1 4202560 4452 0 0 0 93 0 0 0 20 0 15 0 10680049 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323727990512 140324532058493 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) R 13785 13785 5091 0 -1 4202560 5170 0 0 0 91 0 0 0 20 0 15 0 10680049 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324528110992 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 2918 0 0 0 45 0 0 0 20 0 15 0 10680049 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680055 14316269568 31910 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13990244
[startup+3.10301 s]
/proc/loadavg: 2.08 1.85 1.81 3/211 13801
/proc/meminfo: memFree=31575636/32770624 swapFree=0/191060
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=6.75 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 26699 0 0 0 665 10 0 0 20 0 15 0 10680044 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 53890 3215 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 9977 0 0 0 290 5 0 0 20 0 15 0 10680044 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140324551171312 140324188366720 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 10680045 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 10680046 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323731162016 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323730109424 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=1.55 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) R 13785 13785 5091 0 -1 4202560 4722 0 0 0 155 0 0 0 20 0 15 0 10680049 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323728005912 140324531814160 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) R 13785 13785 5091 0 -1 4202560 5475 0 0 0 158 0 0 0 20 0 15 0 10680049 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324531221486 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 4228 0 0 0 56 1 0 0 20 0 15 0 10680049 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 10680055 14316269568 53890 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.08 1.85 1.81 3/211 13801
/proc/meminfo: memFree=31514124/32770624 swapFree=0/191072
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=10.49 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 27696 0 0 0 1036 13 0 0 20 0 15 0 10680044 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 57408 3215 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 9996 0 0 0 608 5 0 0 20 0 15 0 10680044 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140324551167984 140324188769157 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 494 0 0 0 1 1 0 0 20 0 15 0 10680045 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 10680045 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 212 0 0 0 1 1 0 0 20 0 15 0 10680045 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 15 0 10680045 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 10680046 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323731162016 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323730109424 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) S 13785 13785 5091 0 -1 1077944384 5399 0 0 0 189 0 0 0 20 0 15 0 10680049 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323728005616 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) S 13785 13785 5091 0 -1 1077944384 5520 0 0 0 170 1 0 0 20 0 15 0 10680049 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 4309 0 0 0 60 1 0 0 20 0 15 0 10680049 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 10680055 14316269568 57408 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 10.49
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.98 1.83 1.81 3/211 13801
/proc/meminfo: memFree=31514740/32770624 swapFree=0/191080
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=17.83 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 35189 0 0 0 1768 15 0 0 20 0 15 0 10680044 14316269568 59811 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 59811 3220 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=12.5 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 11582 0 0 0 1245 5 0 0 20 0 15 0 10680044 14316269568 59811 18446744073709551615 4194304 4196468 140723587878016 140324551168792 140324188315002 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 723 0 0 0 3 1 0 0 20 0 15 0 10680045 14316269568 59811 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 133 0 0 0 3 1 0 0 20 0 15 0 10680045 14316269568 59811 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
################
# More data... #
################
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323731162080 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323730109440 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=3.79 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) S 13785 13785 5091 0 -1 1077944384 19651 0 0 0 378 1 0 0 20 0 15 0 10680049 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323728005616 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) S 13785 13785 5091 0 -1 1077944384 15505 0 0 0 319 2 0 0 20 0 15 0 10680049 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.75 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 8645 0 0 0 74 1 0 0 20 0 15 0 10680049 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 537 0 0 0 1 2 0 0 20 0 15 0 10680055 14316269568 76095 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 111.11
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.77 1.79 1.79 3/211 13805
/proc/meminfo: memFree=31382320/32770624 swapFree=0/191152
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=171.79 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 70864 0 0 0 17140 39 0 0 20 0 15 0 10680044 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 72425 3230 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=161.5 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 16665 0 0 0 16144 6 0 0 20 0 15 0 10680044 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140324551172304 140324189394221 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 1555 0 0 0 51 5 0 0 20 0 15 0 10680045 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 1781 0 0 0 52 5 0 0 20 0 15 0 10680045 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 1063 0 0 0 51 5 0 0 20 0 15 0 10680045 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 1383 0 0 0 52 5 0 0 20 0 15 0 10680045 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 1440 0 0 0 4 1 0 0 20 0 15 0 10680046 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323731162080 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323730109440 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=3.82 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) S 13785 13785 5091 0 -1 1077944384 19734 0 0 0 381 1 0 0 20 0 15 0 10680049 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323728005616 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) S 13785 13785 5091 0 -1 1077944384 15737 0 0 0 320 2 0 0 20 0 15 0 10680049 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 9570 0 0 0 75 1 0 0 20 0 15 0 10680049 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 560 0 0 0 3 4 0 0 20 0 15 0 10680055 14316269568 72425 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 171.79
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.63 1.74 1.77 3/211 13886
/proc/meminfo: memFree=31170220/32770624 swapFree=0/191232
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=232.86 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 74476 0 0 0 23238 48 0 0 20 0 15 0 10680044 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 81304 3231 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=221.13 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 17181 0 0 0 22107 6 0 0 20 0 15 0 10680044 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140324551171888 140324189394797 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 1643 0 0 0 83 7 0 0 20 0 15 0 10680045 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 1831 0 0 0 84 7 0 0 20 0 15 0 10680045 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 1391 0 0 0 83 7 0 0 20 0 15 0 10680045 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 1461 0 0 0 84 7 0 0 20 0 15 0 10680045 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 1606 0 0 0 6 1 0 0 20 0 15 0 10680046 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323731162080 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323730109440 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) S 13785 13785 5091 0 -1 1077944384 20946 0 0 0 384 1 0 0 20 0 15 0 10680049 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323728005616 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) S 13785 13785 5091 0 -1 1077944384 16216 0 0 0 320 2 0 0 20 0 15 0 10680049 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 10258 0 0 0 75 1 0 0 20 0 15 0 10680049 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 567 0 0 0 5 6 0 0 20 0 15 0 10680055 14316269568 81304 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 232.86
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.56 1.72 1.77 3/211 13886
/proc/meminfo: memFree=31144388/32770624 swapFree=0/191236
[pid=13785] ppid=13782 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13785/stat : 13785 (xcsp3-exec) S 13782 13785 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10680037 9740288 345 18446744073709551615 4194304 5098028 140734625219792 140734625217896 139940722082428 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 28381184 140734625223067 140734625223271 140734625223271 140734625226731 0
/proc/13785/statm: 2378 345 289 221 0 87 0
[pid=13787] ppid=13785 vsize=13980732 CPUtime=250.9 cores=1,3,5,7
/proc/13787/stat : 13787 (java) S 13785 13785 5091 0 -1 1077944320 77597 0 0 0 25040 50 0 0 20 0 15 0 10680044 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140723587860560 140324546932471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
/proc/13787/statm: 3495183 84871 3231 1 0 3483484 0
[pid=13787/tid=13788] ppid=13785 vsize=13980732 CPUtime=238.73 cores=1,3,5,7
/proc/13787/task/13788/stat : 13788 (java) R 13785 13785 5091 0 -1 4202560 17571 0 0 0 23867 6 0 0 20 0 15 0 10680044 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140324551171872 140324188315058 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13789] ppid=13785 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/13787/task/13789/stat : 13789 (java) S 13785 13785 5091 0 -1 1077944384 1776 0 0 0 91 7 0 0 20 0 15 0 10680045 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140324503898896 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13790] ppid=13785 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/13787/task/13790/stat : 13790 (java) S 13785 13785 5091 0 -1 1077944384 1849 0 0 0 92 7 0 0 20 0 15 0 10680045 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140324502846352 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13791] ppid=13785 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/13787/task/13791/stat : 13791 (java) S 13785 13785 5091 0 -1 1077944384 1636 0 0 0 91 7 0 0 20 0 15 0 10680045 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140324501793808 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13792] ppid=13785 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/13787/task/13792/stat : 13792 (java) S 13785 13785 5091 0 -1 1077944384 1484 0 0 0 92 8 0 0 20 0 15 0 10680045 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140324144082064 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13793] ppid=13785 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13787/task/13793/stat : 13793 (java) S 13785 13785 5091 0 -1 1077944384 1692 0 0 0 6 1 0 0 20 0 15 0 10680046 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323732215792 140324546943618 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13794] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13794/stat : 13794 (java) S 13785 13785 5091 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323731162080 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13795] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13795/stat : 13795 (java) S 13785 13785 5091 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 10680047 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323730109440 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13796] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13796/stat : 13796 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323729058000 140324546951067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13797] ppid=13785 vsize=13980732 CPUtime=3.85 cores=1,3,5,7
/proc/13787/task/13797/stat : 13797 (java) S 13785 13785 5091 0 -1 1077944384 20946 0 0 0 384 1 0 0 20 0 15 0 10680049 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323728005616 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13798] ppid=13785 vsize=13980732 CPUtime=3.32 cores=1,3,5,7
/proc/13787/task/13798/stat : 13798 (java) S 13785 13785 5091 0 -1 1077944384 18415 0 0 0 330 2 0 0 20 0 15 0 10680049 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323726953072 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13799] ppid=13785 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/13787/task/13799/stat : 13799 (java) S 13785 13785 5091 0 -1 1077944384 10260 0 0 0 75 1 0 0 20 0 15 0 10680049 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323725900528 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13800] ppid=13785 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13787/task/13800/stat : 13800 (java) S 13785 13785 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10680049 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323724848224 140324546942677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
[pid=13787/tid=13801] ppid=13785 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13787/task/13801/stat : 13801 (java) S 13785 13785 5091 0 -1 1077944384 592 0 0 0 5 6 0 0 20 0 15 0 10680055 14316269568 84871 18446744073709551615 4194304 4196468 140723587878016 140323723794736 140324546943618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20434944 140723587879380 140723587879555 140723587879555 140723587882959 0
Current children cumulated CPU time (s) 250.9
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 13787 sig 9
??? kill 13785 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 13785 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=620
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1241
# CPU time returned by wait4() is 0.001861
# while last known CPU time is 250.9
#
# 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.9
CPU user time (s): 250.4
CPU system time (s): 0.5
CPU usage (%): 104.537
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00062
system time used= 0.001241
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.09874 second user time and 1.54802 second system time
The end