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-4255030-1501620636/watcher-4255030-1501620636 -o /tmp/evaluation-result-4255030-1501620636/solver-4255030-1501620636 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10652 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1032366782 HOME/instance-4255030-1501620636.xml
pid=12664
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.66 1.78 1.80 4/200 12667
/proc/meminfo: memFree=31588428/32770624 swapFree=0/188084
[pid=12667] ppid=12664 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (runsolver) D 12664 12667 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9878963 24240128 107 18446744073709551615 4194304 4338465 140720921142192 140720921139832 140001929536215 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26279936 140720921145436 140720921145926 140720921145926 140720921149386 0
/proc/12667/statm: 5918 107 54 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 1.66 1.78 1.80 4/200 12667
/proc/meminfo: memFree=31588428/32770624 swapFree=0/188084
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200383 s]
/proc/loadavg: 1.66 1.78 1.80 4/200 12667
/proc/meminfo: memFree=31588428/32770624 swapFree=0/188084
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300215 s]
/proc/loadavg: 1.66 1.78 1.80 4/200 12667
/proc/meminfo: memFree=31588428/32770624 swapFree=0/188084
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700191 s]
/proc/loadavg: 1.66 1.78 1.80 4/200 12667
/proc/meminfo: memFree=31588428/32770624 swapFree=0/188084
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50062 s]
/proc/loadavg: 1.69 1.78 1.80 6/216 12683
/proc/meminfo: memFree=31433664/32770624 swapFree=0/188364
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=3.78 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 15461 0 0 0 368 10 0 0 20 0 15 0 9878971 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 55474 3216 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=1.28 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) S 12667 12667 5228 0 -1 1077944384 8541 0 0 0 123 5 0 0 20 0 15 0 9878971 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140600326221920 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) R 12667 12667 5228 0 -1 4202560 83 0 0 0 2 0 0 0 20 0 15 0 9878972 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600307013714 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) R 12667 12667 5228 0 -1 4202560 53 0 0 0 2 0 0 0 20 0 15 0 9878972 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600307009998 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) R 12667 12667 5228 0 -1 4202560 74 0 0 0 2 1 0 0 20 0 15 0 9878972 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600307009998 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) R 12667 12667 5228 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 15 0 9878972 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140600253262424 140600307014169 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599440151840 140600321996501 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599439099552 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599438046448 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 1858 0 0 0 94 0 0 0 20 0 15 0 9878977 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599435933408 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=0.92 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 1314 0 0 0 92 0 0 0 20 0 15 0 9878977 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599434874576 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 2129 0 0 0 48 1 0 0 20 0 15 0 9878977 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9878984 14316269568 55474 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13990244
[startup+3.10783 s]
/proc/loadavg: 1.69 1.78 1.80 6/216 12683
/proc/meminfo: memFree=31335256/32770624 swapFree=0/188364
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=7.89 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 18838 0 0 0 772 17 0 0 20 0 15 0 9878971 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 68030 3229 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=2.84 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) R 12667 12667 5228 0 -1 4202560 8873 0 0 0 279 5 0 0 20 0 15 0 9878971 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140600326223040 140599940072523 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 101 0 0 0 5 1 0 0 20 0 15 0 9878972 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) S 12667 12667 5228 0 -1 1077944384 73 0 0 0 5 1 0 0 20 0 15 0 9878972 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) S 12667 12667 5228 0 -1 1077944384 108 0 0 0 5 2 0 0 20 0 15 0 9878972 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) S 12667 12667 5228 0 -1 1077944384 47 0 0 0 5 2 0 0 20 0 15 0 9878972 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140600253262224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599440153328 140600321997442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599439099552 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599438046448 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=2.1 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) R 12667 12667 5228 0 -1 4202560 3700 0 0 0 210 0 0 0 20 0 15 0 9878977 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599435928096 140600307112153 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=1.95 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) R 12667 12667 5228 0 -1 4202560 2181 0 0 0 194 1 0 0 20 0 15 0 9878977 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599434868592 140600302622228 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 2374 0 0 0 65 1 0 0 20 0 15 0 9878977 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9878984 14316269568 68030 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 13990244
[startup+6.30081 s]
/proc/loadavg: 2.03 1.85 1.82 5/216 12761
/proc/meminfo: memFree=31141308/32770624 swapFree=0/188404
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=13.56 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 25992 0 0 0 1306 50 0 0 20 0 15 0 9878971 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 159934 3245 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) R 12667 12667 5228 0 -1 4202560 9352 0 0 0 495 7 0 0 20 0 15 0 9878971 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140600326224872 140599940072523 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 1195 0 0 0 75 9 0 0 20 0 15 0 9878972 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) S 12667 12667 5228 0 -1 1077944384 452 0 0 0 76 9 0 0 20 0 15 0 9878972 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) S 12667 12667 5228 0 -1 1077944384 403 0 0 0 75 10 0 0 20 0 15 0 9878972 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=0.84 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) S 12667 12667 5228 0 -1 1077944384 364 0 0 0 75 9 0 0 20 0 15 0 9878972 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140600253262224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 3756 0 0 0 22 0 0 0 20 0 15 0 9878974 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599440153328 140600321997442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599439099616 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599438046464 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=2.13 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 3712 0 0 0 213 0 0 0 20 0 15 0 9878977 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599435942128 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 2208 0 0 0 203 1 0 0 20 0 15 0 9878977 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599434889584 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 2817 0 0 0 66 1 0 0 20 0 15 0 9878977 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 9878984 14316269568 159934 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 13.56
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.03 1.86 1.82 6/216 12761
/proc/meminfo: memFree=30380936/32770624 swapFree=0/188416
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=26.6 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 29621 0 0 0 2521 139 0 0 20 0 15 0 9878971 14316269568 335479 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 335479 3250 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=8.96 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) S 12667 12667 5228 0 -1 1077944384 9844 0 0 0 888 8 0 0 20 0 15 0 9878971 14316269568 335479 18446744073709551615 4194304 4196468 140730939740240 140600326224928 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=3.06 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 1865 0 0 0 275 31 0 0 20 0 15 0 9878972 14316269568 335479 18446744073709551615 4194304 4196468 140730939740240 140600256419952 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=3.12 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) R 12667 12667 5228 0 -1 4202560 966 0 0 0 282 30 0 0 20 0 15 0 9878972 14316269568 335479 18446744073709551615 4194304 4196468 140730939740240 140600255368024 140600306684070 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
################
# More data... #
################
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599439099616 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599438046464 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 8155 0 0 0 296 1 0 0 20 0 15 0 9878977 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599435942128 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=2.98 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 7709 0 0 0 297 1 0 0 20 0 15 0 9878977 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599434889584 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 6500 0 0 0 83 2 0 0 20 0 15 0 9878977 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 517 0 0 0 3 3 0 0 20 0 15 0 9878984 14316269568 483470 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 122.51
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.03 1.94 1.87 3/215 12766
/proc/meminfo: memFree=29676368/32770624 swapFree=0/188520
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=182.71 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 62948 0 0 0 18074 197 0 0 20 0 15 0 9878971 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 483476 3250 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=156.79 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) R 12667 12667 5228 0 -1 4202560 16200 0 0 0 15668 11 0 0 20 0 15 0 9878971 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140600326222440 140599934911390 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 4712 0 0 0 404 42 0 0 20 0 15 0 9878972 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) S 12667 12667 5228 0 -1 1077944384 1947 0 0 0 415 42 0 0 20 0 15 0 9878972 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) S 12667 12667 5228 0 -1 1077944384 1328 0 0 0 404 44 0 0 20 0 15 0 9878972 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) S 12667 12667 5228 0 -1 1077944384 1232 0 0 0 403 45 0 0 20 0 15 0 9878972 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140600253262224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 7006 0 0 0 75 2 0 0 20 0 15 0 9878974 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599440153328 140600321997442 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599439099616 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599438046464 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=3.06 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 9834 0 0 0 305 1 0 0 20 0 15 0 9878977 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599435942128 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=3.03 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 8892 0 0 0 301 2 0 0 20 0 15 0 9878977 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599434889584 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.88 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 9877 0 0 0 86 2 0 0 20 0 15 0 9878977 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 594 0 0 0 5 5 0 0 20 0 15 0 9878984 14316269568 483476 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 182.71
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.01 1.96 1.87 3/217 12777
/proc/meminfo: memFree=29673012/32770624 swapFree=0/188584
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=243.03 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 71104 0 0 0 24104 199 0 0 20 0 15 0 9878971 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 484074 3250 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=216.8 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) R 12667 12667 5228 0 -1 4202560 17958 0 0 0 21669 11 0 0 20 0 15 0 9878971 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140600326224344 140599938916951 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 4712 0 0 0 404 42 0 0 20 0 15 0 9878972 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) S 12667 12667 5228 0 -1 1077944384 1947 0 0 0 415 42 0 0 20 0 15 0 9878972 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) S 12667 12667 5228 0 -1 1077944384 1328 0 0 0 404 44 0 0 20 0 15 0 9878972 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) S 12667 12667 5228 0 -1 1077944384 1232 0 0 0 403 45 0 0 20 0 15 0 9878972 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140600253262224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 7104 0 0 0 75 2 0 0 20 0 15 0 9878974 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599440153328 140600321997442 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599439099616 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599438046464 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 10134 0 0 0 307 1 0 0 20 0 15 0 9878977 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599435942128 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=3.26 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 13436 0 0 0 324 2 0 0 20 0 15 0 9878977 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599434889584 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 11223 0 0 0 88 2 0 0 20 0 15 0 9878977 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 704 0 0 0 7 6 0 0 20 0 15 0 9878984 14316269568 484074 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.01 1.96 1.87 3/217 12777
/proc/meminfo: memFree=29672912/32770624 swapFree=0/188604
[pid=12667] ppid=12664 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/12667/stat : 12667 (xcsp3-exec) S 12664 12667 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9878963 9740288 345 18446744073709551615 4194304 5098028 140735473832112 140735473830216 140650324902524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 24121344 140735473840539 140735473840743 140735473840743 140735473844203 0
/proc/12667/statm: 2378 345 289 221 0 87 0
[pid=12669] ppid=12667 vsize=13980732 CPUtime=260.85 cores=0,2,4,6
/proc/12669/stat : 12669 (java) S 12667 12667 5228 0 -1 1077944320 76195 0 0 0 25885 200 0 0 20 0 15 0 9878971 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140730939722784 140600321986295 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
/proc/12669/statm: 3495183 484088 3250 1 0 3483484 0
[pid=12669/tid=12670] ppid=12667 vsize=13980732 CPUtime=234.49 cores=0,2,4,6
/proc/12669/task/12670/stat : 12670 (java) R 12667 12667 5228 0 -1 4202560 19702 0 0 0 23438 11 0 0 20 0 15 0 9878971 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140600326222896 140599939703273 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12671] ppid=12667 vsize=13980732 CPUtime=4.46 cores=0,2,4,6
/proc/12669/task/12671/stat : 12671 (java) S 12667 12667 5228 0 -1 1077944384 4712 0 0 0 404 42 0 0 20 0 15 0 9878972 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140600256420368 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12672] ppid=12667 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/12669/task/12672/stat : 12672 (java) S 12667 12667 5228 0 -1 1077944384 1947 0 0 0 415 42 0 0 20 0 15 0 9878972 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140600255367824 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12673] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12673/stat : 12673 (java) S 12667 12667 5228 0 -1 1077944384 1328 0 0 0 404 44 0 0 20 0 15 0 9878972 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140600254314768 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12674] ppid=12667 vsize=13980732 CPUtime=4.48 cores=0,2,4,6
/proc/12669/task/12674/stat : 12674 (java) S 12667 12667 5228 0 -1 1077944384 1232 0 0 0 403 45 0 0 20 0 15 0 9878972 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140600253262224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12675] ppid=12667 vsize=13980732 CPUtime=0.77 cores=0,2,4,6
/proc/12669/task/12675/stat : 12675 (java) S 12667 12667 5228 0 -1 1077944384 7186 0 0 0 75 2 0 0 20 0 15 0 9878974 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599440153328 140600321997442 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12676] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12676/stat : 12676 (java) S 12667 12667 5228 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599439099616 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12677] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12677/stat : 12677 (java) S 12667 12667 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9878974 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599438046464 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12678] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12678/stat : 12678 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599436995024 140600322004891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12679] ppid=12667 vsize=13980732 CPUtime=3.09 cores=0,2,4,6
/proc/12669/task/12679/stat : 12679 (java) S 12667 12667 5228 0 -1 1077944384 10550 0 0 0 308 1 0 0 20 0 15 0 9878977 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599435942128 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12680] ppid=12667 vsize=13980732 CPUtime=3.32 cores=0,2,4,6
/proc/12669/task/12680/stat : 12680 (java) S 12667 12667 5228 0 -1 1077944384 15121 0 0 0 330 2 0 0 20 0 15 0 9878977 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599434889584 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12681] ppid=12667 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/12669/task/12681/stat : 12681 (java) S 12667 12667 5228 0 -1 1077944384 12292 0 0 0 91 2 0 0 20 0 15 0 9878977 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599433836528 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12682] ppid=12667 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/12669/task/12682/stat : 12682 (java) S 12667 12667 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9878977 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599432784224 140600321996501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
[pid=12669/tid=12683] ppid=12667 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/12669/task/12683/stat : 12683 (java) S 12667 12667 5228 0 -1 1077944384 799 0 0 0 8 6 0 0 20 0 15 0 9878984 14316269568 484088 18446744073709551615 4194304 4196468 140730939740240 140599431732272 140600321997442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9588736 140730939744724 140730939744899 140730939744899 140730939748303 0
Current children cumulated CPU time (s) 260.85
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 12669 sig 9
??? kill 12667 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 12667 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1876
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 260.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.011
CPU time (s): 260.85
CPU user time (s): 258.85
CPU system time (s): 2
CPU usage (%): 108.683
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001876
system time used= 0.000123
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.79323 second user time and 0.90225 second system time
The end