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 (15100 MiB free)
memory of node 1: 16384 MiB (7940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301705-1532885009/watcher-4301705-1532885009 -o /tmp/evaluation-result-4301705-1532885009/solver-4301705-1532885009 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532880125-7616 --watchdog 312 HOME/xcsp3-exec -seed 1010975283 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301705-1532885009.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11820, runsolver pid=11817
[startup+0.10013 s]*
/proc/loadavg: 2.28 2.13 2.01 3/218 11836
/proc/meminfo: memFree=23578492/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14082940 memory=28296 CPUtime=0.12 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 15 0 106064141 14420930560 7074 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3520735 7074 3001 1 0 3483012 0
[pid=11822/tid=11823] ppid=11820 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 3500 0 0 0 9 0 0 0 20 0 15 0 106064141 14420930560 7074 33554432000 4194304 4196468 140720571660544 140561316008416 140561311788438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 7074 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 7074 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 7074 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064143 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 7585 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560487397360 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0.01 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) R 11820 11820 7585 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 106064146 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560486345072 140561293014064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064147 14420930560 7074 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29752 KiB
[startup+0.210667 s]*
/proc/loadavg: 2.28 2.13 2.01 7/218 11836
/proc/meminfo: memFree=23566064/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14082940 memory=41048 CPUtime=0.34 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 8294 0 0 0 32 2 0 0 20 0 15 0 106064141 14420930560 10262 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3520735 10262 3217 1 0 3483012 0
[pid=11822/tid=11823] ppid=11820 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 5414 0 0 0 19 1 0 0 20 0 15 0 106064141 14420930560 10326 33554432000 4194304 4196468 140720571660544 140561316011488 140561295856990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14082940 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 10326 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14082940 memory=4123525366960834208 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 10326 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 10326 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064143 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14082940 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 106064146 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14082940 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 7585 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 106064146 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560487397360 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14082940 memory=139943439451776 CPUtime=0.07 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 781 0 0 0 7 0 0 0 20 0 15 0 106064146 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064147 14420930560 10326 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42504 KiB
[startup+0.310608 s]*
/proc/loadavg: 2.28 2.13 2.01 3/199 11836
/proc/meminfo: memFree=27250152/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14087196 memory=48100 CPUtime=0.53 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 9179 0 0 0 50 3 0 0 20 0 15 0 106064141 14425288704 12025 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3521799 12025 3261 1 0 3483012 0
[pid=11822/tid=11823] ppid=11820 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 6114 0 0 0 28 1 0 0 20 0 15 0 106064141 14425288704 12025 33554432000 4194304 4196468 140720571660544 140561316010288 140561295856990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14425288704 12025 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14087196 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14425288704 12025 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14425288704 12025 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064143 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14087196 memory=-9062581184954983548 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14087196 memory=3047711566422646390 CPUtime=0.03 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 368 0 0 0 3 0 0 0 20 0 15 0 106064146 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14087196 memory=8693815914432465728 CPUtime=0.06 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) R 11820 11820 7585 0 -1 4202560 549 0 0 0 6 0 0 0 20 0 15 0 106064146 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560487387744 140561293186511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14087196 memory=4628975386420216973 CPUtime=0.12 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 106064146 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064147 14425288704 12025 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49556 KiB
[startup+0.700806 s]
/proc/loadavg: 2.28 2.13 2.01 6/197 11852
/proc/meminfo: memFree=27352068/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14089320 memory=91164 CPUtime=1.45 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 11713 0 0 0 141 4 0 0 20 0 15 0 106064141 14427463680 22791 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3522330 22791 3346 1 0 3483524 0
[pid=11822/tid=11823] ppid=11820 vsize=14089320 memory=4126316290023845779 CPUtime=0.67 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 6661 0 0 0 65 2 0 0 20 0 15 0 106064141 14427463680 22791 33554432000 4194304 4196468 140720571660544 140561316013504 140560945147025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 22791 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 22791 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 22791 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14089320 memory=6297555469490540642 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064143 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14089320 memory=7158586392491354450 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14089320 memory=7091313851566282854 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14089320 memory=7512114578044973668 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14089320 memory=7086244033498605162 CPUtime=0.22 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 1243 0 0 0 22 0 0 0 20 0 15 0 106064146 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14089320 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 7585 0 -1 1077944384 992 0 0 0 25 0 0 0 20 0 15 0 106064146 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560487397360 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14089320 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 1507 0 0 0 27 1 0 0 20 0 15 0 106064146 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14089320 memory=30212 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064147 14427463680 22791 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 92620 KiB
[startup+1.50667 s]
/proc/loadavg: 2.18 2.11 2.01 3/199 11862
/proc/meminfo: memFree=27291888/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 36911 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14089320 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 36911 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14089320 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 36911 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14089320 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14089320 memory=8257237230706253920 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064143 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14089320 memory=31492 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14089320 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 1564 0 0 0 28 0 0 0 20 0 15 0 106064146 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14089320 memory=33 CPUtime=0.38 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) R 11820 11820 7585 0 -1 4202560 2079 0 0 0 38 0 0 0 20 0 15 0 106064146 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560487384912 140561289603741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14089320 memory=5793718559713349730 CPUtime=0.32 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) R 11820 11820 7585 0 -1 4202560 1986 0 0 0 31 1 0 0 20 0 15 0 106064146 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560486342328 140561311788438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14089320 memory=8950 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14089320 memory=279886644586464 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064147 14427463680 36911 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 149100 KiB
[startup+1.93076 s]
# the end of solver process 11820 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.4661 s, system=0.072525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60485 s]
/proc/loadavg: 2.18 2.11 2.01 3/199 11862
/proc/meminfo: memFree=27291888/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14089320 memory=152220 CPUtime=2.81 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 15383 0 0 0 275 6 0 0 20 0 15 0 106064141 14427463680 38055 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3522330 38055 3367 1 0 3483524 0
[pid=11822/tid=11823] ppid=11820 vsize=14089320 memory=4294969504 CPUtime=1.58 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 8103 0 0 0 154 4 0 0 20 0 15 0 106064141 14427463680 38055 33554432000 4194304 4196468 140720571660544 140561316010976 140560942001632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14089320 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38055 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38055 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14089320 memory=23556 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38055 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 106064143 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14089320 memory=279886644117744 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14089320 memory=279886644117744 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14089320 memory=3683 CPUtime=0.38 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) R 11820 11820 7585 0 -1 4202560 1780 0 0 0 38 0 0 0 20 0 15 0 106064146 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560488439040 140561291022920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14089320 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) R 11820 11820 7585 0 -1 4202560 2128 0 0 0 48 0 0 0 20 0 15 0 106064146 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560487388816 140561295683794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14089320 memory=7375036259420950884 CPUtime=0.34 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 2050 0 0 0 33 1 0 0 20 0 15 0 106064146 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14089320 memory=7660742144744843625 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14089320 memory=4638778428681637968 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064147 14427463680 38055 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 153676 KiB
[startup+1.80089 s]
/proc/loadavg: 2.18 2.11 2.01 3/199 11862
/proc/meminfo: memFree=27291888/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14089320 memory=153724 CPUtime=3.35 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 16246 0 0 0 329 6 0 0 20 0 15 0 106064141 14427463680 38431 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3522330 38431 3369 1 0 3483524 0
[pid=11822/tid=11823] ppid=11820 vsize=14089320 memory=8187704045996132563 CPUtime=1.77 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 8129 0 0 0 173 4 0 0 20 0 15 0 106064141 14427463680 38431 33554432000 4194304 4196468 140720571660544 140561316015648 140560946139358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14089320 memory=-7022074515825631275 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38431 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38431 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14089320 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38431 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14089320 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 106064143 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14089320 memory=-8096454439705354400 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14089320 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14089320 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) R 11820 11820 7585 0 -1 4202560 2151 0 0 0 55 0 0 0 20 0 15 0 106064146 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560488431728 140561291033078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14089320 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 7585 0 -1 1077944384 2521 0 0 0 63 0 0 0 20 0 15 0 106064146 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560487397360 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14089320 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 2123 0 0 0 36 1 0 0 20 0 15 0 106064146 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14089320 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064147 14427463680 38431 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 3.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 155180 KiB
[startup+1.9008 s]
/proc/loadavg: 2.18 2.11 2.01 3/199 11862
/proc/meminfo: memFree=27291888/32770624 swapFree=67108496/67108860
[pid=11820] ppid=11817 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11820/stat : 11820 (xcsp3-exec) S 11817 11820 7585 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106064140 115843072 364 33554432000 4194304 5098028 140729435150176 140729435148280 140229149405820 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33902592 140729435153472 140729435153673 140729435153673 140729435156426 0
/proc/11820/statm: 28282 364 306 221 0 87 0
[pid=11822] ppid=11820 vsize=14089320 memory=153744 CPUtime=3.49 cores=0,2,4,6
/proc/11822/stat : 11822 (java) S 11820 11820 7585 0 -1 1077944320 16275 0 0 0 343 6 0 0 20 0 15 0 106064141 14427463680 38436 33554432000 4194304 4196468 140720571660544 140720571643088 140561311776503 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
/proc/11822/statm: 3522330 38436 3369 1 0 3483524 0
[pid=11822/tid=11823] ppid=11820 vsize=14089320 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/11822/task/11823/stat : 11823 (java) R 11820 11820 7585 0 -1 4202560 8135 0 0 0 183 4 0 0 20 0 15 0 106064141 14427463680 38436 33554432000 4194304 4196468 140720571660544 140561316015648 140560946136793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11824] ppid=11820 vsize=14089320 memory=5865753149975063659 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11824/stat : 11824 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38436 33554432000 4194304 4196468 140720571660544 140561264396688 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11825] ppid=11820 vsize=14089320 memory=-6656980379019866466 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11825/stat : 11825 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38436 33554432000 4194304 4196468 140720571660544 140561263343888 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11826] ppid=11820 vsize=14089320 memory=279886644381680 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11826/stat : 11826 (java) S 11820 11820 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38436 33554432000 4194304 4196468 140720571660544 140561262291600 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11827] ppid=11820 vsize=14089320 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11827/stat : 11827 (java) S 11820 11820 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064142 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560904153616 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11828] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11828/stat : 11828 (java) S 11820 11820 7585 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 106064143 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560492661360 140561311787650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11829] ppid=11820 vsize=14089320 memory=279886644689072 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11829/stat : 11829 (java) S 11820 11820 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560491607328 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11830] ppid=11820 vsize=14089320 memory=8740 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11830/stat : 11830 (java) S 11820 11820 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064144 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560490554992 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11831] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11831/stat : 11831 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560489503312 140561311795099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11832] ppid=11820 vsize=14089320 memory=6944656592455359580 CPUtime=0.57 cores=0,2,4,6
/proc/11822/task/11832/stat : 11832 (java) S 11820 11820 7585 0 -1 1077944384 2161 0 0 0 57 0 0 0 20 0 15 0 106064146 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560488450160 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11833] ppid=11820 vsize=14089320 memory=6944652177228980320 CPUtime=0.64 cores=0,2,4,6
/proc/11822/task/11833/stat : 11833 (java) S 11820 11820 7585 0 -1 1077944384 2524 0 0 0 64 0 0 0 20 0 15 0 106064146 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560487397360 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11834] ppid=11820 vsize=14089320 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/11822/task/11834/stat : 11834 (java) S 11820 11820 7585 0 -1 1077944384 2133 0 0 0 37 1 0 0 20 0 15 0 106064146 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560486345072 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11835] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11835/stat : 11835 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064146 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560485292512 140561311786709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
[pid=11822/tid=11836] ppid=11820 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11822/task/11836/stat : 11836 (java) S 11820 11820 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064147 14427463680 38436 33554432000 4194304 4196468 140720571660544 140560484240304 140561311787650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27549696 140720571663500 140720571663670 140720571663670 140720571666383 0
Current children cumulated CPU time: 3.49 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 155200 KiB
Child status: 0
Real time (s): 1.93081
CPU time (s): 3.53863
CPU user time (s): 3.4661
CPU system time (s): 0.072525
CPU usage (%): 183.272
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 155200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.4661
system time used= 0.072525
maximum resident set size= 156372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1730
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 11820
# total CPU time (s): 3.53863
# total CPU user time (s): 3.4661
# total CPU system time (s): 0.072525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023597 second user time and 0.068904 second system time
The end