2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT (TO)	26	1996.25	252.125
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 (10296 MiB free)
  memory of node 1: 16384 MiB (12479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281384-1503183983/watcher-4281384-1503183983 -o /tmp/evaluation-result-4281384-1503183983/solver-4281384-1503183983 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503170305-27035 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1160875272 HOME/instance-4281384-1503183983.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28746, runsolver pid=28743

[startup+0.100111 s]*
/proc/loadavg: 6.75 7.31 7.67 2/201 28767
/proc/meminfo: memFree=23307848/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=25999808 memory=26936 CPUtime=0.12 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 20 0 151479283 26623803392 6734 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6499952 6734 2864 1 0 6488269 0
[pid=28748/tid=28749] ppid=28746 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) R 28746 28746 27008 0 -1 4202560 3617 0 0 0 8 0 0 0 20 0 20 0 151479283 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515868092208 140515863880861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=25999808 memory=140276182238848 CPUtime=0 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28753] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28753/stat : 28753 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515419138320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28754] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28754/stat : 28754 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515418086544 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28755] ppid=28746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28755/stat : 28755 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515417033744 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28756] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28756/stat : 28756 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515415980944 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28757] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28757/stat : 28757 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479284 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515414928144 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28758] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28758/stat : 28758 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479285 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515259730288 140515863870082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28759] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28759/stat : 28759 (java) S 28746 28746 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151479286 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515258676256 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28760] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28760/stat : 28760 (java) S 28746 28746 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151479286 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515257623408 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28761] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28761/stat : 28761 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515256571728 140515863877531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28762] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28762/stat : 28762 (java) S 28746 28746 27008 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515255520112 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28763] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28763/stat : 28763 (java) R 28746 28746 27008 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515254467312 140515863870082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28764] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28764/stat : 28764 (java) S 28746 28746 27008 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515253414512 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28765] ppid=28746 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28748/task/28765/stat : 28765 (java) R 28746 28746 27008 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515252361712 140515863870870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28766] ppid=28746 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28766/stat : 28766 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479288 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515251309152 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28767] ppid=28746 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28767/stat : 28767 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479289 26623803392 6734 33554432000 4194304 4196468 140722857013072 140515250256432 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28320 KiB

[startup+0.210165 s]*
/proc/loadavg: 6.75 7.31 7.67 3/201 28767
/proc/meminfo: memFree=23296436/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=26004064 memory=39072 CPUtime=0.33 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 8373 0 0 0 31 2 0 0 20 0 20 0 151479283 26628161536 9768 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6501016 9768 3049 1 0 6488269 0
[pid=28748/tid=28749] ppid=28746 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) R 28746 28746 27008 0 -1 4202560 5450 0 0 0 18 1 0 0 20 0 20 0 151479283 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515868075824 140515847939422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=26004064 memory=3978849777894246048 CPUtime=0 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28753] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28753/stat : 28753 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515419138320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28754] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28754/stat : 28754 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515418086544 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28755] ppid=28746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28755/stat : 28755 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515417033744 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28756] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28756/stat : 28756 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515415980944 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28757] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28757/stat : 28757 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515414928144 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28758] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28758/stat : 28758 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479285 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515259730288 140515863870082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28759] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28759/stat : 28759 (java) S 28746 28746 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151479286 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515258676256 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28760] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28760/stat : 28760 (java) S 28746 28746 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151479286 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515257623408 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28761] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28761/stat : 28761 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515256571728 140515863877531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28762] ppid=28746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28748/task/28762/stat : 28762 (java) S 28746 28746 27008 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515255520112 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28763] ppid=28746 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28748/task/28763/stat : 28763 (java) S 28746 28746 27008 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515254467312 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28764] ppid=28746 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/28748/task/28764/stat : 28764 (java) S 28746 28746 27008 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515253414512 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28765] ppid=28746 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28748/task/28765/stat : 28765 (java) R 28746 28746 27008 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515252361712 140515856175542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28766] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28766/stat : 28766 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479288 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515251309152 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28767] ppid=28746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28767/stat : 28767 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479289 26628161536 9768 33554432000 4194304 4196468 140722857013072 140515250256432 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40456 KiB

[startup+0.309484 s]*
/proc/loadavg: 6.75 7.31 7.67 3/201 28767
/proc/meminfo: memFree=23292404/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=26004064 memory=43976 CPUtime=0.49 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 9207 0 0 0 47 2 0 0 20 0 20 0 151479283 26628161536 10994 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6501016 10994 3087 1 0 6488269 0
[pid=28748/tid=28749] ppid=28746 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) R 28746 28746 27008 0 -1 4202560 6121 0 0 0 28 1 0 0 20 0 20 0 151479283 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515868092992 140515863870870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28753] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28753/stat : 28753 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515419138320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28754] ppid=28746 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28748/task/28754/stat : 28754 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515418086544 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28755] ppid=28746 vsize=26004064 memory=140276047901615 CPUtime=0 cores=0-7
/proc/28748/task/28755/stat : 28755 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515417033744 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28756] ppid=28746 vsize=26004064 memory=140276047903920 CPUtime=0 cores=0-7
/proc/28748/task/28756/stat : 28756 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515415980944 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28757] ppid=28746 vsize=26004064 memory=140276047906224 CPUtime=0 cores=0-7
/proc/28748/task/28757/stat : 28757 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479284 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515414928144 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28758] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28758/stat : 28758 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479285 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515259730288 140515863870082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28759] ppid=28746 vsize=26004064 memory=280552095819408 CPUtime=0 cores=0-7
/proc/28748/task/28759/stat : 28759 (java) S 28746 28746 27008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151479286 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515258676256 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28760] ppid=28746 vsize=26004064 memory=280552095826320 CPUtime=0 cores=0-7
/proc/28748/task/28760/stat : 28760 (java) S 28746 28746 27008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151479286 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515257623408 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28761] ppid=28746 vsize=26004064 memory=280552095767600 CPUtime=0 cores=0-7
/proc/28748/task/28761/stat : 28761 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515256571728 140515863877531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28762] ppid=28746 vsize=26004064 memory=280552095840144 CPUtime=0.01 cores=0-7
/proc/28748/task/28762/stat : 28762 (java) S 28746 28746 27008 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515255520112 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28763] ppid=28746 vsize=26004064 memory=280552095847056 CPUtime=0.02 cores=0-7
/proc/28748/task/28763/stat : 28763 (java) S 28746 28746 27008 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515254467312 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28764] ppid=28746 vsize=26004064 memory=280552095844752 CPUtime=0.03 cores=0-7
/proc/28748/task/28764/stat : 28764 (java) S 28746 28746 27008 0 -1 1077944384 442 0 0 0 3 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515253414512 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28765] ppid=28746 vsize=26004064 memory=280552095860912 CPUtime=0.12 cores=0-7
/proc/28748/task/28765/stat : 28765 (java) R 28746 28746 27008 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515252358080 140515842844080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28766] ppid=28746 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28766/stat : 28766 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151479288 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515251309152 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28767] ppid=28746 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28748/task/28767/stat : 28767 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479289 26628161536 10994 33554432000 4194304 4196468 140722857013072 140515250256432 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45360 KiB

[startup+0.700942 s]
/proc/loadavg: 6.75 7.31 7.67 4/201 28767
/proc/meminfo: memFree=23270352/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=26004140 memory=136540 CPUtime=1.97 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 13956 0 0 0 192 5 0 0 20 0 20 0 151479283 26628239360 34135 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6501035 34135 3201 1 0 6488269 0
[pid=28748/tid=28749] ppid=28746 vsize=26004140 memory=280552096218800 CPUtime=0.67 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) R 28746 28746 27008 0 -1 4202560 6480 0 0 0 64 3 0 0 20 0 20 0 151479283 26628239360 34135 33554432000 4194304 4196468 140722857013072 140515868091968 140515500427498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=26004140 memory=140276048110448 CPUtime=0 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151479284 26628239360 34135 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628239360 34135 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=26004140 memory=1716 CPUtime=0 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151479284 26628239360 34135 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0

################
# More data... #
################

[pid=28748/tid=28863] ppid=28746 vsize=26538700 memory=1384 CPUtime=156.2 cores=0-7
/proc/28748/task/28863/stat : 28863 (java) R 28746 28746 27008 0 -1 4202560 3909 0 0 0 15592 28 0 0 20 0 28 0 151479825 27175628800 1367633 33554432000 4194304 4196468 140722857013072 140515242245664 140515509116147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 1279.67 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5471916 KiB

[startup+222.302 s]
/proc/loadavg: 8.16 7.78 7.79 9/207 28864
/proc/meminfo: memFree=17824772/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=26538700 memory=5507480 CPUtime=1758.45 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 108389 0 0 0 175594 251 0 0 20 0 28 0 151479283 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6634675 1376870 3290 1 0 6621909 0
[pid=28748/tid=28749] ppid=28746 vsize=26538700 memory=5507480 CPUtime=2.52 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) S 28746 28746 27008 0 -1 1077944384 8900 0 0 0 245 7 0 0 20 0 28 0 151479283 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515868099712 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=26538700 memory=5507480 CPUtime=0.26 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2215 0 0 0 16 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=26538700 memory=5507480 CPUtime=0.29 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 835 0 0 0 18 11 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=26538700 memory=5507480 CPUtime=0.27 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 448 0 0 0 17 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28753] ppid=28746 vsize=26538700 memory=1728 CPUtime=0.29 cores=0-7
/proc/28748/task/28753/stat : 28753 (java) S 28746 28746 27008 0 -1 1077944384 412 0 0 0 18 11 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515419138320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28754] ppid=28746 vsize=26538700 memory=0 CPUtime=0.28 cores=0-7
/proc/28748/task/28754/stat : 28754 (java) S 28746 28746 27008 0 -1 1077944384 928 0 0 0 18 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515418086544 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28755] ppid=28746 vsize=26538700 memory=0 CPUtime=0.29 cores=0-7
/proc/28748/task/28755/stat : 28755 (java) S 28746 28746 27008 0 -1 1077944384 815 0 0 0 19 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515417033744 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28756] ppid=28746 vsize=26538700 memory=1580 CPUtime=0.29 cores=0-7
/proc/28748/task/28756/stat : 28756 (java) S 28746 28746 27008 0 -1 1077944384 1558 0 0 0 19 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515415980944 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28757] ppid=28746 vsize=26538700 memory=928 CPUtime=0.27 cores=0-7
/proc/28748/task/28757/stat : 28757 (java) S 28746 28746 27008 0 -1 1077944384 1212 0 0 0 17 10 0 0 20 0 28 0 151479284 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515414928144 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28758] ppid=28746 vsize=26538700 memory=5507480 CPUtime=0.03 cores=0-7
/proc/28748/task/28758/stat : 28758 (java) S 28746 28746 27008 0 -1 1077944384 4775 0 0 0 3 0 0 0 20 0 28 0 151479285 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515259730288 140515863870082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28759] ppid=28746 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/28748/task/28759/stat : 28759 (java) S 28746 28746 27008 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151479286 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515258676320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28760] ppid=28746 vsize=26538700 memory=33 CPUtime=0 cores=0-7
/proc/28748/task/28760/stat : 28760 (java) S 28746 28746 27008 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151479286 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515257623424 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28761] ppid=28746 vsize=26538700 memory=7524214686327597154 CPUtime=0 cores=0-7
/proc/28748/task/28761/stat : 28761 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515256571728 140515863877531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28762] ppid=28746 vsize=26538700 memory=1384 CPUtime=3.39 cores=0-7
/proc/28748/task/28762/stat : 28762 (java) S 28746 28746 27008 0 -1 1077944384 17556 0 0 0 336 3 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515255520112 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28763] ppid=28746 vsize=26538700 memory=4140 CPUtime=3.1 cores=0-7
/proc/28748/task/28763/stat : 28763 (java) S 28746 28746 27008 0 -1 1077944384 13143 0 0 0 308 2 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515254467312 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28764] ppid=28746 vsize=26538700 memory=0 CPUtime=3.31 cores=0-7
/proc/28748/task/28764/stat : 28764 (java) S 28746 28746 27008 0 -1 1077944384 12321 0 0 0 327 4 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515253414512 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28765] ppid=28746 vsize=26538700 memory=609244293247493656 CPUtime=0.92 cores=0-7
/proc/28748/task/28765/stat : 28765 (java) S 28746 28746 27008 0 -1 1077944384 9398 0 0 0 89 3 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515252361712 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28766] ppid=28746 vsize=26538700 memory=5507480 CPUtime=0 cores=0-7
/proc/28748/task/28766/stat : 28766 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151479288 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515251309152 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28767] ppid=28746 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/28748/task/28767/stat : 28767 (java) S 28746 28746 27008 0 -1 1077944384 1072 0 0 0 0 7 0 0 20 0 28 0 151479289 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515250256432 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28856] ppid=28746 vsize=26538700 memory=5507480 CPUtime=216.02 cores=0-7
/proc/28748/task/28856/stat : 28856 (java) R 28746 28746 27008 0 -1 4202560 631 0 0 0 21602 0 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515241192104 140515508007779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28857] ppid=28746 vsize=26538700 memory=4140 CPUtime=216.34 cores=0-7
/proc/28748/task/28857/stat : 28857 (java) R 28746 28746 27008 0 -1 4202560 801 0 0 0 21634 0 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515235930408 140515508914306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28858] ppid=28746 vsize=26538700 memory=42308 CPUtime=216.43 cores=0-7
/proc/28748/task/28858/stat : 28858 (java) R 28746 28746 27008 0 -1 4202560 1991 0 0 0 21642 1 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515239093160 140515508842811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28859] ppid=28746 vsize=26538700 memory=1296 CPUtime=214.01 cores=0-7
/proc/28748/task/28859/stat : 28859 (java) R 28746 28746 27008 0 -1 4202560 6261 0 0 0 21358 43 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515238035752 140515511152706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28860] ppid=28746 vsize=26538700 memory=42308 CPUtime=216.46 cores=0-7
/proc/28748/task/28860/stat : 28860 (java) R 28746 28746 27008 0 -1 4202560 5043 0 0 0 21622 24 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515236986992 140515509116428 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28861] ppid=28746 vsize=26538700 memory=1296 CPUtime=216.7 cores=0-7
/proc/28748/task/28861/stat : 28861 (java) R 28746 28746 27008 0 -1 4202560 651 0 0 0 21670 0 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515240145448 140515502355606 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28862] ppid=28746 vsize=26538700 memory=2396 CPUtime=216.64 cores=0-7
/proc/28748/task/28862/stat : 28862 (java) R 28746 28746 27008 0 -1 4202560 9195 0 0 0 21626 38 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515234878120 140515509403503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28863] ppid=28746 vsize=26538700 memory=1728 CPUtime=215.29 cores=0-7
/proc/28748/task/28863/stat : 28863 (java) R 28746 28746 27008 0 -1 4202560 4934 0 0 0 21498 31 0 0 20 0 28 0 151479825 27175628800 1376870 33554432000 4194304 4196468 140722857013072 140515242245776 140515509241296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 1758.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5508864 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.37 7.87 7.82 9/207 28864
/proc/meminfo: memFree=17822696/32770624 swapFree=67108860/67108860
[pid=28746] ppid=28743 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28746/stat : 28746 (xcsp3-exec) S 28743 28746 27008 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151479282 9740288 346 33554432000 4194304 5098028 140737340053392 140737340051496 140705784668796 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29569024 140737340060778 140737340060988 140737340060988 140737340063723 0
/proc/28746/statm: 2378 346 289 221 0 87 0
[pid=28748] ppid=28746 vsize=26538700 memory=5508500 CPUtime=1995.53 cores=0-7
/proc/28748/stat : 28748 (java) S 28746 28746 27008 0 -1 1077944320 113496 0 0 0 199289 264 0 0 20 0 28 0 151479283 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140722856995616 140515863858935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
/proc/28748/statm: 6634675 1377125 3290 1 0 6621909 0
[pid=28748/tid=28749] ppid=28746 vsize=26538700 memory=2196 CPUtime=2.52 cores=0-7
/proc/28748/task/28749/stat : 28749 (java) S 28746 28746 27008 0 -1 1077944384 8900 0 0 0 245 7 0 0 20 0 28 0 151479283 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515868099712 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28750] ppid=28746 vsize=26538700 memory=6791534058613427641 CPUtime=0.26 cores=0-7
/proc/28748/task/28750/stat : 28750 (java) S 28746 28746 27008 0 -1 1077944384 2234 0 0 0 16 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515829140112 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28751] ppid=28746 vsize=26538700 memory=840 CPUtime=0.29 cores=0-7
/proc/28748/task/28751/stat : 28751 (java) S 28746 28746 27008 0 -1 1077944384 846 0 0 0 18 11 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515421243920 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28752] ppid=28746 vsize=26538700 memory=1692 CPUtime=0.27 cores=0-7
/proc/28748/task/28752/stat : 28752 (java) S 28746 28746 27008 0 -1 1077944384 460 0 0 0 17 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515420191120 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28753] ppid=28746 vsize=26538700 memory=916 CPUtime=0.29 cores=0-7
/proc/28748/task/28753/stat : 28753 (java) S 28746 28746 27008 0 -1 1077944384 599 0 0 0 18 11 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515419138320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28754] ppid=28746 vsize=26538700 memory=4440 CPUtime=0.28 cores=0-7
/proc/28748/task/28754/stat : 28754 (java) S 28746 28746 27008 0 -1 1077944384 940 0 0 0 18 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515418086544 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28755] ppid=28746 vsize=26538700 memory=4104 CPUtime=0.3 cores=0-7
/proc/28748/task/28755/stat : 28755 (java) S 28746 28746 27008 0 -1 1077944384 1143 0 0 0 20 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515417033744 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28756] ppid=28746 vsize=26538700 memory=1156 CPUtime=0.29 cores=0-7
/proc/28748/task/28756/stat : 28756 (java) S 28746 28746 27008 0 -1 1077944384 1570 0 0 0 19 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515415980944 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28757] ppid=28746 vsize=26538700 memory=3672 CPUtime=0.27 cores=0-7
/proc/28748/task/28757/stat : 28757 (java) S 28746 28746 27008 0 -1 1077944384 1250 0 0 0 17 10 0 0 20 0 28 0 151479284 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515414928144 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28758] ppid=28746 vsize=26538700 memory=1384 CPUtime=0.03 cores=0-7
/proc/28748/task/28758/stat : 28758 (java) S 28746 28746 27008 0 -1 1077944384 5014 0 0 0 3 0 0 0 20 0 28 0 151479285 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515259730288 140515863870082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28759] ppid=28746 vsize=26538700 memory=5508500 CPUtime=0 cores=0-7
/proc/28748/task/28759/stat : 28759 (java) S 28746 28746 27008 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 151479286 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515258676320 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28760] ppid=28746 vsize=26538700 memory=5508500 CPUtime=0 cores=0-7
/proc/28748/task/28760/stat : 28760 (java) S 28746 28746 27008 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 151479286 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515257623424 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28761] ppid=28746 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28748/task/28761/stat : 28761 (java) S 28746 28746 27008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515256571728 140515863877531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28762] ppid=28746 vsize=26538700 memory=1156 CPUtime=3.39 cores=0-7
/proc/28748/task/28762/stat : 28762 (java) S 28746 28746 27008 0 -1 1077944384 17556 0 0 0 336 3 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515255520112 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28763] ppid=28746 vsize=26538700 memory=3672 CPUtime=3.1 cores=0-7
/proc/28748/task/28763/stat : 28763 (java) S 28746 28746 27008 0 -1 1077944384 13478 0 0 0 308 2 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515254467312 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28764] ppid=28746 vsize=26538700 memory=1384 CPUtime=3.31 cores=0-7
/proc/28748/task/28764/stat : 28764 (java) S 28746 28746 27008 0 -1 1077944384 12321 0 0 0 327 4 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515253414512 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28765] ppid=28746 vsize=26538700 memory=5508500 CPUtime=0.92 cores=0-7
/proc/28748/task/28765/stat : 28765 (java) S 28746 28746 27008 0 -1 1077944384 10354 0 0 0 89 3 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515252361712 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28766] ppid=28746 vsize=26538700 memory=1156 CPUtime=0 cores=0-7
/proc/28748/task/28766/stat : 28766 (java) S 28746 28746 27008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151479288 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515251309152 140515863869141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28767] ppid=28746 vsize=26538700 memory=16444 CPUtime=0.08 cores=0-7
/proc/28748/task/28767/stat : 28767 (java) S 28746 28746 27008 0 -1 1077944384 1081 0 0 0 0 8 0 0 20 0 28 0 151479289 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515250256432 140515863870082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28856] ppid=28746 vsize=26538700 memory=24396 CPUtime=245.73 cores=0-7
/proc/28748/task/28856/stat : 28856 (java) R 28746 28746 27008 0 -1 4202560 632 0 0 0 24573 0 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515241192872 140515509403399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28857] ppid=28746 vsize=26538700 memory=1384 CPUtime=246.05 cores=0-7
/proc/28748/task/28857/stat : 28857 (java) R 28746 28746 27008 0 -1 4202560 803 0 0 0 24605 0 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515235934248 140515509116155 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28858] ppid=28746 vsize=26538700 memory=5508500 CPUtime=246.13 cores=0-7
/proc/28748/task/28858/stat : 28858 (java) R 28746 28746 27008 0 -1 4202560 2336 0 0 0 24612 1 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515239090408 140515509116978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28859] ppid=28746 vsize=26538700 memory=13849659856660828 CPUtime=243.61 cores=0-7
/proc/28748/task/28859/stat : 28859 (java) R 28746 28746 27008 0 -1 4202560 6653 0 0 0 24315 46 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515238035760 140515509403996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28860] ppid=28746 vsize=26538700 memory=1232 CPUtime=246.16 cores=0-7
/proc/28748/task/28860/stat : 28860 (java) R 28746 28746 27008 0 -1 4202560 5283 0 0 0 24592 24 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515236987560 140515511255287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28861] ppid=28746 vsize=26538700 memory=2464 CPUtime=246.4 cores=0-7
/proc/28748/task/28861/stat : 28861 (java) R 28746 28746 27008 0 -1 4202560 657 0 0 0 24640 0 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515240144944 140515508914268 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28862] ppid=28746 vsize=26538700 memory=1580 CPUtime=246.35 cores=0-7
/proc/28748/task/28862/stat : 28862 (java) R 28746 28746 27008 0 -1 4202560 10139 0 0 0 24592 43 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515234877384 140515508842757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
[pid=28748/tid=28863] ppid=28746 vsize=26538700 memory=928 CPUtime=244.5 cores=0-7
/proc/28748/task/28863/stat : 28863 (java) R 28746 28746 27008 0 -1 4202560 5953 0 0 0 24415 35 0 0 20 0 28 0 151479825 27175628800 1377125 33554432000 4194304 4196468 140722857013072 140515242245928 140515509404463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31006720 140722857014424 140722857014600 140722857014600 140722857017295 0
Current children cumulated CPU time: 1995.53 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5509884 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.041 s]
# the end of solver process 28746 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001908 s, system=0 s

[startup+252.125 s]
# the end of solver process 28748 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1993.58 s, system=2.67272 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

Child status: 143
Real time (s): 252.125
CPU time (s): 1996.25
CPU user time (s): 1993.58
CPU system time (s): 2.67272
CPU usage (%): 791.771
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5509884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1993.58
system time used= 2.67272
maximum resident set size= 5509528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11703
involuntary context switches= 21064


# summary of solver processes directly reported to runsolver:
#   pid: 28746,28748
#   total CPU time (s): 1996.25
#   total CPU user time (s): 1993.58
#   total CPU system time (s): 2.67272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15786 second user time and 2.96362 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4281384

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
