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-4254216-1501985089/watcher-4254216-1501985089 -o /tmp/evaluation-result-4254216-1501985089/solver-4254216-1501985089 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1318084434 HOME/instance-4254216-1501985089.xml
pid=18793
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.90 1.99 2.03 2/202 18796
/proc/meminfo: memFree=31410292/32770624 swapFree=0/322976
[pid=18796] ppid=18793 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (runsolver) D 18793 18796 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 98162125 24240128 108 18446744073709551615 4194304 4338465 140722863767568 140722863765208 140016083792599 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 34996224 140722863771746 140722863772236 140722863772236 140722863775690 0
/proc/18796/statm: 5918 108 54 36 0 2156 0
[startup+0.10013 s]
/proc/loadavg: 1.90 1.99 2.03 2/202 18796
/proc/meminfo: memFree=31410292/32770624 swapFree=0/322976
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200339 s]
/proc/loadavg: 1.90 1.99 2.03 2/202 18796
/proc/meminfo: memFree=31410292/32770624 swapFree=0/322976
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300343 s]
/proc/loadavg: 1.90 1.99 2.03 2/202 18796
/proc/meminfo: memFree=31410292/32770624 swapFree=0/322976
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704306 s]
/proc/loadavg: 1.90 1.99 2.03 2/202 18796
/proc/meminfo: memFree=31410292/32770624 swapFree=0/322976
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.91 1.99 2.03 6/218 18812
/proc/meminfo: memFree=31342056/32770624 swapFree=0/323028
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=3.66 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 24195 0 0 0 360 6 0 0 20 0 15 0 98162134 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 22381 3186 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 8963 0 0 0 129 3 0 0 20 0 15 0 98162134 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140386315982312 140385926486252 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) R 18796 18796 12039 0 -1 4202560 6855 0 0 0 92 0 0 0 20 0 15 0 98162140 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385357606360 140386295651509 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) R 18796 18796 12039 0 -1 4202560 4667 0 0 0 97 0 0 0 20 0 15 0 98162140 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385356550288 140386296671963 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 2391 0 0 0 40 0 0 0 20 0 15 0 98162140 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162146 14316269568 22381 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.91 1.99 2.03 3/218 18812
/proc/meminfo: memFree=31318416/32770624 swapFree=0/323028
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=5.98 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 25698 0 0 0 591 7 0 0 20 0 15 0 98162134 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 31795 3189 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 9313 0 0 0 289 4 0 0 20 0 15 0 98162134 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140386315982480 140385926774572 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 7215 0 0 0 125 1 0 0 20 0 15 0 98162140 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.31 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 4893 0 0 0 131 0 0 0 20 0 15 0 98162140 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.45 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 2927 0 0 0 45 0 0 0 20 0 15 0 98162140 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 98162146 14316269568 31795 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 13990244
[startup+6.30064 s]
/proc/loadavg: 1.83 1.97 2.03 3/218 18812
/proc/meminfo: memFree=31231648/32770624 swapFree=0/323032
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=9.24 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 29273 0 0 0 916 8 0 0 20 0 15 0 98162134 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 49492 3208 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 9671 0 0 0 607 5 0 0 20 0 15 0 98162134 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140386315984912 140385926301854 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 449 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.27 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 7437 0 0 0 126 1 0 0 20 0 15 0 98162140 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 5010 0 0 0 134 0 0 0 20 0 15 0 98162140 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 4040 0 0 0 46 0 0 0 20 0 15 0 98162140 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 15 0 98162146 14316269568 49492 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.85 1.97 2.03 3/218 18812
/proc/meminfo: memFree=31219112/32770624 swapFree=0/323044
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=15.76 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 32208 0 0 0 1568 8 0 0 20 0 15 0 98162134 14316269568 50559 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 50559 3217 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 10051 0 0 0 1246 5 0 0 20 0 15 0 98162134 14316269568 50559 18446744073709551615 4194304 4196468 140720423503168 140386315984096 140385925019707 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 50559 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 98162135 14316269568 50559 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
################
# More data... #
################
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.46 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 10746 0 0 0 145 1 0 0 20 0 15 0 98162140 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 8208 0 0 0 146 1 0 0 20 0 15 0 98162140 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 5909 0 0 0 48 0 0 0 20 0 15 0 98162140 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 955 0 0 0 0 2 0 0 20 0 15 0 98162146 14316269568 43252 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 105.85
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.44 1.78 1.95 3/215 18898
/proc/meminfo: memFree=31295992/32770624 swapFree=0/322848
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=166.31 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 49580 0 0 0 16609 22 0 0 20 0 15 0 98162134 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 46033 3220 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=161.53 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 13703 0 0 0 16147 6 0 0 20 0 15 0 98162134 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140386315984832 140385927799080 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 1000 0 0 0 21 3 0 0 20 0 15 0 98162135 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 979 0 0 0 21 2 0 0 20 0 15 0 98162135 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 1172 0 0 0 22 2 0 0 20 0 15 0 98162135 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 1889 0 0 0 22 2 0 0 20 0 15 0 98162135 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 1844 0 0 0 23 1 0 0 20 0 15 0 98162137 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 11260 0 0 0 146 1 0 0 20 0 15 0 98162140 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.48 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 8602 0 0 0 147 1 0 0 20 0 15 0 98162140 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 6664 0 0 0 48 0 0 0 20 0 15 0 98162140 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 1106 0 0 0 1 3 0 0 20 0 15 0 98162146 14316269568 46033 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 166.31
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.48 1.73 1.92 3/215 18900
/proc/meminfo: memFree=31276788/32770624 swapFree=0/322884
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=226.58 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 51566 0 0 0 22631 27 0 0 20 0 15 0 98162134 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 48301 3220 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=221.34 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 14162 0 0 0 22128 6 0 0 20 0 15 0 98162134 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140386315984800 140385925908756 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 1089 0 0 0 29 4 0 0 20 0 15 0 98162135 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 1086 0 0 0 29 3 0 0 20 0 15 0 98162135 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 1256 0 0 0 29 3 0 0 20 0 15 0 98162135 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 2220 0 0 0 29 3 0 0 20 0 15 0 98162135 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 1874 0 0 0 30 2 0 0 20 0 15 0 98162137 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 11520 0 0 0 148 1 0 0 20 0 15 0 98162140 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 8853 0 0 0 148 1 0 0 20 0 15 0 98162140 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 7032 0 0 0 48 0 0 0 20 0 15 0 98162140 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 1113 0 0 0 2 5 0 0 20 0 15 0 98162146 14316269568 48301 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 226.58
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.29 1.67 1.90 3/215 18900
/proc/meminfo: memFree=31273888/32770624 swapFree=0/322896
[pid=18796] ppid=18793 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/18796/stat : 18796 (xcsp3-exec) S 18793 18796 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 98162125 9740288 345 18446744073709551615 4194304 5098028 140735610662784 140735610660888 140377848648316 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 17711104 140735610667425 140735610667629 140735610667629 140735610671083 0
/proc/18796/statm: 2378 345 289 221 0 87 0
[pid=18798] ppid=18796 vsize=13980732 CPUtime=244.42 cores=1,3,5,7
/proc/18798/stat : 18798 (java) S 18796 18796 12039 0 -1 1077944320 52512 0 0 0 24413 29 0 0 20 0 15 0 98162134 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140720423485712 140386311745271 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
/proc/18798/statm: 3495183 48954 3220 1 0 3483476 0
[pid=18798/tid=18799] ppid=18796 vsize=13980732 CPUtime=238.92 cores=1,3,5,7
/proc/18798/task/18799/stat : 18799 (java) R 18796 18796 12039 0 -1 4202560 14558 0 0 0 23886 6 0 0 20 0 15 0 98162134 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140386315984832 140385926728517 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18800] ppid=18796 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/18798/task/18800/stat : 18800 (java) S 18796 18796 12039 0 -1 1077944384 1245 0 0 0 33 5 0 0 20 0 15 0 98162135 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140386246179216 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18801] ppid=18796 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/18798/task/18801/stat : 18801 (java) S 18796 18796 12039 0 -1 1077944384 1134 0 0 0 34 3 0 0 20 0 15 0 98162135 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140386245126416 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18802] ppid=18796 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/18798/task/18802/stat : 18802 (java) S 18796 18796 12039 0 -1 1077944384 1300 0 0 0 34 3 0 0 20 0 15 0 98162135 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140386244074128 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18803] ppid=18796 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/18798/task/18803/stat : 18803 (java) S 18796 18796 12039 0 -1 1077944384 2285 0 0 0 34 3 0 0 20 0 15 0 98162135 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140386243021328 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18804] ppid=18796 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/18798/task/18804/stat : 18804 (java) S 18796 18796 12039 0 -1 1077944384 2095 0 0 0 34 3 0 0 20 0 15 0 98162137 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385361824368 140386311756418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18805] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18805/stat : 18805 (java) S 18796 18796 12039 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385360770336 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18806] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18806/stat : 18806 (java) S 18796 18796 12039 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 98162137 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385359718000 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18807] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18807/stat : 18807 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385358666320 140386311763867 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18808] ppid=18796 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/18798/task/18808/stat : 18808 (java) S 18796 18796 12039 0 -1 1077944384 11520 0 0 0 148 1 0 0 20 0 15 0 98162140 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385357613168 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18809] ppid=18796 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/18798/task/18809/stat : 18809 (java) S 18796 18796 12039 0 -1 1077944384 8854 0 0 0 148 1 0 0 20 0 15 0 98162140 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385356560368 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18810] ppid=18796 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/18798/task/18810/stat : 18810 (java) S 18796 18796 12039 0 -1 1077944384 7032 0 0 0 48 0 0 0 20 0 15 0 98162140 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385355508080 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18811] ppid=18796 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/18798/task/18811/stat : 18811 (java) S 18796 18796 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98162140 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385354455520 140386311755477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
[pid=18798/tid=18812] ppid=18796 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/18798/task/18812/stat : 18812 (java) S 18796 18796 12039 0 -1 1077944384 1128 0 0 0 2 5 0 0 20 0 15 0 98162146 14316269568 48954 18446744073709551615 4194304 4196468 140720423503168 140385353403312 140386311756418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 20774912 140720423510490 140720423510665 140720423510665 140720423514063 0
Current children cumulated CPU time (s) 244.42
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 18798 sig 9
??? kill 18796 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 18796 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1845
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=116
# CPU time returned by wait4() is 0.001961
# while last known CPU time is 244.42
#
# 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): 244.42
CPU user time (s): 244.13
CPU system time (s): 0.29
CPU usage (%): 101.837
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001845
system time used= 0.000116
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.09417 second user time and 1.42986 second system time
The end