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 (5775 MiB free)
memory of node 1: 16384 MiB (6985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306969-1534150488/watcher-4306969-1534150488 -o /tmp/evaluation-result-4306969-1534150488/solver-4306969-1534150488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534139719-31514 --watchdog 2580 HOME/xcsp3-exec -seed 1971582565 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306969-1534150488.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=450, runsolver pid=447
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.76 1.68 1.62 3/218 468
/proc/meminfo: memFree=13049704/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14082940 memory=29304 CPUtime=0.11 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 5612 0 0 0 10 1 0 0 20 0 15 0 232611995 14420930560 7326 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3520735 7326 3042 1 0 3483012 0
[pid=453/tid=454] ppid=450 vsize=14082940 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 3632 0 0 0 9 0 0 0 20 0 15 0 232611995 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310686292640 140310682070422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14082940 memory=4294979887 CPUtime=0 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14082940 memory=4051467746951386784 CPUtime=0 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14082940 memory=139887386384000 CPUtime=0 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232611997 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232611998 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232611998 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14082940 memory=139887386384000 CPUtime=0.01 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) R 450 450 29789 0 -1 4202560 279 0 0 0 1 0 0 0 20 0 15 0 232612000 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310149904368 140310682070422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232612001 14420930560 7326 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30760 KiB
[startup+0.210691 s]*
/proc/loadavg: 1.86 1.70 1.62 5/218 468
/proc/meminfo: memFree=13038788/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14082940 memory=40680 CPUtime=0.33 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 8150 0 0 0 31 2 0 0 20 0 15 0 232611995 14420930560 10170 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3520735 10170 3209 1 0 3483012 0
[pid=453/tid=454] ppid=450 vsize=14082940 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 5398 0 0 0 18 1 0 0 20 0 15 0 232611995 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310686292608 140310666138974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14082940 memory=4294979887 CPUtime=0 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14082940 memory=4051467746951386784 CPUtime=0 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14082940 memory=139887386384000 CPUtime=0 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232611997 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232611998 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232611998 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 232612000 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 232612000 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14082940 memory=139887386384000 CPUtime=0.07 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) R 450 450 29789 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 232612000 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310149904368 140310674295614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232612001 14420930560 10170 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42136 KiB
[startup+0.310445 s]*
/proc/loadavg: 1.86 1.70 1.62 5/218 468
/proc/meminfo: memFree=13032368/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14087196 memory=47016 CPUtime=0.5 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 8896 0 0 0 47 3 0 0 20 0 15 0 232611995 14425288704 11754 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3521799 11754 3241 1 0 3483012 0
[pid=453/tid=454] ppid=450 vsize=14087196 memory=1398720917958146503 CPUtime=0.29 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 6041 0 0 0 27 2 0 0 20 0 15 0 232611995 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310686289600 140310682080413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232611996 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14087196 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14087196 memory=-7966001967256141664 CPUtime=0 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14087196 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14087196 memory=1404238533875048054 CPUtime=0 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232611997 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14087196 memory=6525018278055875452 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232611998 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232611998 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) R 450 450 29789 0 -1 1077944384 542 0 0 0 4 0 0 0 20 0 15 0 232612000 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) R 450 450 29789 0 -1 4202560 168 0 0 0 3 0 0 0 20 0 15 0 232612000 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310150957424 140310682079834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) R 450 450 29789 0 -1 4202560 901 0 0 0 12 0 0 0 20 0 15 0 232612000 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310149904368 140310682079834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14087196 memory=3618697513205510431 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14087196 memory=2320674816659131057 CPUtime=0 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232612001 14425288704 11837 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48472 KiB
[startup+0.700837 s]
/proc/loadavg: 1.86 1.70 1.62 6/218 468
/proc/meminfo: memFree=13019652/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14089320 memory=72024 CPUtime=1.55 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 12697 0 0 0 150 5 0 0 20 0 15 0 232611995 14427463680 18006 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3522330 18006 3362 1 0 3483524 0
[pid=453/tid=454] ppid=450 vsize=14089320 memory=4637180968128643444 CPUtime=0.66 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 7162 0 0 0 63 3 0 0 20 0 15 0 232611995 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310686289744 140310293909996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14089320 memory=7084820200048181347 CPUtime=0 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 232611996 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14089320 memory=159376 CPUtime=0 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14089320 memory=62992 CPUtime=0 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232611996 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 232611997 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14089320 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14089320 memory=59708 CPUtime=0.24 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) R 450 450 29789 0 -1 4202560 1246 0 0 0 24 0 0 0 20 0 15 0 232612000 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310151994960 140310667171100 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14089320 memory=2416 CPUtime=0.26 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) R 450 450 29789 0 -1 4202560 762 0 0 0 26 0 0 0 20 0 15 0 232612000 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310150937008 140310666305156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14089320 memory=1796 CPUtime=0.36 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) S 450 450 29789 0 -1 1077944384 2219 0 0 0 36 0 0 0 20 0 15 0 232612000 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310149904368 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 232612001 14427463680 18006 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 73480 KiB
[startup+1.50089 s]
/proc/loadavg: 1.86 1.70 1.62 5/218 468
/proc/meminfo: memFree=12997104/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14089320 memory=3940144 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14089320 memory=3941680 CPUtime=1.74 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 14285 0 0 0 173 1 0 0 20 0 15 0 232612000 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14089320 memory=1456 CPUtime=1.55 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 12795 0 0 0 153 2 0 0 20 0 15 0 232612000 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14089320 memory=3940656 CPUtime=0.51 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) S 450 450 29789 0 -1 1077944384 7325 0 0 0 50 1 0 0 20 0 15 0 232612000 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310149904368 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14089320 memory=1456 CPUtime=0.62 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1639 0 0 0 26 36 0 0 20 0 15 0 232612001 14427463680 985164 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 2344.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 3942112 KiB
[startup+2382.3 s]
/proc/loadavg: 0.43 0.70 1.07 2/196 647
/proc/meminfo: memFree=9209708/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14089320 memory=4030952 CPUtime=2405.84 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 174778 0 0 0 240256 328 0 0 20 0 15 0 232611995 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3522330 1007738 3427 1 0 3483524 0
[pid=453/tid=454] ppid=450 vsize=14089320 memory=1456 CPUtime=2373.09 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 73770 0 0 0 237097 212 0 0 20 0 15 0 232611995 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310686298272 140310294501264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14089320 memory=4030952 CPUtime=6.66 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 9170 0 0 0 651 15 0 0 20 0 15 0 232611996 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14089320 memory=4031464 CPUtime=6.69 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 11041 0 0 0 652 17 0 0 20 0 15 0 232611996 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14089320 memory=1456 CPUtime=6.7 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 9496 0 0 0 654 16 0 0 20 0 15 0 232611996 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14089320 memory=3942180 CPUtime=6.7 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 9537 0 0 0 653 17 0 0 20 0 15 0 232611996 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14089320 memory=1456 CPUtime=1.47 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 24344 0 0 0 126 21 0 0 20 0 15 0 232611997 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14089320 memory=4031984 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14089320 memory=4031464 CPUtime=1.74 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 14285 0 0 0 173 1 0 0 20 0 15 0 232612000 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14089320 memory=4030952 CPUtime=1.55 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 12795 0 0 0 153 2 0 0 20 0 15 0 232612000 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14089320 memory=4030952 CPUtime=0.51 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) S 450 450 29789 0 -1 1077944384 7325 0 0 0 50 1 0 0 20 0 15 0 232612000 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310149904368 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14089320 memory=1456 CPUtime=0.63 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1643 0 0 0 26 37 0 0 20 0 15 0 232612001 14427463680 1007738 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 2405.84 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4032408 KiB
[startup+2442.3 s]
/proc/loadavg: 0.45 0.66 1.04 2/195 648
/proc/meminfo: memFree=9218904/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14089320 memory=4021720 CPUtime=2466.53 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 174817 0 0 0 246324 329 0 0 20 0 15 0 232611995 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3522330 1005430 3427 1 0 3483524 0
[pid=453/tid=454] ppid=450 vsize=14089320 memory=4021720 CPUtime=2432.83 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 73791 0 0 0 243071 212 0 0 20 0 15 0 232611995 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310686298000 140310294941607 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14089320 memory=4021720 CPUtime=6.89 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 9172 0 0 0 674 15 0 0 20 0 15 0 232611996 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14089320 memory=4021720 CPUtime=6.92 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 11043 0 0 0 675 17 0 0 20 0 15 0 232611996 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14089320 memory=1456 CPUtime=6.92 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 9498 0 0 0 676 16 0 0 20 0 15 0 232611996 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14089320 memory=4024284 CPUtime=6.92 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 9541 0 0 0 675 17 0 0 20 0 15 0 232611996 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14089320 memory=4022744 CPUtime=1.48 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 24348 0 0 0 127 21 0 0 20 0 15 0 232611997 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14089320 memory=4022232 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14089320 memory=4022232 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14089320 memory=4022232 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14089320 memory=1456 CPUtime=1.74 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 14285 0 0 0 173 1 0 0 20 0 15 0 232612000 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14089320 memory=1456 CPUtime=1.55 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 12795 0 0 0 153 2 0 0 20 0 15 0 232612000 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14089320 memory=4021720 CPUtime=0.51 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) S 450 450 29789 0 -1 1077944384 7325 0 0 0 50 1 0 0 20 0 15 0 232612000 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310149904368 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14089320 memory=4021720 CPUtime=0.66 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1647 0 0 0 28 38 0 0 20 0 15 0 232612001 14427463680 1005430 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 2466.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4023176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.8 s]
/proc/loadavg: 0.53 0.65 1.01 2/195 648
/proc/meminfo: memFree=9223860/32770624 swapFree=67108860/67108860
[pid=450] ppid=447 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/450/stat : 450 (xcsp3-exec) S 447 450 29789 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 232611994 115843072 364 33554432000 4194304 5098028 140721528240784 140721528238888 140369315549820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7815168 140721528247354 140721528247556 140721528247556 140721528250314 0
/proc/450/statm: 28282 364 306 221 0 87 0
[pid=453] ppid=450 vsize=14089320 memory=4016764 CPUtime=2520.08 cores=1,3,5,7
/proc/453/stat : 453 (java) S 450 450 29789 0 -1 1077944320 174892 0 0 0 251677 331 0 0 20 0 15 0 232611995 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140720750082928 140310682058487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
/proc/453/statm: 3522330 1004191 3427 1 0 3483524 0
[pid=453/tid=454] ppid=450 vsize=14089320 memory=796 CPUtime=2484.96 cores=1,3,5,7
/proc/453/task/454/stat : 454 (java) R 450 450 29789 0 -1 4202560 73824 0 0 0 248284 212 0 0 20 0 15 0 232611995 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310686298112 140310294575236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=455] ppid=450 vsize=14089320 memory=5408 CPUtime=7.23 cores=1,3,5,7
/proc/453/task/455/stat : 455 (java) S 450 450 29789 0 -1 1077944384 9176 0 0 0 708 15 0 0 20 0 15 0 232611996 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310612146704 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=457] ppid=450 vsize=14089320 memory=876 CPUtime=7.27 cores=1,3,5,7
/proc/453/task/457/stat : 457 (java) S 450 450 29789 0 -1 1077944384 11048 0 0 0 709 18 0 0 20 0 15 0 232611996 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310611094160 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=458] ppid=450 vsize=14089320 memory=4015228 CPUtime=7.27 cores=1,3,5,7
/proc/453/task/458/stat : 458 (java) S 450 450 29789 0 -1 1077944384 9502 0 0 0 711 16 0 0 20 0 15 0 232611996 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310610041104 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=459] ppid=450 vsize=14089320 memory=16228 CPUtime=7.27 cores=1,3,5,7
/proc/453/task/459/stat : 459 (java) S 450 450 29789 0 -1 1077944384 9543 0 0 0 710 17 0 0 20 0 15 0 232611996 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310275078544 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=460] ppid=450 vsize=14089320 memory=35152 CPUtime=1.5 cores=1,3,5,7
/proc/453/task/460/stat : 460 (java) S 450 450 29789 0 -1 1077944384 24352 0 0 0 129 21 0 0 20 0 15 0 232611997 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310156221168 140310682069634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=461] ppid=450 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/453/task/461/stat : 461 (java) S 450 450 29789 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310155167392 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=462] ppid=450 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/453/task/462/stat : 462 (java) S 450 450 29789 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 232611998 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310154114288 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=463] ppid=450 vsize=14089320 memory=636 CPUtime=0 cores=1,3,5,7
/proc/453/task/463/stat : 463 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310153062864 140310682077083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=464] ppid=450 vsize=14089320 memory=960 CPUtime=1.74 cores=1,3,5,7
/proc/453/task/464/stat : 464 (java) S 450 450 29789 0 -1 1077944384 14285 0 0 0 173 1 0 0 20 0 15 0 232612000 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310152009968 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=465] ppid=450 vsize=14089320 memory=1232 CPUtime=1.56 cores=1,3,5,7
/proc/453/task/465/stat : 465 (java) S 450 450 29789 0 -1 1077944384 12814 0 0 0 154 2 0 0 20 0 15 0 232612000 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310150957424 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=466] ppid=450 vsize=14089320 memory=2460 CPUtime=0.51 cores=1,3,5,7
/proc/453/task/466/stat : 466 (java) S 450 450 29789 0 -1 1077944384 7325 0 0 0 50 1 0 0 20 0 15 0 232612000 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310149904368 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=467] ppid=450 vsize=14089320 memory=932 CPUtime=0 cores=1,3,5,7
/proc/453/task/467/stat : 467 (java) S 450 450 29789 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 232612000 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310148852064 140310682068693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
[pid=453/tid=468] ppid=450 vsize=14089320 memory=1580 CPUtime=0.68 cores=1,3,5,7
/proc/453/task/468/stat : 468 (java) S 450 450 29789 0 -1 1077944384 1651 0 0 0 29 39 0 0 20 0 15 0 232612001 14427463680 1004191 33554432000 4194304 4196468 140720750100384 140310147800112 140310682069634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 32333824 140720750101638 140720750101809 140720750101809 140720750104527 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 4018220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.81 s]
# the end of solver process 450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000802 s, system=0.001604 s
[startup+2494.83 s]
# the end of solver process 453 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.79 s, system=3.33043 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): 2494.83
CPU time (s): 2520.12
CPU user time (s): 2516.79
CPU system time (s): 3.33043
CPU usage (%): 101.014
Max. virtual memory (cumulated for all children) (KiB): 14204224
Max. memory (cumulated for all children) (KiB): 4034972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.79
system time used= 3.33042
maximum resident set size= 4033516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90502
involuntary context switches= 3322
# summary of solver processes directly reported to runsolver:
# pid: 450,453
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.79
# total CPU system time (s): 3.33043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1414 second user time and 23.7171 second system time
The end