runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15083 MiB free)
memory of node 1: 16384 MiB (15306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284064-1503182973/watcher-4284064-1503182973 -o /tmp/evaluation-result-4284064-1503182973/solver-4284064-1503182973 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1844768072 HOME/instance-4284064-1503182973.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23926, runsolver pid=23923
[startup+0.100107 s]*
/proc/loadavg: 1.38 1.51 1.56 2/196 23927
/proc/meminfo: memFree=31118852/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (runsolver) D 23923 23926 8557 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 120492355 34791424 113 18446744073709551615 4194304 4346622 140731028993648 140731028990280 140585659519703 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 11829248 140731029000246 140731029000740 140731029000740 140731029004234 0
/proc/23926/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.208997 s]*
/proc/loadavg: 1.38 1.51 1.56 2/210 23941
/proc/meminfo: memFree=31105676/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13907304 memory=21992 CPUtime=0.05 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 4887 0 0 0 5 0 0 0 20 0 14 0 120492368 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3476826 5498 2580 1 0 3466323 0
[pid=23928/tid=23929] ppid=23926 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) D 23926 23926 8557 0 -1 4202560 3062 0 0 0 4 0 0 0 20 0 14 0 120492368 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140260194916256 140260190700797 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13907304 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120492369 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13907304 memory=288370961814181504 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120492369 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 120492369 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120492369 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13907304 memory=140585662469760 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 120492370 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 120492371 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259106198560 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 120492371 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259105145712 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120492374 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 14 0 120492374 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23926 8557 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 120492374 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13907304 memory=140585662469760 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 120492374 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120492374 14241079296 5498 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23368 KiB
[startup+0.311877 s]*
/proc/loadavg: 1.38 1.51 1.56 3/211 23942
/proc/meminfo: memFree=31097704/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13975376 memory=32680 CPUtime=0.22 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 6617 0 0 0 21 1 0 0 20 0 15 0 120492368 14310785024 8170 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3493844 8170 2974 1 0 3483220 0
[pid=23928/tid=23929] ppid=23926 vsize=13975376 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) R 23926 23926 8557 0 -1 4202560 3880 0 0 0 12 0 0 0 20 0 15 0 120492368 14310785024 8170 18446744073709551615 4194304 4196468 140727851647408 140260194901152 140260183358493 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14310785024 8170 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14311768064 8170 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14311768064 8170 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120492369 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13976336 memory=140585662469760 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120492370 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120492371 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259106198560 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120492371 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259105145712 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13976336 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 637 0 0 0 1 0 0 0 20 0 15 0 120492374 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23926 8557 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 120492374 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13976336 memory=140585662469760 CPUtime=0.05 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 699 0 0 0 5 0 0 0 20 0 15 0 120492374 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13976336 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13976336 memory=140585662469760 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492378 14311768064 8236 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 34056 KiB
[startup+0.701616 s]
/proc/loadavg: 1.38 1.51 1.56 4/211 23942
/proc/meminfo: memFree=31075480/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13978684 memory=161768 CPUtime=0.98 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 11647 0 0 0 93 5 0 0 20 0 15 0 120492368 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3494671 40442 3146 1 0 3482964 0
[pid=23928/tid=23929] ppid=23926 vsize=13978684 memory=7084817944770855017 CPUtime=0.51 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) R 23926 23926 8557 0 -1 4202560 7870 0 0 0 47 4 0 0 20 0 15 0 120492368 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140260194915064 140259826821700 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13978684 memory=5860980096798707792 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13978684 memory=5788930165031592000 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13978684 memory=3054156467844169808 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492369 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13978684 memory=-8412656567318647667 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120492369 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13978684 memory=1329904169539632283 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120492370 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13978684 memory=-7173504570860347296 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259106198560 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13978684 memory=6944665225511868275 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259105145712 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13978684 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) R 23926 23926 8557 0 -1 4202560 971 0 0 0 12 0 0 0 20 0 15 0 120492374 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259103028896 140260168660512 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13978684 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) R 23926 23926 8557 0 -1 4202560 355 0 0 0 11 0 0 0 20 0 15 0 120492374 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259101975520 140260182968224 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 1169 0 0 0 21 0 0 0 20 0 15 0 120492374 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492378 14314172416 40442 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 163144 KiB
[startup+1.50158 s]
/proc/loadavg: 1.38 1.51 1.56 3/211 23942
/proc/meminfo: memFree=30843668/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13978684 memory=472468 CPUtime=2.5 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 13875 0 0 0 231 19 0 0 20 0 15 0 120492368 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3494671 118117 3199 1 0 3482964 0
[pid=23928/tid=23929] ppid=23926 vsize=13978684 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) S 23926 23926 8557 0 -1 1077944384 7999 0 0 0 117 5 0 0 20 0 15 0 120492368 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140260194917024 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13978684 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) R 23926 23926 8557 0 -1 4202560 148 0 0 0 4 3 0 0 20 0 15 0 120492369 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140260147645784 140260175700865 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) R 23926 23926 8557 0 -1 4202560 47 0 0 0 4 1 0 0 20 0 15 0 120492369 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140260146592984 140260175705584 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13978684 memory=281171108589216 CPUtime=0.06 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) R 23926 23926 8557 0 -1 4202560 104 0 0 0 4 2 0 0 20 0 15 0 120492369 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260175706194 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) R 23926 23926 8557 0 -1 4202560 72 0 0 0 4 2 0 0 20 0 15 0 120492369 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140260144487072 140260175702478 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13978684 memory=140585554308736 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 120492370 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259107251104 140260190688981 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259106198560 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259105145712 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13978684 memory=281171108611296 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13978684 memory=77 CPUtime=0.36 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 1697 0 0 0 36 0 0 0 20 0 15 0 120492374 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13978684 memory=140585554118057 CPUtime=0.34 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23926 8557 0 -1 1077944384 1002 0 0 0 34 0 0 0 20 0 15 0 120492374 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13978684 memory=281171108197296 CPUtime=0.24 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 1298 0 0 0 24 0 0 0 20 0 15 0 120492374 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13978684 memory=281171108121024 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120492378 14314172416 118117 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 13988196 KiB
################
# More data... #
################
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259106198624 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13978684 memory=5768 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259105145728 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13978684 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13978684 memory=499092 CPUtime=0.46 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 1736 0 0 0 46 0 0 0 20 0 15 0 120492374 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13978684 memory=16436 CPUtime=0.4 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) R 23926 23926 8557 0 -1 4202560 1017 0 0 0 40 0 0 0 20 0 15 0 120492374 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260172223369 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13978684 memory=3904 CPUtime=0.26 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 1318 0 0 0 26 0 0 0 20 0 15 0 120492374 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13978684 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13978684 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492378 14314172416 191877 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 4.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 768884 KiB
[startup+6.30095 s]
/proc/loadavg: 1.59 1.55 1.58 3/211 23942
/proc/meminfo: memFree=30308740/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13978684 memory=818124 CPUtime=7.86 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 18357 0 0 0 755 31 0 0 20 0 15 0 120492368 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3494671 204531 3205 1 0 3482964 0
[pid=23928/tid=23929] ppid=23926 vsize=13978684 memory=9120 CPUtime=5.85 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) R 23926 23926 8557 0 -1 4202560 9469 0 0 0 576 9 0 0 20 0 15 0 120492368 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140260194913576 140259828224145 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13978684 memory=19650 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 270 0 0 0 9 5 0 0 20 0 15 0 120492369 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13978684 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 280 0 0 0 9 3 0 0 20 0 15 0 120492369 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13978684 memory=281171108229376 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 169 0 0 0 9 5 0 0 20 0 15 0 120492369 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13978684 memory=-9181546050914066336 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 216 0 0 0 8 4 0 0 20 0 15 0 120492369 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13978684 memory=3472464482926760994 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 617 0 0 0 0 0 0 0 20 0 15 0 120492370 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13978684 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259106198624 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13978684 memory=9057 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 120492371 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259105145728 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13978684 memory=6628 CPUtime=0.58 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 2454 0 0 0 58 0 0 0 20 0 15 0 120492374 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13978684 memory=8836 CPUtime=0.51 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23926 8557 0 -1 1077944384 1757 0 0 0 51 0 0 0 20 0 15 0 120492374 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13978684 memory=1240 CPUtime=0.3 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 1625 0 0 0 30 0 0 0 20 0 15 0 120492374 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13978684 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13978684 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 120492378 14314172416 204531 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 819500 KiB
[startup+12.7009 s]
/proc/loadavg: 1.46 1.52 1.57 3/211 23942
/proc/meminfo: memFree=30230536/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13980732 memory=895632 CPUtime=14.35 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 22227 0 0 0 1401 34 0 0 20 0 15 0 120492368 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3495183 223908 3206 1 0 3483476 0
[pid=23928/tid=23929] ppid=23926 vsize=13980732 memory=140585662469760 CPUtime=12.25 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) R 23926 23926 8557 0 -1 4202560 11550 0 0 0 1214 11 0 0 20 0 15 0 120492368 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140260194900992 140260172242344 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 270 0 0 0 9 5 0 0 20 0 15 0 120492369 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13980732 memory=14 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 280 0 0 0 9 3 0 0 20 0 15 0 120492369 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13980732 memory=12 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 169 0 0 0 9 5 0 0 20 0 15 0 120492369 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13980732 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 216 0 0 0 8 4 0 0 20 0 15 0 120492369 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13980732 memory=281171108415936 CPUtime=0.01 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 657 0 0 0 0 1 0 0 20 0 15 0 120492370 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 120492371 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259106198624 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13980732 memory=304556148978361003 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 120492371 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259105145728 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13980732 memory=6944656592387989600 CPUtime=0.61 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) S 23926 23926 8557 0 -1 1077944384 3283 0 0 0 61 0 0 0 20 0 15 0 120492374 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13980732 memory=8292148123324110535 CPUtime=0.54 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) R 23926 23926 8557 0 -1 4202560 2244 0 0 0 54 0 0 0 20 0 15 0 120492374 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260170871681 0 4 1 16800974 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13980732 memory=1376 CPUtime=0.31 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) S 23926 23926 8557 0 -1 1077944384 2017 0 0 0 31 0 0 0 20 0 15 0 120492374 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13980732 memory=834008 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 120492378 14316269568 223908 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 897008 KiB
[startup+13.0124 s]
# the end of solver process 23926 was just reported to runsolver
# cumulated CPU time of all completed processes: user=14.7975 s, system=0.361619 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.801 s]
/proc/loadavg: 1.46 1.52 1.57 3/211 23942
/proc/meminfo: memFree=30230536/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
[pid=23928] ppid=23926 vsize=13980732 memory=898644 CPUtime=14.6 cores=1,3,5,7
/proc/23928/stat : 23928 (java) S 23926 23926 8557 0 -1 1077944320 24647 0 0 0 1426 34 0 0 20 0 15 0 120492368 14316269568 224643 18446744073709551615 4194304 4196468 140727851647408 140727851629952 140260190678775 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
/proc/23928/statm: 3495183 224643 3214 1 0 3483476 0
[pid=23928/tid=23929] ppid=23926 vsize=13980732 memory=0 CPUtime=12.35 cores=1,3,5,7
/proc/23928/task/23929/stat : 23929 (java) R 23926 23926 8557 0 -1 4202560 12655 0 0 0 1224 11 0 0 20 0 15 0 120492368 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140260194918432 140259824389133 0 4 1 16800974 0 0 0 -1 5 0 0 13 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23930] ppid=23926 vsize=13980732 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23930/stat : 23930 (java) S 23926 23926 8557 0 -1 1077944384 270 0 0 0 9 5 0 0 20 0 15 0 120492369 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140260147645584 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23931] ppid=23926 vsize=13980732 memory=1376 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23931/stat : 23931 (java) S 23926 23926 8557 0 -1 1077944384 280 0 0 0 9 3 0 0 20 0 15 0 120492369 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140260146592784 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23932] ppid=23926 vsize=13980732 memory=834008 CPUtime=0.14 cores=1,3,5,7
/proc/23928/task/23932/stat : 23932 (java) S 23926 23926 8557 0 -1 1077944384 169 0 0 0 9 5 0 0 20 0 15 0 120492369 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140260145539984 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23933] ppid=23926 vsize=13980732 memory=823768 CPUtime=0.12 cores=1,3,5,7
/proc/23928/task/23933/stat : 23933 (java) S 23926 23926 8557 0 -1 1077944384 216 0 0 0 8 4 0 0 20 0 15 0 120492369 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140260144487184 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23934] ppid=23926 vsize=13980732 memory=243344257104624 CPUtime=0.01 cores=1,3,5,7
/proc/23928/task/23934/stat : 23934 (java) S 23926 23926 8557 0 -1 1077944384 660 0 0 0 0 1 0 0 20 0 15 0 120492370 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259107252592 140260190689922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23935] ppid=23926 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23935/stat : 23935 (java) S 23926 23926 8557 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 120492371 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259106198624 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23936] ppid=23926 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23936/stat : 23936 (java) S 23926 23926 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 120492371 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259105145728 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23937] ppid=23926 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23937/stat : 23937 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259104094032 140260190697371 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23938] ppid=23926 vsize=13980732 memory=38840 CPUtime=0.67 cores=1,3,5,7
/proc/23928/task/23938/stat : 23938 (java) R 23926 23926 8557 0 -1 4202560 3643 0 0 0 67 0 0 0 20 0 15 0 120492374 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259103042416 140260190690710 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23939] ppid=23926 vsize=13980732 memory=4044 CPUtime=0.59 cores=1,3,5,7
/proc/23928/task/23939/stat : 23939 (java) S 23926 23926 8557 0 -1 1077944384 2466 0 0 0 59 0 0 0 20 0 15 0 120492374 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259101989616 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23940] ppid=23926 vsize=13980732 memory=644 CPUtime=0.35 cores=1,3,5,7
/proc/23928/task/23940/stat : 23940 (java) R 23926 23926 8557 0 -1 1077944384 2746 0 0 0 35 0 0 0 20 0 15 0 120492374 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259100936816 140260190689922 0 4 1 16800974 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23941] ppid=23926 vsize=13980732 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23941/stat : 23941 (java) S 23926 23926 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120492374 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259099884256 140260190688981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
[pid=23928/tid=23942] ppid=23926 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/23928/task/23942/stat : 23942 (java) S 23926 23926 8557 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 120492378 14316269568 224661 18446744073709551615 4194304 4196468 140727851647408 140259098831536 140260190689922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 9908224 140727851651505 140727851651681 140727851651681 140727851655119 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 900020 KiB
[startup+13.0007 s]*
/proc/loadavg: 1.51 1.53 1.57 2/210 23942
/proc/meminfo: memFree=30201332/32770624 swapFree=67105588/67108860
[pid=23926] ppid=23923 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23926/stat : 23926 (xcsp3-exec) S 23923 23926 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120492355 9740288 344 18446744073709551615 4194304 5098028 140736725666752 140736725664856 140169654514300 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 13 0 0 7196144 7232144 33849344 140736725672312 140736725672517 140736725672517 140736725676011 0
/proc/23926/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
Child status: 0
Real time (s): 13.0125
CPU time (s): 15.1591
CPU user time (s): 14.7975
CPU system time (s): 0.361619
CPU usage (%): 116.496
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 910996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.7975
system time used= 0.361619
maximum resident set size= 914256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2484
involuntary context switches= 59
# summary of solver processes directly reported to runsolver:
# pid: 23926
# total CPU time (s): 15.1591
# total CPU user time (s): 14.7975
# total CPU system time (s): 0.361619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115751 second user time and 0.163872 second system time
The end