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 (14884 MiB free)
memory of node 1: 16384 MiB (14992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392986-1568320936/watcher-4392986-1568320936 -o /tmp/evaluation-result-4392986-1568320936/solver-4392986-1568320936 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 269034976 HOME/instance-4392986-1568320936.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26797, runsolver pid=26794
[startup+0.100059 s]*
/proc/loadavg: 8.36 8.43 8.37 8/233 26813
/proc/meminfo: memFree=30578708/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15144768 memory=29000 CPUtime=0.13 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 5703 0 0 0 12 1 0 0 20 0 15 0 408349913 15508242432 7250 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3786192 7250 3148 1 0 3748377 0
[pid=26799/tid=26800] ppid=26797 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) R 26797 26797 14254 0 -1 4202560 3572 0 0 0 9 0 0 0 20 0 15 0 408349914 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789960593120 139789948599102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15144768 memory=3546779137204250272 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) S 26797 26797 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789424753136 139789956373122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789423699360 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789422646768 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789420541936 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15144768 memory=140321829643904 CPUtime=0.02 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) R 26797 26797 14254 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789418436848 139789935318639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 7250 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30452 KiB
[startup+0.211175 s]*
/proc/loadavg: 8.36 8.43 8.37 8/233 26813
/proc/meminfo: memFree=30564740/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15144768 memory=40992 CPUtime=0.34 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 9417 0 0 0 32 2 0 0 20 0 15 0 408349913 15508242432 10248 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3786192 10248 3318 1 0 3748377 0
[pid=26799/tid=26800] ppid=26797 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) R 26797 26797 14254 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 408349914 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789960591696 139789940442462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15144768 memory=140321832306811 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408349914 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15144768 memory=140321829643904 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) S 26797 26797 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789424753136 139789956373122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789423699360 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408349916 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789422646768 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789420541936 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15144768 memory=140321829643904 CPUtime=0.08 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) R 26797 26797 14254 0 -1 4202560 810 0 0 0 8 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789418436656 139789948599102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349919 15508242432 10248 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42444 KiB
[startup+0.312828 s]*
/proc/loadavg: 8.36 8.43 8.37 8/233 26813
/proc/meminfo: memFree=30556464/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15149024 memory=50336 CPUtime=0.53 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 10876 0 0 0 50 3 0 0 20 0 15 0 408349913 15512600576 12584 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3787256 12584 3368 1 0 3748377 0
[pid=26799/tid=26800] ppid=26797 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) R 26797 26797 14254 0 -1 4202560 7801 0 0 0 28 2 0 0 20 0 15 0 408349914 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789960595760 139789940442462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349914 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408349914 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) S 26797 26797 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789424753136 139789956373122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789423699360 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789422646768 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15149024 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15149024 memory=6576575808606938535 CPUtime=0.03 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789420541936 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) R 26797 26797 14254 0 -1 4202560 406 0 0 0 5 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789419470408 139789933623232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 928 0 0 0 12 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789418436848 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 12590 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51788 KiB
[startup+0.701239 s]
/proc/loadavg: 8.36 8.43 8.37 6/233 26813
/proc/meminfo: memFree=30446888/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15149024 memory=287996 CPUtime=1.28 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 11797 0 0 0 106 22 0 0 20 0 15 0 408349913 15512600576 71999 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3787256 71999 3401 1 0 3748377 0
[pid=26799/tid=26800] ppid=26797 vsize=15149024 memory=-8412635772165723492 CPUtime=0.61 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) R 26797 26797 14254 0 -1 4202560 7994 0 0 0 55 6 0 0 20 0 15 0 408349914 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789960600832 139789956383901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 68 0 0 0 3 3 0 0 20 0 15 0 408349914 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 15 0 408349914 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15149024 memory=708 CPUtime=0.06 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 15 0 408349914 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15149024 memory=9364 CPUtime=0.06 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 15 0 408349914 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15149024 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) S 26797 26797 14254 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789424753136 139789956373122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15149024 memory=776 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789423699360 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15149024 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408349916 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789422646768 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15149024 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15149024 memory=3444 CPUtime=0.1 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) R 26797 26797 14254 0 -1 4202560 709 0 0 0 10 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789420523736 139789941255824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15149024 memory=1556 CPUtime=0.11 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 449 0 0 0 11 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15149024 memory=2832 CPUtime=0.16 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 1007 0 0 0 16 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789418436848 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15149024 memory=984 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15149024 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408349919 15512600576 71999 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 289448 KiB
[startup+1.50094 s]
/proc/loadavg: 8.36 8.43 8.37 6/233 26813
/proc/meminfo: memFree=30125948/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/26799/task/26802/stat : 26802 (java) R 26797 26797 14254 0 -1 4202560 22274 0 0 0 14050 228 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789547526664 139789939745010 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15151148 memory=1452 CPUtime=142.75 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) R 26797 26797 14254 0 -1 4202560 21557 0 0 0 14049 226 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789546474120 139789948990183 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15151148 memory=12789616 CPUtime=142.64 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) R 26797 26797 14254 0 -1 4202560 19789 0 0 0 14020 244 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789545421264 139789948990183 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15151148 memory=6791534058613427641 CPUtime=14.65 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) S 26797 26797 14254 0 -1 1077944384 48531 0 0 0 1462 3 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789424751680 139789956372181 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15151148 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789423699424 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15151148 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789422646784 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15151148 memory=9364 CPUtime=1.32 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 7604 0 0 0 131 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789420541696 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15151148 memory=1120 CPUtime=1 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 6419 0 0 0 99 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15151148 memory=776 CPUtime=0.56 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 6388 0 0 0 55 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789418436896 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15151148 memory=7956 CPUtime=0.12 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 418 0 0 0 5 7 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 718.05 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12791068 KiB
[startup+288.801 s]
/proc/loadavg: 7.89 7.45 7.89 9/232 26916
/proc/meminfo: memFree=17956484/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15151148 memory=12789616 CPUtime=721 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 179916 0 0 0 71113 987 0 0 20 0 15 0 408349913 15514775552 3197404 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3787787 3197404 3507 1 0 3748889 0
[pid=26799/tid=26800] ppid=26797 vsize=15151148 memory=1552 CPUtime=129.47 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) S 26797 26797 14254 0 -1 1077944384 21141 0 0 0 12899 48 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789960601200 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15151148 memory=7956 CPUtime=143.38 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 24323 0 0 0 14114 224 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15151148 memory=3444 CPUtime=143.51 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 22274 0 0 0 14122 229 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15151148 memory=1560 CPUtime=143.47 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 21557 0 0 0 14120 227 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15151148 memory=928 CPUtime=143.36 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 19789 0 0 0 14091 245 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15151148 memory=1680 CPUtime=14.7 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) R 26797 26797 14254 0 -1 4202560 48531 0 0 0 1467 3 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789424751680 139789941358468 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15151148 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789423699424 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15151148 memory=888 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789422646784 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15151148 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15151148 memory=12789616 CPUtime=1.32 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 7604 0 0 0 131 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789420541696 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15151148 memory=1044 CPUtime=1 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 6419 0 0 0 99 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15151148 memory=708 CPUtime=0.56 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 6388 0 0 0 55 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789418436896 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15151148 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 418 0 0 0 5 7 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 721 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12791068 KiB
[startup+289.201 s]
/proc/loadavg: 7.89 7.45 7.89 6/232 26916
/proc/meminfo: memFree=17956980/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15151148 memory=12789616 CPUtime=721.4 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 180044 0 0 0 71153 987 0 0 20 0 15 0 408349913 15514775552 3197404 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3787787 3197404 3507 1 0 3748889 0
[pid=26799/tid=26800] ppid=26797 vsize=15151148 memory=14981065810905736 CPUtime=129.47 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) S 26797 26797 14254 0 -1 1077944384 21141 0 0 0 12899 48 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789960601200 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15151148 memory=14012 CPUtime=143.38 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 24323 0 0 0 14114 224 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15151148 memory=5232 CPUtime=143.51 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 22274 0 0 0 14122 229 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15151148 memory=2120 CPUtime=143.47 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 21557 0 0 0 14120 227 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15151148 memory=2832 CPUtime=143.36 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 19789 0 0 0 14091 245 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15151148 memory=1452 CPUtime=15.1 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) R 26797 26797 14254 0 -1 4202560 48659 0 0 0 1507 3 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789424751568 139789941062608 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15151148 memory=12789616 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789423699424 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15151148 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789422646784 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15151148 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15151148 memory=804 CPUtime=1.32 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 7604 0 0 0 131 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789420541696 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15151148 memory=1808 CPUtime=1 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 6419 0 0 0 99 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15151148 memory=924 CPUtime=0.56 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 6388 0 0 0 55 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789418436896 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15151148 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15151148 memory=3012 CPUtime=0.12 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 418 0 0 0 5 7 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 721.4 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12791068 KiB
[startup+289.401 s]
/proc/loadavg: 7.89 7.45 7.89 6/232 26916
/proc/meminfo: memFree=17956980/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 221 0 87 0
[pid=26799] ppid=26797 vsize=15151148 memory=12789616 CPUtime=721.6 cores=0,2,4,6
/proc/26799/stat : 26799 (java) S 26797 26797 14254 0 -1 1077944320 180044 0 0 0 71173 987 0 0 20 0 15 0 408349913 15514775552 3197404 33554432000 4194304 4196468 140726335619392 140726335601936 139789956361975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
/proc/26799/statm: 3787787 3197404 3507 1 0 3748889 0
[pid=26799/tid=26800] ppid=26797 vsize=15151148 memory=14981065810905736 CPUtime=129.47 cores=0,2,4,6
/proc/26799/task/26800/stat : 26800 (java) S 26797 26797 14254 0 -1 1077944384 21141 0 0 0 12899 48 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789960601200 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26801] ppid=26797 vsize=15151148 memory=3100 CPUtime=143.38 cores=0,2,4,6
/proc/26799/task/26801/stat : 26801 (java) S 26797 26797 14254 0 -1 1077944384 24323 0 0 0 14114 224 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789912914192 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26802] ppid=26797 vsize=15151148 memory=1452 CPUtime=143.51 cores=0,2,4,6
/proc/26799/task/26802/stat : 26802 (java) S 26797 26797 14254 0 -1 1077944384 22274 0 0 0 14122 229 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789547526544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26803] ppid=26797 vsize=15151148 memory=12789616 CPUtime=143.47 cores=0,2,4,6
/proc/26799/task/26803/stat : 26803 (java) S 26797 26797 14254 0 -1 1077944384 21557 0 0 0 14120 227 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789546474000 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26804] ppid=26797 vsize=15151148 memory=1412 CPUtime=143.36 cores=0,2,4,6
/proc/26799/task/26804/stat : 26804 (java) S 26797 26797 14254 0 -1 1077944384 19789 0 0 0 14091 245 0 0 20 0 15 0 408349914 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789545421456 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26805] ppid=26797 vsize=15151148 memory=3200 CPUtime=15.3 cores=0,2,4,6
/proc/26799/task/26805/stat : 26805 (java) R 26797 26797 14254 0 -1 4202560 48659 0 0 0 1527 3 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789424751568 139789941062663 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26806] ppid=26797 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26806/stat : 26806 (java) S 26797 26797 14254 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789423699424 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26807] ppid=26797 vsize=15151148 memory=296664 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26807/stat : 26807 (java) S 26797 26797 14254 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 15 0 408349916 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789422646784 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26808] ppid=26797 vsize=15151148 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26808/stat : 26808 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789421595344 139789956380571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26809] ppid=26797 vsize=15151148 memory=8317482817917895235 CPUtime=1.32 cores=0,2,4,6
/proc/26799/task/26809/stat : 26809 (java) S 26797 26797 14254 0 -1 1077944384 7604 0 0 0 131 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789420541696 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26810] ppid=26797 vsize=15151148 memory=12789616 CPUtime=1 cores=0,2,4,6
/proc/26799/task/26810/stat : 26810 (java) S 26797 26797 14254 0 -1 1077944384 6419 0 0 0 99 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789419489392 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26811] ppid=26797 vsize=15151148 memory=14981065810905736 CPUtime=0.56 cores=0,2,4,6
/proc/26799/task/26811/stat : 26811 (java) S 26797 26797 14254 0 -1 1077944384 6388 0 0 0 55 1 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789418436896 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26812] ppid=26797 vsize=15151148 memory=14981065810905736 CPUtime=0 cores=0,2,4,6
/proc/26799/task/26812/stat : 26812 (java) S 26797 26797 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789417384544 139789956372181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
[pid=26799/tid=26813] ppid=26797 vsize=15151148 memory=12789612 CPUtime=0.12 cores=0,2,4,6
/proc/26799/task/26813/stat : 26813 (java) S 26797 26797 14254 0 -1 1077944384 418 0 0 0 5 7 0 0 20 0 15 0 408349919 15514775552 3197404 33554432000 4194304 4196468 140726335619392 139789416332080 139789956373122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 33312768 140726335628271 140726335628442 140726335628442 140726335631311 0
Current children cumulated CPU time: 721.6 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 12791068 KiB
[startup+289.52 s]
/proc/loadavg: 7.89 7.45 7.89 6/232 26916
/proc/meminfo: memFree=17956980/32770624 swapFree=66920780/67108860
[pid=26797] ppid=26794 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26797/stat : 26797 (xcsp3-exec) S 26794 26797 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408349913 115843072 363 33554432000 4194304 5098028 140731889166336 140731889164440 140057950712444 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40017920 140731889173371 140731889173613 140731889173613 140731889176522 0
/proc/26797/statm: 28282 363 304 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: 1
Real time (s): 289.527
CPU time (s): 721.737
CPU user time (s): 711.81
CPU system time (s): 9.92696
CPU usage (%): 249.281
Max. virtual memory (cumulated for all children) (KiB): 15264276
Max. memory (cumulated for all children) (KiB): 12791068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 711.81
system time used= 9.92696
maximum resident set size= 12789880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180747
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12993
involuntary context switches= 14196
# summary of solver processes directly reported to runsolver:
# pid: 26797
# total CPU time (s): 721.737
# total CPU user time (s): 711.81
# total CPU system time (s): 9.92696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83675 second user time and 3.16416 second system time
The end