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 (6800 MiB free)
memory of node 1: 16384 MiB (4501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306980-1534148557/watcher-4306980-1534148557 -o /tmp/evaluation-result-4306980-1534148557/solver-4306980-1534148557 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534138525-29335 --watchdog 2580 HOME/xcsp3-exec -seed 1994803415 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306980-1534148557.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
solver pid=30433, runsolver pid=30430
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.41 1.33 1.40 4/221 30449
/proc/meminfo: memFree=11555272/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14082940 memory=29040 CPUtime=0.12 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 5619 0 0 0 11 1 0 0 20 0 15 0 232418877 14420930560 7260 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3520735 7260 3024 1 0 3483012 0
[pid=30435/tid=30436] ppid=30433 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 3630 0 0 0 9 0 0 0 20 0 15 0 232418877 14420930560 7325 33554432000 4194304 4196468 140722691612880 140013132781360 140013128564118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14420930560 7325 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14082940 memory=140579352090240 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14420930560 7325 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14420930560 7325 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14420930560 7325 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14082940 memory=140579352090240 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418879 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 232418882 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14082940 memory=140579352090240 CPUtime=0.01 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) R 30433 30433 28743 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 232418882 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012595645168 140013107493720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14082940 memory=140579352090240 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418883 14420930560 7325 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210841 s]*
/proc/loadavg: 1.41 1.33 1.40 4/221 30449
/proc/meminfo: memFree=11544232/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14087196 memory=41264 CPUtime=0.34 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 8355 0 0 0 32 2 0 0 20 0 15 0 232418877 14425288704 10316 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3521799 10316 3188 1 0 3483012 0
[pid=30435/tid=30436] ppid=30433 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 5499 0 0 0 18 1 0 0 20 0 15 0 232418877 14425288704 10316 33554432000 4194304 4196468 140722691612880 140013132773176 140013112632670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14087196 memory=8969 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 10316 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14087196 memory=288370955503801984 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 10316 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 10316 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 10316 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14087196 memory=140579352090240 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232418879 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 705 0 0 0 2 0 0 0 20 0 15 0 232418882 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 15 0 232418882 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14087196 memory=140579352090240 CPUtime=0.08 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 232418882 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418883 14425288704 10316 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42716 KiB
[startup+0.310864 s]*
/proc/loadavg: 1.41 1.33 1.40 6/221 30449
/proc/meminfo: memFree=11537532/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14087196 memory=48344 CPUtime=0.53 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 9232 0 0 0 50 3 0 0 20 0 15 0 232418877 14425288704 12086 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3521799 12086 3267 1 0 3483012 0
[pid=30435/tid=30436] ppid=30433 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 6191 0 0 0 28 2 0 0 20 0 15 0 232418877 14425288704 12086 33554432000 4194304 4196468 140722691612880 140013132788960 140013112632670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 12086 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 12086 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 12086 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14425288704 12086 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232418879 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14087196 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14087196 memory=8508281356422055839 CPUtime=0.05 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 792 0 0 0 5 0 0 0 20 0 15 0 232418882 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 65 0 0 0 4 0 0 0 20 0 15 0 232418882 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 15 0 232418882 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418883 14425288704 12086 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49796 KiB
[startup+0.70076 s]
/proc/loadavg: 1.41 1.33 1.40 4/221 30449
/proc/meminfo: memFree=11526304/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14089320 memory=74568 CPUtime=1.57 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 13401 0 0 0 153 4 0 0 20 0 15 0 232418877 14427463680 18642 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3522330 18642 3358 1 0 3483524 0
[pid=30435/tid=30436] ppid=30433 vsize=14089320 memory=63260 CPUtime=0.67 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 7087 0 0 0 64 3 0 0 20 0 15 0 232418877 14427463680 18642 33554432000 4194304 4196468 140722691612880 140013132789088 140012733164719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 18642 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14089320 memory=2252 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 18642 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 18642 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 18642 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 232418879 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14089320 memory=11796 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14089320 memory=5772 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14089320 memory=1388 CPUtime=0.25 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) R 30433 30433 28743 0 -1 4202560 1851 0 0 0 25 0 0 0 20 0 15 0 232418882 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012597740176 140013114616168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14089320 memory=1228 CPUtime=0.25 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) R 30433 30433 28743 0 -1 4202560 1120 0 0 0 25 0 0 0 20 0 15 0 232418882 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012596678728 140013109253847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14089320 memory=880 CPUtime=0.36 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 2032 0 0 0 36 0 0 0 20 0 15 0 232418882 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14089320 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14089320 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418883 14427463680 18642 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 76020 KiB
[startup+1.50078 s]
/proc/loadavg: 1.54 1.36 1.41 5/221 30449
/proc/meminfo: memFree=11502988/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 2471 0 0 0 43 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14089320 memory=756 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14089320 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 232418883 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105896 KiB
[startup+5.34002 s]
# the end of solver process 30433 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.75888 s, system=0.074871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20081 s]
/proc/loadavg: 1.54 1.36 1.41 3/221 30449
/proc/meminfo: memFree=11483052/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14089320 memory=104444 CPUtime=5.93 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 24050 0 0 0 587 6 0 0 20 0 15 0 232418877 14427463680 26111 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3522330 26111 3372 1 0 3483524 0
[pid=30435/tid=30436] ppid=30433 vsize=14089320 memory=4616 CPUtime=3.17 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 7712 0 0 0 314 3 0 0 20 0 15 0 232418877 14427463680 26111 33554432000 4194304 4196468 140722691612880 140013132789000 140012734256060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 26111 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14089320 memory=89876 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 26111 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 26111 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 26111 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 232418879 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14089320 memory=98200 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14089320 memory=6791534058613427641 CPUtime=1.13 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 5965 0 0 0 112 1 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14089320 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 6548 0 0 0 116 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14089320 memory=56260 CPUtime=0.43 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 2471 0 0 0 43 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 232418883 14427463680 26111 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 105896 KiB
[startup+4.00062 s]*
/proc/loadavg: 1.54 1.36 1.41 3/221 30449
/proc/meminfo: memFree=11468600/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14089320 memory=116824 CPUtime=6.74 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 24964 0 0 0 668 6 0 0 20 0 15 0 232418877 14427463680 29206 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3522330 29206 3373 1 0 3483524 0
[pid=30435/tid=30436] ppid=30433 vsize=14089320 memory=4283920778584163725 CPUtime=3.98 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 8140 0 0 0 395 3 0 0 20 0 15 0 232418877 14427463680 29206 33554432000 4194304 4196468 140722691612880 140013132790856 140012733386001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14089320 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 29206 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14089320 memory=7378838208835887034 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 29206 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14089320 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 29206 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14089320 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 29206 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14089320 memory=3472464477533259440 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 232418879 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14089320 memory=8461260352690138415 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14089320 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14089320 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 6184 0 0 0 112 1 0 0 20 0 15 0 232418882 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14089320 memory=-1 CPUtime=1.16 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 6551 0 0 0 116 0 0 0 20 0 15 0 232418882 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14089320 memory=140579352090240 CPUtime=0.43 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 2727 0 0 0 43 0 0 0 20 0 15 0 232418882 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14089320 memory=140579352090240 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 232418883 14427463680 29206 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 6.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 118276 KiB
[startup+4.80062 s]
/proc/loadavg: 1.54 1.36 1.41 3/221 30449
/proc/meminfo: memFree=11468600/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
[pid=30435] ppid=30433 vsize=14089320 memory=129156 CPUtime=7.54 cores=1,3,5,7
/proc/30435/stat : 30435 (java) S 30433 30433 28743 0 -1 1077944320 25894 0 0 0 748 6 0 0 20 0 15 0 232418877 14427463680 32289 33554432000 4194304 4196468 140722691612880 140722691595424 140013128552183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
/proc/30435/statm: 3522330 32289 3377 1 0 3483524 0
[pid=30435/tid=30436] ppid=30433 vsize=14089320 memory=6791534058613427641 CPUtime=4.77 cores=1,3,5,7
/proc/30435/task/30436/stat : 30436 (java) R 30433 30433 28743 0 -1 4202560 8172 0 0 0 474 3 0 0 20 0 15 0 232418877 14427463680 32289 33554432000 4194304 4196468 140722691612880 140013132789232 140012733881853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30437] ppid=30433 vsize=14089320 memory=7234303152781525070 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30437/stat : 30437 (java) S 30433 30433 28743 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 32289 33554432000 4194304 4196468 140722691612880 140013058640656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30438] ppid=30433 vsize=14089320 memory=288283364052721790 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30438/stat : 30438 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 32289 33554432000 4194304 4196468 140722691612880 140013057588112 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30439] ppid=30433 vsize=14089320 memory=288230376152963649 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30439/stat : 30439 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 32289 33554432000 4194304 4196468 140722691612880 140013056535568 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30440] ppid=30433 vsize=14089320 memory=4121974811043391331 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30440/stat : 30440 (java) S 30433 30433 28743 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232418878 14427463680 32289 33554432000 4194304 4196468 140722691612880 140013055483024 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30441] ppid=30433 vsize=14089320 memory=281158491731728 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30441/stat : 30441 (java) S 30433 30433 28743 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 232418879 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012601960432 140013128563330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30442] ppid=30433 vsize=14089320 memory=7307186505489867604 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30442/stat : 30442 (java) S 30433 30433 28743 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012600906656 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30443] ppid=30433 vsize=14089320 memory=6298670284003371628 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30443/stat : 30443 (java) S 30433 30433 28743 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232418880 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012599854064 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30444] ppid=30433 vsize=14089320 memory=6298670284003371628 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30444/stat : 30444 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012598802640 140013128570779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30445] ppid=30433 vsize=14089320 memory=6298670284003371628 CPUtime=1.13 cores=1,3,5,7
/proc/30435/task/30445/stat : 30445 (java) S 30433 30433 28743 0 -1 1077944384 6184 0 0 0 112 1 0 0 20 0 15 0 232418882 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012597750256 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30446] ppid=30433 vsize=14089320 memory=7084273712671317824 CPUtime=1.16 cores=1,3,5,7
/proc/30435/task/30446/stat : 30446 (java) S 30433 30433 28743 0 -1 1077944384 6656 0 0 0 116 0 0 0 20 0 15 0 232418882 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012596697712 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30447] ppid=30433 vsize=14089320 memory=7444596695521077905 CPUtime=0.44 cores=1,3,5,7
/proc/30435/task/30447/stat : 30447 (java) S 30433 30433 28743 0 -1 1077944384 3254 0 0 0 44 0 0 0 20 0 15 0 232418882 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012595645168 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30448] ppid=30433 vsize=14089320 memory=14659882558 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30448/stat : 30448 (java) S 30433 30433 28743 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232418882 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012594592864 140013128562389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
[pid=30435/tid=30449] ppid=30433 vsize=14089320 memory=281158492206624 CPUtime=0 cores=1,3,5,7
/proc/30435/task/30449/stat : 30449 (java) S 30433 30433 28743 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 232418883 14427463680 32289 33554432000 4194304 4196468 140722691612880 140012593539376 140013128563330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34795520 140722691622022 140722691622193 140722691622193 140722691624911 0
Current children cumulated CPU time: 7.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 130608 KiB
[startup+5.20068 s]
/proc/loadavg: 1.54 1.36 1.41 3/221 30449
/proc/meminfo: memFree=11443896/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+5.30033 s]
/proc/loadavg: 1.54 1.36 1.41 3/221 30449
/proc/meminfo: memFree=11443896/32770624 swapFree=67108852/67108860
[pid=30433] ppid=30430 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/30433/stat : 30433 (xcsp3-exec) S 30430 30433 28743 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 232418877 115843072 363 33554432000 4194304 5098028 140736374227216 140736374225320 140126547853948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9940992 140736374236218 140736374236420 140736374236420 140736374239178 0
/proc/30433/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 5.34005
CPU time (s): 7.83376
CPU user time (s): 7.75888
CPU system time (s): 0.074871
CPU usage (%): 146.698
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 134740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.75889
system time used= 0.074871
maximum resident set size= 133532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2335
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 30433
# total CPU time (s): 7.83376
# total CPU user time (s): 7.75888
# total CPU system time (s): 0.074871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052127 second user time and 0.099494 second system time
The end