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 (6143 MiB free)
memory of node 1: 16384 MiB (6083 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307063-1534083771/watcher-4307063-1534083771 -o /tmp/evaluation-result-4307063-1534083771/solver-4307063-1534083771 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 1544905797 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307063-1534083771.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1465, runsolver pid=1462
[startup+0.102305 s]*
/proc/loadavg: 2.15 1.98 1.93 3/218 1481
/proc/meminfo: memFree=12503980/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14082940 memory=28732 CPUtime=0.11 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 5520 0 0 0 11 0 0 0 20 0 15 0 225940418 14420930560 7183 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3520735 7183 3026 1 0 3483012 0
[pid=1467/tid=1468] ppid=1465 vsize=14082940 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 3547 0 0 0 9 0 0 0 20 0 15 0 225940418 14420930560 7183 33554432000 4194304 4196468 140735915958240 140102146868632 140102142659990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14082940 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 7183 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940420 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225940421 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101322503072 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225940421 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101321450480 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0.01 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) R 1465 1465 31211 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 225940423 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101317241584 140102124212693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940424 14420930560 7183 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30188 KiB
[startup+0.210614 s]*
/proc/loadavg: 2.15 1.98 1.93 4/218 1481
/proc/meminfo: memFree=12493064/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14082940 memory=40760 CPUtime=0.33 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 8302 0 0 0 32 1 0 0 20 0 15 0 225940418 14420930560 10190 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3520735 10190 3162 1 0 3483012 0
[pid=1467/tid=1468] ppid=1465 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 5445 0 0 0 19 1 0 0 20 0 15 0 225940418 14420930560 10190 33554432000 4194304 4196468 140735915958240 140102146883040 140102126691685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14082940 memory=4294977833 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 10190 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14082940 memory=288370999062800000 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225940420 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225940421 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101322503072 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225940421 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101321450480 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) R 1465 1465 31211 0 -1 1077944384 659 0 0 0 2 0 0 0 20 0 15 0 225940423 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 15 0 225940423 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14082940 memory=140622911088256 CPUtime=0.08 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) R 1465 1465 31211 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 225940423 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940424 14420930560 10190 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42216 KiB
[startup+0.31216 s]*
/proc/loadavg: 2.15 1.98 1.93 4/218 1481
/proc/meminfo: memFree=12486364/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14087196 memory=48352 CPUtime=0.52 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 9185 0 0 0 51 1 0 0 20 0 15 0 225940418 14425288704 12088 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3521799 12088 3275 1 0 3483012 0
[pid=1467/tid=1468] ppid=1465 vsize=14087196 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 6171 0 0 0 28 1 0 0 20 0 15 0 225940418 14425288704 12088 33554432000 4194304 4196468 140735915958240 140102146879168 140102142669981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14425288704 12088 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225940419 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14087196 memory=3763099673816014896 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940419 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14087196 memory=7883313791549059376 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 225940420 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14087196 memory=7597616690137150001 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225940421 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101322503072 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14087196 memory=7526544143896108165 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 225940421 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101321450480 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14087196 memory=8463011391429237925 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 225940423 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14087196 memory=3683997410010345503 CPUtime=0.03 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 134 0 0 0 3 0 0 0 20 0 15 0 225940423 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14087196 memory=3833020771850639520 CPUtime=0.12 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 15 0 225940423 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14087196 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14087196 memory=4122396847708423860 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940424 14425288704 12088 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49808 KiB
[startup+0.700845 s]
/proc/loadavg: 2.15 1.98 1.93 3/218 1481
/proc/meminfo: memFree=12385216/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14087196 memory=293524 CPUtime=1.61 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 12467 0 0 0 140 21 0 0 20 0 15 0 225940418 14425288704 73381 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3521799 73381 3328 1 0 3483012 0
[pid=1467/tid=1468] ppid=1465 vsize=14087196 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 6346 0 0 0 55 5 0 0 20 0 15 0 225940418 14425288704 73381 33554432000 4194304 4196468 140735915958240 140102146887184 140102142669981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14087196 memory=17 CPUtime=0.05 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 225940419 14425288704 73381 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14087196 memory=2 CPUtime=0.05 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 15 0 225940419 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 225940419 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 15 0 225940419 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 225940420 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 225940421 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101322503136 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 225940421 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101321450480 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14087196 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 2158 0 0 0 24 0 0 0 20 0 15 0 225940423 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14087196 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 1055 0 0 0 27 0 0 0 20 0 15 0 225940423 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14087196 memory=26 CPUtime=0.19 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 1280 0 0 0 19 0 0 0 20 0 15 0 225940423 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14087196 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14087196 memory=33796 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225940424 14425288704 73381 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 294980 KiB
[startup+1.50084 s]
/proc/loadavg: 2.15 1.98 1.93 3/218 1481
/proc/meminfo: memFree=12051148/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101321450496 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14091368 memory=3952 CPUtime=4.1 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 34316 0 0 0 407 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14091368 memory=2724 CPUtime=4.18 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 32741 0 0 0 415 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14091368 memory=1456 CPUtime=1.09 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 20788 0 0 0 107 2 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14091368 memory=6233752 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14091368 memory=1456 CPUtime=1.34 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 3946 0 0 0 63 71 0 0 20 0 15 0 225940424 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 2431.16 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6235208 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 2.04 2.06 3/217 1662
/proc/meminfo: memFree=5809212/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14091368 memory=6233752 CPUtime=2491.22 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 497482 0 0 0 248431 691 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3522842 1558438 3435 1 0 3484036 0
[pid=1467/tid=1468] ppid=1465 vsize=14091368 memory=6233752 CPUtime=2429.04 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 295257 0 0 0 242859 45 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102146884312 140101783809734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14091368 memory=6233752 CPUtime=12.71 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 21660 0 0 0 1123 148 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14091368 memory=6233752 CPUtime=12.69 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 22875 0 0 0 1130 139 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14091368 memory=239284 CPUtime=12.7 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 22675 0 0 0 1130 140 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14091368 memory=1456 CPUtime=12.74 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 24194 0 0 0 1131 143 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14091368 memory=6233752 CPUtime=0.48 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 15326 0 0 0 43 5 0 0 20 0 15 0 225940420 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101322503136 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14091368 memory=6233752 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101321450496 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14091368 memory=6233752 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14091368 memory=6233752 CPUtime=4.1 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 34332 0 0 0 407 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14091368 memory=1456 CPUtime=4.2 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 34398 0 0 0 417 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14091368 memory=1456 CPUtime=1.09 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 21398 0 0 0 107 2 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14091368 memory=6233752 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14091368 memory=1456 CPUtime=1.38 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 4028 0 0 0 65 73 0 0 20 0 15 0 225940424 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 2491.22 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6235208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.11 s]
/proc/loadavg: 1.93 2.02 2.05 3/217 1662
/proc/meminfo: memFree=4454740/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14091368 memory=6233752 CPUtime=2520.04 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 500957 0 0 0 251312 692 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3522842 1558438 3435 1 0 3484036 0
[pid=1467/tid=1468] ppid=1465 vsize=14091368 memory=1456 CPUtime=2457.85 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 298669 0 0 0 245740 45 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102146884312 140101789134570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14091368 memory=6233752 CPUtime=12.71 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 21660 0 0 0 1123 148 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14091368 memory=1456 CPUtime=12.69 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 22875 0 0 0 1130 139 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14091368 memory=281245600122864 CPUtime=12.7 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 22675 0 0 0 1130 140 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14091368 memory=2354917148161 CPUtime=12.74 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 24194 0 0 0 1131 143 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14091368 memory=756 CPUtime=0.48 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 15336 0 0 0 43 5 0 0 20 0 15 0 225940420 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14091368 memory=14568 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101322503136 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101321450496 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14091368 memory=6233752 CPUtime=4.1 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 34340 0 0 0 407 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14091368 memory=61368 CPUtime=4.2 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 34400 0 0 0 417 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14091368 memory=420 CPUtime=1.09 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 21403 0 0 0 107 2 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14091368 memory=109 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14091368 memory=353 CPUtime=1.39 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 4066 0 0 0 66 73 0 0 20 0 15 0 225940424 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6235208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.12 s]
# the end of solver process 1465 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001137 s, system=0.001137 s
[startup+2471.15 s]
# the end of solver process 1467 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.14 s, system=6.95727 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.11 s]
/proc/loadavg: 1.93 2.02 2.05 3/217 1662
/proc/meminfo: memFree=4454740/32770624 swapFree=67108844/67108860
[pid=1465] ppid=1462 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1465/stat : 1465 (xcsp3-exec) S 1462 1465 31211 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 225940418 115843072 364 33554432000 4194304 5098028 140726535742752 140726535740856 139772046828156 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15224832 140726535750714 140726535750916 140726535750916 140726535753674 0
/proc/1465/statm: 28282 364 306 221 0 87 0
[pid=1467] ppid=1465 vsize=14091368 memory=6233752 CPUtime=2520.04 cores=1,3,5,7
/proc/1467/stat : 1467 (java) S 1465 1465 31211 0 -1 1077944320 500957 0 0 0 251312 692 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140735915940784 140102142648055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
/proc/1467/statm: 3522842 1558438 3435 1 0 3484036 0
[pid=1467/tid=1468] ppid=1465 vsize=14091368 memory=1456 CPUtime=2457.85 cores=1,3,5,7
/proc/1467/task/1468/stat : 1468 (java) R 1465 1465 31211 0 -1 4202560 298669 0 0 0 245740 45 0 0 20 0 15 0 225940418 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102146884312 140101789134570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1469] ppid=1465 vsize=14091368 memory=6233752 CPUtime=12.71 cores=1,3,5,7
/proc/1467/task/1469/stat : 1469 (java) S 1465 1465 31211 0 -1 1077944384 21660 0 0 0 1123 148 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140102103608080 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1470] ppid=1465 vsize=14091368 memory=1456 CPUtime=12.69 cores=1,3,5,7
/proc/1467/task/1470/stat : 1470 (java) S 1465 1465 31211 0 -1 1077944384 22875 0 0 0 1130 139 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101736967056 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1471] ppid=1465 vsize=14091368 memory=281245600122864 CPUtime=12.7 cores=1,3,5,7
/proc/1467/task/1471/stat : 1471 (java) S 1465 1465 31211 0 -1 1077944384 22675 0 0 0 1130 140 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101735914512 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1472] ppid=1465 vsize=14091368 memory=2354917148161 CPUtime=12.74 cores=1,3,5,7
/proc/1467/task/1472/stat : 1472 (java) S 1465 1465 31211 0 -1 1077944384 24194 0 0 0 1131 143 0 0 20 0 15 0 225940419 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101734861968 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1473] ppid=1465 vsize=14091368 memory=756 CPUtime=0.48 cores=1,3,5,7
/proc/1467/task/1473/stat : 1473 (java) S 1465 1465 31211 0 -1 1077944384 15336 0 0 0 43 5 0 0 20 0 15 0 225940420 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101323556848 140102142659202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1474] ppid=1465 vsize=14091368 memory=14568 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1474/stat : 1474 (java) S 1465 1465 31211 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101322503136 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1475] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1475/stat : 1475 (java) S 1465 1465 31211 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 225940421 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101321450496 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1476] ppid=1465 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1476/stat : 1476 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101320399056 140102142666651 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1477] ppid=1465 vsize=14091368 memory=6233752 CPUtime=4.1 cores=1,3,5,7
/proc/1467/task/1477/stat : 1477 (java) S 1465 1465 31211 0 -1 1077944384 34340 0 0 0 407 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101319346672 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1478] ppid=1465 vsize=14091368 memory=61368 CPUtime=4.2 cores=1,3,5,7
/proc/1467/task/1478/stat : 1478 (java) S 1465 1465 31211 0 -1 1077944384 34400 0 0 0 417 3 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101318294128 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1479] ppid=1465 vsize=14091368 memory=420 CPUtime=1.09 cores=1,3,5,7
/proc/1467/task/1479/stat : 1479 (java) S 1465 1465 31211 0 -1 1077944384 21403 0 0 0 107 2 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101317241584 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1480] ppid=1465 vsize=14091368 memory=109 CPUtime=0 cores=1,3,5,7
/proc/1467/task/1480/stat : 1480 (java) S 1465 1465 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225940423 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101316189280 140102142658261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
[pid=1467/tid=1481] ppid=1465 vsize=14091368 memory=353 CPUtime=1.39 cores=1,3,5,7
/proc/1467/task/1481/stat : 1481 (java) S 1465 1465 31211 0 -1 1077944384 4066 0 0 0 66 73 0 0 20 0 15 0 225940424 14429560832 1558438 33554432000 4194304 4196468 140735915958240 140101315135792 140102142659202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36352000 140735915959430 140735915959601 140735915959601 140735915962319 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 6235208 KiB
Child status: 143
Real time (s): 2471.15
CPU time (s): 2520.1
CPU user time (s): 2513.14
CPU system time (s): 6.95727
CPU usage (%): 101.981
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 6242228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.14
system time used= 6.95728
maximum resident set size= 6240804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58647
involuntary context switches= 1239
# summary of solver processes directly reported to runsolver:
# pid: 1465,1467
# total CPU time (s): 2520.1
# total CPU user time (s): 2513.14
# total CPU system time (s): 6.95727
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.405 second user time and 23.4007 second system time
The end