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 (15059 MiB free)
memory of node 1: 16384 MiB (15486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394339-1568324930/watcher-4394339-1568324930 -o /tmp/evaluation-result-4394339-1568324930/solver-4394339-1568324930 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1235333236 HOME/instance-4394339-1568324930.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=25768, runsolver pid=25765
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 9.05 8.74 6.78 4/209 25803
/proc/meminfo: memFree=31273304/32770624 swapFree=66933544/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15144768 memory=30056 CPUtime=0.1 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 5379 0 0 0 10 0 0 0 20 0 15 0 408764438 15508242432 7514 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3786192 7514 3094 1 0 3748377 0
[pid=25773/tid=25777] ppid=25768 vsize=15144768 memory=-5155634600179362949 CPUtime=0.07 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) R 25768 25768 25300 0 -1 4202560 3369 0 0 0 7 0 0 0 20 0 15 0 408764438 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917932271320 139917928072349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15144768 memory=3461491115843536521 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408764440 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408764441 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917261469344 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408764441 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917260416240 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764443 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) R 25768 25768 25300 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917258312216 139917905476448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0.01 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) S 25768 25768 25300 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 408764445 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917256206320 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 7580 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31508 KiB
[startup+0.21331 s]*
/proc/loadavg: 9.05 8.74 6.78 4/220 25819
/proc/meminfo: memFree=31242392/32770624 swapFree=66933544/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15144768 memory=41156 CPUtime=0.31 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 8994 0 0 0 29 2 0 0 20 0 15 0 408764438 15508242432 10289 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3786192 10289 3260 1 0 3748377 0
[pid=25773/tid=25777] ppid=25768 vsize=15144768 memory=5853390461050848929 CPUtime=0.18 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) R 25768 25768 25300 0 -1 4202560 6185 0 0 0 17 1 0 0 20 0 15 0 408764438 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917932282336 139917928072349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15144768 memory=3472468640109003984 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408764439 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408764440 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408764441 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917261469344 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408764441 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917260416240 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764443 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) S 25768 25768 25300 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 15 0 408764445 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917258311920 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 15 0 408764445 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0.07 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) R 25768 25768 25300 0 -1 4202560 744 0 0 0 7 0 0 0 20 0 15 0 408764445 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917256206320 139917907018521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15144768 memory=140511213852288 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764445 15508242432 10289 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42608 KiB
[startup+0.310657 s]*
/proc/loadavg: 9.05 8.74 6.78 4/229 25828
/proc/meminfo: memFree=31228776/32770624 swapFree=66933544/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15149024 memory=47448 CPUtime=0.49 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 10123 0 0 0 46 3 0 0 20 0 15 0 408764438 15512600576 11862 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3787256 11862 3358 1 0 3748377 0
[pid=25773/tid=25777] ppid=25768 vsize=15149024 memory=8514701219881255588 CPUtime=0.29 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) R 25768 25768 25300 0 -1 4202560 7187 0 0 0 27 2 0 0 20 0 15 0 408764438 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917932287056 139917912130910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15149024 memory=3472468640109003984 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15149024 memory=5989973578599660009 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15149024 memory=7085156525787686037 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15149024 memory=140511063182883 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408764439 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15149024 memory=281022126365896 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408764440 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15149024 memory=62803967 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408764441 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917261469344 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15149024 memory=281022277035200 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408764441 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917260416240 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15149024 memory=115838975 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764443 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15149024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) R 25768 25768 25300 0 -1 4202560 267 0 0 0 2 0 0 0 20 0 15 0 408764445 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917258301840 139917908516859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) R 25768 25768 25300 0 -1 1077944384 544 0 0 0 4 0 0 0 20 0 15 0 408764445 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917257249760 139917928060629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) S 25768 25768 25300 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 15 0 408764445 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917256206320 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764445 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764445 15512600576 11862 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48900 KiB
[startup+0.701696 s]
/proc/loadavg: 9.05 8.74 6.78 7/229 25828
/proc/meminfo: memFree=31192468/32770624 swapFree=66933544/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15151148 memory=85608 CPUtime=1.65 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 14035 0 0 0 160 5 0 0 20 0 15 0 408764438 15514775552 21402 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3787787 21402 3452 1 0 3748889 0
[pid=25773/tid=25777] ppid=25768 vsize=15151148 memory=1 CPUtime=0.66 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) R 25768 25768 25300 0 -1 4202560 8257 0 0 0 64 2 0 0 20 0 15 0 408764438 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917932287376 139917928062358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764439 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408764439 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15151148 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408764440 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15151148 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408764441 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917261469344 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15151148 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408764441 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917260416240 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15151148 memory=11928 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764443 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15151148 memory=2124 CPUtime=0.25 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) R 25768 25768 25300 0 -1 4202560 1129 0 0 0 25 0 0 0 20 0 15 0 408764445 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917258311920 139917928071770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15151148 memory=6232 CPUtime=0.28 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 1390 0 0 0 28 0 0 0 20 0 15 0 408764445 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15151148 memory=504 CPUtime=0.41 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) R 25768 25768 25300 0 -1 1077944384 1951 0 0 0 41 0 0 0 20 0 15 0 408764445 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917256201360 139917928060629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408764445 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408764445 15514775552 21402 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 87060 KiB
[startup+1.50076 s]
/proc/loadavg: 9.05 8.74 6.78 10/233 25832
/proc/meminfo: memFree=31065752/32770624 swapFree=66933544/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 93402 0 0 0 207549 42 0 0 20 0 19 0 408764438 15789518848 59897 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3854863 59897 3534 1 0 3815965 0
[pid=25773/tid=25777] ppid=25768 vsize=15419452 memory=239588 CPUtime=0.99 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) S 25768 25768 25300 0 -1 1077944384 9090 0 0 0 95 4 0 0 20 0 19 0 408764438 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917932291200 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15419452 memory=1452 CPUtime=0.57 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 2027 0 0 0 54 3 0 0 20 0 19 0 408764439 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15419452 memory=1452 CPUtime=0.58 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 2923 0 0 0 55 3 0 0 20 0 19 0 408764439 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15419452 memory=239588 CPUtime=0.58 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 2464 0 0 0 54 4 0 0 20 0 19 0 408764439 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15419452 memory=239588 CPUtime=0.57 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 3034 0 0 0 53 4 0 0 20 0 19 0 408764439 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15419452 memory=1452 CPUtime=0.36 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 2719 0 0 0 24 12 0 0 20 0 19 0 408764440 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15419452 memory=239588 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917261469408 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917260416256 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764443 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15419452 memory=0 CPUtime=5.04 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) S 25768 25768 25300 0 -1 1077944384 23597 0 0 0 502 2 0 0 20 0 19 0 408764445 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917258311920 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15419452 memory=239588 CPUtime=5.3 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 21601 0 0 0 529 1 0 0 20 0 19 0 408764445 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15419452 memory=1452 CPUtime=1.11 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) S 25768 25768 25300 0 -1 1077944384 12609 0 0 0 109 2 0 0 20 0 19 0 408764445 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917256206320 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764445 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15419452 memory=239588 CPUtime=0.39 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 715 0 0 0 39 0 0 0 20 0 19 0 408764445 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25833] ppid=25768 vsize=15419452 memory=1452 CPUtime=515.32 cores=1,3,5,7
/proc/25773/task/25833/stat : 25833 (java) R 25768 25768 25300 0 -1 4202560 2564 0 0 0 51530 2 0 0 20 0 19 0 408764541 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917242792984 139917567024333 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25834] ppid=25768 vsize=15419452 memory=1452 CPUtime=514.73 cores=1,3,5,7
/proc/25773/task/25834/stat : 25834 (java) R 25768 25768 25300 0 -1 4202560 4599 0 0 0 51470 3 0 0 20 0 19 0 408764541 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917241741464 139917567024324 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25835] ppid=25768 vsize=15419452 memory=239588 CPUtime=514.78 cores=1,3,5,7
/proc/25773/task/25835/stat : 25835 (java) R 25768 25768 25300 0 -1 4202560 1953 0 0 0 51477 1 0 0 20 0 19 0 408764541 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917240689648 139917571396461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25836] ppid=25768 vsize=15419452 memory=1452 CPUtime=515.44 cores=1,3,5,7
/proc/25773/task/25836/stat : 25836 (java) R 25768 25768 25300 0 -1 4202560 2132 0 0 0 51544 0 0 0 20 0 19 0 408764541 15789518848 59897 33554432000 4194304 4196468 140734003562128 139917239638352 139917567024062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 2075.91 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 241040 KiB
[startup+582.301 s]
/proc/loadavg: 6.41 6.35 6.37 6/238 27567
/proc/meminfo: memFree=30846148/32770624 swapFree=66933552/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15419452 memory=242024 CPUtime=2314.58 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 94956 0 0 0 231415 43 0 0 20 0 19 0 408764438 15789518848 60506 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3854863 60506 3534 1 0 3815965 0
[pid=25773/tid=25777] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.99 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) S 25768 25768 25300 0 -1 1077944384 9090 0 0 0 95 4 0 0 20 0 19 0 408764438 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917932291200 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.63 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 2060 0 0 0 59 4 0 0 20 0 19 0 408764439 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.63 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 3420 0 0 0 60 3 0 0 20 0 19 0 408764439 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.63 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 2480 0 0 0 59 4 0 0 20 0 19 0 408764439 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.62 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 3092 0 0 0 58 4 0 0 20 0 19 0 408764439 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15419452 memory=242024 CPUtime=0.4 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 2922 0 0 0 27 13 0 0 20 0 19 0 408764440 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917261469408 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15419452 memory=242024 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917260416256 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764443 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15419452 memory=0 CPUtime=5.05 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) S 25768 25768 25300 0 -1 1077944384 23820 0 0 0 503 2 0 0 20 0 19 0 408764445 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917258311920 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15419452 memory=1452 CPUtime=5.3 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 21603 0 0 0 529 1 0 0 20 0 19 0 408764445 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15419452 memory=242024 CPUtime=1.11 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) S 25768 25768 25300 0 -1 1077944384 12611 0 0 0 109 2 0 0 20 0 19 0 408764445 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917256206320 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15419452 memory=242024 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764445 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15419452 memory=1452 CPUtime=0.43 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 730 0 0 0 43 0 0 0 20 0 19 0 408764445 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25833] ppid=25768 vsize=15419452 memory=1452 CPUtime=574.93 cores=1,3,5,7
/proc/25773/task/25833/stat : 25833 (java) R 25768 25768 25300 0 -1 4202560 2701 0 0 0 57491 2 0 0 20 0 19 0 408764541 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917242793200 139917568082446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25834] ppid=25768 vsize=15419452 memory=239464 CPUtime=574.33 cores=1,3,5,7
/proc/25773/task/25834/stat : 25834 (java) R 25768 25768 25300 0 -1 4202560 4748 0 0 0 57430 3 0 0 20 0 19 0 408764541 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917241744336 139917575488567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25835] ppid=25768 vsize=15419452 memory=1452 CPUtime=574.34 cores=1,3,5,7
/proc/25773/task/25835/stat : 25835 (java) R 25768 25768 25300 0 -1 4202560 2029 0 0 0 57433 1 0 0 20 0 19 0 408764541 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917240688824 139917567024038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25836] ppid=25768 vsize=15419452 memory=1452 CPUtime=575.07 cores=1,3,5,7
/proc/25773/task/25836/stat : 25836 (java) R 25768 25768 25300 0 -1 4202560 2275 0 0 0 57506 1 0 0 20 0 19 0 408764541 15789518848 60506 33554432000 4194304 4196468 140734003562128 139917239635456 139917567023988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 2314.58 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 243476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.801 s]
/proc/loadavg: 6.07 6.28 6.34 6/237 27571
/proc/meminfo: memFree=30829928/32770624 swapFree=66933556/67108860
[pid=25768] ppid=25765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25768/stat : 25768 (xcsp3-exec) S 25765 25768 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408764438 115843072 363 33554432000 4194304 5098028 140729603778352 140729603776456 140323520311932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25333760 140729603785594 140729603785837 140729603785837 140729603788746 0
/proc/25768/statm: 28282 363 304 221 0 87 0
[pid=25773] ppid=25768 vsize=15419452 memory=258488 CPUtime=2400.11 cores=1,3,5,7
/proc/25773/stat : 25773 (java) S 25768 25768 25300 0 -1 1077944320 95309 0 0 0 239967 44 0 0 20 0 19 0 408764438 15789518848 64622 33554432000 4194304 4196468 140734003562128 140734003544672 139917928050423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
/proc/25773/statm: 3854863 64622 3534 1 0 3815965 0
[pid=25773/tid=25777] ppid=25768 vsize=15419452 memory=984 CPUtime=0.99 cores=1,3,5,7
/proc/25773/task/25777/stat : 25777 (java) S 25768 25768 25300 0 -1 1077944384 9090 0 0 0 95 4 0 0 20 0 19 0 408764438 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917932291200 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25781] ppid=25768 vsize=15419452 memory=2032 CPUtime=0.66 cores=1,3,5,7
/proc/25773/task/25781/stat : 25781 (java) S 25768 25768 25300 0 -1 1077944384 2132 0 0 0 62 4 0 0 20 0 19 0 408764439 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917889010192 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25782] ppid=25768 vsize=15419452 memory=1332 CPUtime=0.66 cores=1,3,5,7
/proc/25773/task/25782/stat : 25782 (java) S 25768 25768 25300 0 -1 1077944384 3435 0 0 0 62 4 0 0 20 0 19 0 408764439 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917519723152 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25783] ppid=25768 vsize=15419452 memory=1564 CPUtime=0.66 cores=1,3,5,7
/proc/25773/task/25783/stat : 25783 (java) S 25768 25768 25300 0 -1 1077944384 2572 0 0 0 62 4 0 0 20 0 19 0 408764439 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917518670096 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25784] ppid=25768 vsize=15419452 memory=808 CPUtime=0.66 cores=1,3,5,7
/proc/25773/task/25784/stat : 25784 (java) S 25768 25768 25300 0 -1 1077944384 3188 0 0 0 61 5 0 0 20 0 19 0 408764439 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917517617552 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25789] ppid=25768 vsize=15419452 memory=1772 CPUtime=0.41 cores=1,3,5,7
/proc/25773/task/25789/stat : 25789 (java) S 25768 25768 25300 0 -1 1077944384 2923 0 0 0 28 13 0 0 20 0 19 0 408764440 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917262523120 139917928061570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25791] ppid=25768 vsize=15419452 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25791/stat : 25791 (java) S 25768 25768 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917261469408 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25792] ppid=25768 vsize=15419452 memory=804 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25792/stat : 25792 (java) S 25768 25768 25300 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 408764441 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917260416256 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25795] ppid=25768 vsize=15419452 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25795/stat : 25795 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764443 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917259364816 139917928069019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25796] ppid=25768 vsize=15419452 memory=4108 CPUtime=5.05 cores=1,3,5,7
/proc/25773/task/25796/stat : 25796 (java) S 25768 25768 25300 0 -1 1077944384 23820 0 0 0 503 2 0 0 20 0 19 0 408764445 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917258311920 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25797] ppid=25768 vsize=15419452 memory=1412 CPUtime=5.3 cores=1,3,5,7
/proc/25773/task/25797/stat : 25797 (java) S 25768 25768 25300 0 -1 1077944384 21603 0 0 0 529 1 0 0 20 0 19 0 408764445 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917257259376 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25798] ppid=25768 vsize=15419452 memory=3548 CPUtime=1.11 cores=1,3,5,7
/proc/25773/task/25798/stat : 25798 (java) S 25768 25768 25300 0 -1 1077944384 12611 0 0 0 109 2 0 0 20 0 19 0 408764445 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917256206320 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25801] ppid=25768 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25773/task/25801/stat : 25801 (java) S 25768 25768 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408764445 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917255154016 139917928060629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25803] ppid=25768 vsize=15419452 memory=210548 CPUtime=0.45 cores=1,3,5,7
/proc/25773/task/25803/stat : 25803 (java) S 25768 25768 25300 0 -1 1077944384 730 0 0 0 45 0 0 0 20 0 19 0 408764445 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917254102064 139917928061570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25833] ppid=25768 vsize=15419452 memory=6791534058613427641 CPUtime=596.34 cores=1,3,5,7
/proc/25773/task/25833/stat : 25833 (java) R 25768 25768 25300 0 -1 4202560 2713 0 0 0 59632 2 0 0 20 0 19 0 408764541 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917242793464 139917573874298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25834] ppid=25768 vsize=15419452 memory=1452 CPUtime=595.65 cores=1,3,5,7
/proc/25773/task/25834/stat : 25834 (java) R 25768 25768 25300 0 -1 4202560 4798 0 0 0 59562 3 0 0 20 0 19 0 408764541 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917241744224 139917573357963 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25835] ppid=25768 vsize=15419452 memory=916 CPUtime=595.75 cores=1,3,5,7
/proc/25773/task/25835/stat : 25835 (java) R 25768 25768 25300 0 -1 4202560 2037 0 0 0 59574 1 0 0 20 0 19 0 408764541 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917240688496 139917574865602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
[pid=25773/tid=25836] ppid=25768 vsize=15419452 memory=-8412660948202001267 CPUtime=596.3 cores=1,3,5,7
/proc/25773/task/25836/stat : 25836 (java) R 25768 25768 25300 0 -1 4202560 2282 0 0 0 59629 1 0 0 20 0 19 0 408764541 15789518848 64622 33554432000 4194304 4196468 140734003562128 139917239635704 139917567023664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30892032 140734003565551 140734003565722 140734003565722 140734003568591 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 259940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.826 s]
# the end of solver process 25768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001198 s, system=0.001198 s
[startup+603.892 s]
# the end of solver process 25773 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.99 s, system=0.456293 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): 603.892
CPU time (s): 2400.45
CPU user time (s): 2399.99
CPU system time (s): 0.456293
CPU usage (%): 397.497
Max. virtual memory (cumulated for all children) (KiB): 15535276
Max. memory (cumulated for all children) (KiB): 394660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.456293
maximum resident set size= 393224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28218
involuntary context switches= 27300
# summary of solver processes directly reported to runsolver:
# pid: 25768,25773
# total CPU time (s): 2400.45
# total CPU user time (s): 2399.99
# total CPU system time (s): 0.456293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73868 second user time and 7.18638 second system time
The end