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 (14908 MiB free)
memory of node 1: 16384 MiB (14868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272567-1502858457/watcher-4272567-1502858457 -o /tmp/evaluation-result-4272567-1502858457/solver-4272567-1502858457 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 916105545 HOME/instance-4272567-1502858457.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14909, runsolver pid=14906
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 1.77 1.87 1.93 2/196 14910
/proc/meminfo: memFree=30492032/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.217657 s]*
/proc/loadavg: 1.77 1.87 1.93 3/211 14925
/proc/meminfo: memFree=30481372/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13974352 memory=26436 CPUtime=0.08 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 5023 0 0 0 7 1 0 0 20 0 15 0 88066280 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3493588 6609 2725 1 0 3482964 0
[pid=14911/tid=14912] ppid=14909 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 3172 0 0 0 6 0 0 0 20 0 15 0 88066280 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139803219433872 139803215230109 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13974352 memory=139759685300479 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066282 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88066283 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802692769184 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88066283 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802691716592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066290 14309736448 6609 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27816 KiB
[startup+0.311684 s]*
/proc/loadavg: 1.77 1.87 1.93 3/211 14925
/proc/meminfo: memFree=30465512/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13974352 memory=36848 CPUtime=0.25 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 8776 0 0 0 23 2 0 0 20 0 15 0 88066280 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3493588 9212 2978 1 0 3482964 0
[pid=14911/tid=14912] ppid=14909 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 6007 0 0 0 14 1 0 0 20 0 15 0 88066280 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139803219430560 139803199288670 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066281 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066282 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88066283 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802692769184 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88066283 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802691716592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 88066285 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 88066285 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0.05 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 763 0 0 0 5 0 0 0 20 0 15 0 88066285 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13974352 memory=139759685285504 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066290 14309736448 9212 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38228 KiB
[startup+0.700836 s]
/proc/loadavg: 1.77 1.87 1.93 5/211 14925
/proc/meminfo: memFree=30451856/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13980732 memory=74604 CPUtime=1.31 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 13358 0 0 0 127 4 0 0 20 0 15 0 88066280 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3495183 18651 3165 1 0 3483476 0
[pid=14911/tid=14912] ppid=14909 vsize=13980732 memory=1228 CPUtime=0.53 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 7942 0 0 0 50 3 0 0 20 0 15 0 88066280 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139803219436816 139803199288670 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88066282 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802692769184 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802691716592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=4121973573284882273 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=279519156063296 CPUtime=0.24 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) R 14909 14909 897 0 -1 4202560 1532 0 0 0 24 0 0 0 20 0 15 0 88066285 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802689600448 139803194454721 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=279519156063488 CPUtime=0.2 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) R 14909 14909 897 0 -1 4202560 781 0 0 0 20 0 0 0 20 0 15 0 88066285 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802688540232 139803198739658 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=279519156063680 CPUtime=0.31 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 1797 0 0 0 31 0 0 0 20 0 15 0 88066285 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=279519156063872 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=279519156064064 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066290 14316269568 18651 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75984 KiB
[startup+1.50082 s]
/proc/loadavg: 1.77 1.87 1.93 6/211 14925
/proc/meminfo: memFree=30417104/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13980732 memory=146828 CPUtime=3.88 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 27834 0 0 0 381 7 0 0 20 0 15 0 88066280 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3495183 36707 3196 1 0 3483476 0
[pid=14911/tid=14912] ppid=14909 vsize=13980732 memory=14126745276138156 CPUtime=1.33 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 9565 0 0 0 129 4 0 0 20 0 15 0 88066280 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139803219444616 139802818639872 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13980732 memory=279519155998240 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13980732 memory=85908 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88066281 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88066282 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802692769184 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802691716592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=48416 CPUtime=1 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) R 14909 14909 897 0 -1 4202560 5150 0 0 0 99 1 0 0 20 0 15 0 88066285 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802689597832 139803194901283 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=1292 CPUtime=0.95 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) R 14909 14909 897 0 -1 4202560 8654 0 0 0 94 1 0 0 20 0 15 0 88066285 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802688543704 139803192802976 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=33 CPUtime=0.57 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 3156 0 0 0 57 0 0 0 20 0 15 0 88066285 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066290 14316269568 36707 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
################
# More data... #
################
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802691716608 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=431388 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=1380 CPUtime=5.33 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 31582 0 0 0 529 4 0 0 20 0 15 0 88066285 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=1380 CPUtime=4.92 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 28254 0 0 0 489 3 0 0 20 0 15 0 88066285 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 13194 0 0 0 89 2 0 0 20 0 15 0 88066285 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=434468 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=4116 CPUtime=1.28 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 890 0 0 0 58 70 0 0 20 0 15 0 88066290 14316269568 107847 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 2455.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 432768 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.47 1.48 4/211 15247
/proc/meminfo: memFree=30227012/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13980732 memory=463120 CPUtime=2516.55 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 347583 0 0 0 251218 437 0 0 20 0 15 0 88066280 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3495183 115780 3260 1 0 3483476 0
[pid=14911/tid=14912] ppid=14909 vsize=13980732 memory=1380 CPUtime=2416.94 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 141562 0 0 0 241645 49 0 0 20 0 15 0 88066280 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139803219447904 139802819637753 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13980732 memory=463144 CPUtime=21.13 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 18794 0 0 0 2043 70 0 0 20 0 15 0 88066281 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13980732 memory=467236 CPUtime=21.05 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 18970 0 0 0 2035 70 0 0 20 0 15 0 88066281 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13980732 memory=465180 CPUtime=21.07 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 20989 0 0 0 2034 73 0 0 20 0 15 0 88066281 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13980732 memory=465180 CPUtime=21.09 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 20484 0 0 0 2040 69 0 0 20 0 15 0 88066281 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13980732 memory=464664 CPUtime=2.7 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 51498 0 0 0 221 49 0 0 20 0 15 0 88066282 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802692769248 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13980732 memory=463636 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802691716608 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=463636 CPUtime=5.33 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 31584 0 0 0 529 4 0 0 20 0 15 0 88066285 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=1380 CPUtime=4.92 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 28256 0 0 0 489 3 0 0 20 0 15 0 88066285 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=4116 CPUtime=0.92 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 13196 0 0 0 90 2 0 0 20 0 15 0 88066285 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=4116 CPUtime=1.32 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 905 0 0 0 60 72 0 0 20 0 15 0 88066290 14316269568 115780 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 2516.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 464500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2445.7 s]
/proc/loadavg: 1.46 1.46 1.47 4/211 15247
/proc/meminfo: memFree=30227632/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13980732 memory=460552 CPUtime=2520.02 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 347602 0 0 0 251564 438 0 0 20 0 15 0 88066280 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3495183 115138 3260 1 0 3483476 0
[pid=14911/tid=14912] ppid=14909 vsize=13980732 memory=1380 CPUtime=2420.32 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 141567 0 0 0 241983 49 0 0 20 0 15 0 88066280 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803219447520 139802818970382 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13980732 memory=463116 CPUtime=21.15 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 18795 0 0 0 2045 70 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13980732 memory=463116 CPUtime=21.07 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 18974 0 0 0 2037 70 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13980732 memory=463144 CPUtime=21.09 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 20992 0 0 0 2036 73 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13980732 memory=460552 CPUtime=21.1 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 20486 0 0 0 2041 69 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13980732 memory=1380 CPUtime=2.7 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 51500 0 0 0 221 49 0 0 20 0 15 0 88066282 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802692769248 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802691716608 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=4116 CPUtime=5.33 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 31584 0 0 0 529 4 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=463116 CPUtime=4.92 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 28256 0 0 0 489 3 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=48544 CPUtime=0.92 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 13196 0 0 0 90 2 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=1380 CPUtime=1.32 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 907 0 0 0 60 72 0 0 20 0 15 0 88066290 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 461932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2445.71 s]
# the end of solver process 14909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000897 s, system=0.000897 s
[startup+2445.71 s]
# the end of solver process 14911 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.65 s, system=4.38771 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2445.7 s]
/proc/loadavg: 1.46 1.46 1.47 4/211 15247
/proc/meminfo: memFree=30227632/32770624 swapFree=67108860/67108860
[pid=14909] ppid=14906 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/14909/stat : 14909 (xcsp3-exec) S 14906 14909 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 88066269 9740288 345 18446744073709551615 4194304 5098028 140722170430192 140722170428296 140561374286460 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 20295680 140722170433913 140722170434117 140722170434117 140722170437611 0
/proc/14909/statm: 2378 345 289 221 0 87 0
[pid=14911] ppid=14909 vsize=13980732 memory=460552 CPUtime=2520.02 cores=0,2,4,6
/proc/14911/stat : 14911 (java) S 14909 14909 897 0 -1 1077944320 347602 0 0 0 251564 438 0 0 20 0 15 0 88066280 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 140724741674224 139803215208183 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
/proc/14911/statm: 3495183 115138 3260 1 0 3483476 0
[pid=14911/tid=14912] ppid=14909 vsize=13980732 memory=1380 CPUtime=2420.32 cores=0,2,4,6
/proc/14911/task/14912/stat : 14912 (java) R 14909 14909 897 0 -1 4202560 141567 0 0 0 241983 49 0 0 20 0 15 0 88066280 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803219447520 139802818970382 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14913] ppid=14909 vsize=13980732 memory=463116 CPUtime=21.15 cores=0,2,4,6
/proc/14911/task/14913/stat : 14913 (java) S 14909 14909 897 0 -1 1077944384 18795 0 0 0 2045 70 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803134621968 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14914] ppid=14909 vsize=13980732 memory=463116 CPUtime=21.07 cores=0,2,4,6
/proc/14911/task/14914/stat : 14914 (java) S 14909 14909 897 0 -1 1077944384 18974 0 0 0 2037 70 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139803133569424 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14915] ppid=14909 vsize=13980732 memory=463144 CPUtime=21.09 cores=0,2,4,6
/proc/14911/task/14915/stat : 14915 (java) S 14909 14909 897 0 -1 1077944384 20992 0 0 0 2036 73 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802812869136 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14916] ppid=14909 vsize=13980732 memory=460552 CPUtime=21.1 cores=0,2,4,6
/proc/14911/task/14916/stat : 14916 (java) S 14909 14909 897 0 -1 1077944384 20486 0 0 0 2041 69 0 0 20 0 15 0 88066281 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802811816592 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14917] ppid=14909 vsize=13980732 memory=1380 CPUtime=2.7 cores=0,2,4,6
/proc/14911/task/14917/stat : 14917 (java) S 14909 14909 897 0 -1 1077944384 51500 0 0 0 221 49 0 0 20 0 15 0 88066282 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802693822960 139803215219330 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14918] ppid=14909 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14918/stat : 14918 (java) S 14909 14909 897 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802692769248 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14919] ppid=14909 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14919/stat : 14919 (java) S 14909 14909 897 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 88066283 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802691716608 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14920] ppid=14909 vsize=13980732 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14920/stat : 14920 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802690665168 139803215226779 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14921] ppid=14909 vsize=13980732 memory=4116 CPUtime=5.33 cores=0,2,4,6
/proc/14911/task/14921/stat : 14921 (java) S 14909 14909 897 0 -1 1077944384 31584 0 0 0 529 4 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802689611760 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14922] ppid=14909 vsize=13980732 memory=463116 CPUtime=4.92 cores=0,2,4,6
/proc/14911/task/14922/stat : 14922 (java) S 14909 14909 897 0 -1 1077944384 28256 0 0 0 489 3 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802688559216 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14923] ppid=14909 vsize=13980732 memory=48544 CPUtime=0.92 cores=0,2,4,6
/proc/14911/task/14923/stat : 14923 (java) S 14909 14909 897 0 -1 1077944384 13196 0 0 0 90 2 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802687506672 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14924] ppid=14909 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/14911/task/14924/stat : 14924 (java) S 14909 14909 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88066285 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802686454368 139803215218389 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
[pid=14911/tid=14925] ppid=14909 vsize=13980732 memory=1380 CPUtime=1.32 cores=0,2,4,6
/proc/14911/task/14925/stat : 14925 (java) S 14909 14909 897 0 -1 1077944384 907 0 0 0 60 72 0 0 20 0 15 0 88066290 14316269568 115138 18446744073709551615 4194304 4196468 140724741691680 139802685401904 139803215219330 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 34676736 140724741693873 140724741694049 140724741694049 140724741697487 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 461932 KiB
Child status: 143
Real time (s): 2445.71
CPU time (s): 2520.04
CPU user time (s): 2515.65
CPU system time (s): 4.38771
CPU usage (%): 103.039
Max. virtual memory (cumulated for all children) (KiB): 13992124
Max. memory (cumulated for all children) (KiB): 589312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.65
system time used= 4.38771
maximum resident set size= 592640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348382
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107363
involuntary context switches= 5660
# summary of solver processes directly reported to runsolver:
# pid: 14909,14911
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.65
# total CPU system time (s): 4.38771
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0186 second user time and 23.6109 second system time
The end