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 (14520 MiB free)
memory of node 1: 16384 MiB (15643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283708-1503199947/watcher-4283708-1503199947 -o /tmp/evaluation-result-4283708-1503199947/solver-4283708-1503199947 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32556 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 567208419 HOME/instance-4283708-1503199947.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4587, runsolver pid=4584
[startup+0.100134 s]*
/proc/loadavg: 1.65 1.76 1.76 3/202 4594
/proc/meminfo: memFree=30881488/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13442384 memory=15952 CPUtime=0.01 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 3783 0 0 0 1 0 0 0 20 0 8 0 18403835 13765001216 3988 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3360596 3988 2025 1 0 3350093 0
[pid=4589/tid=4590] ppid=4587 vsize=13507920 memory=1404226546251833994 CPUtime=0.01 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 2568 0 0 0 1 0 0 0 20 0 8 0 18403835 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496995131824 140496974972254 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13507920 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 18403836 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13507920 memory=140235512960640 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 18403836 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13507920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 18403836 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 18403836 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13507920 memory=140235512960640 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 18403838 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13507920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 18403838 13832110080 4056 18446744073709551615 4194304 4196468 140724642754208 140496175096400 140496990901973 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13451896 KiB
Current children cumulated memory: 17332 KiB
[startup+0.209902 s]*
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30871504/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13974352 memory=27604 CPUtime=0.11 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 5405 0 0 0 10 1 0 0 20 0 15 0 18403835 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3493588 6901 2803 1 0 3482964 0
[pid=4589/tid=4590] ppid=4587 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 3420 0 0 0 7 1 0 0 20 0 15 0 18403835 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496995121184 140496974935397 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13974352 memory=4294977909 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13974352 memory=140235513157065 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13974352 memory=140235512960640 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496175097504 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496174044400 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496171940080 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4587 17292 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496170887536 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13974352 memory=140235512960640 CPUtime=0.01 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4587 17292 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 18403841 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13974352 memory=140235512960640 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14309736448 6901 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28984 KiB
[startup+0.310828 s]*
/proc/loadavg: 1.65 1.76 1.76 6/211 4603
/proc/meminfo: memFree=30858388/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13974352 memory=39732 CPUtime=0.31 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 9014 0 0 0 29 2 0 0 20 0 15 0 18403835 14309736448 9933 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3493588 9933 3004 1 0 3482964 0
[pid=4589/tid=4590] ppid=4587 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 6136 0 0 0 16 2 0 0 20 0 15 0 18403835 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496995128816 140496974972254 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18403836 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496175097504 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496174044400 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13974352 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 18403841 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496171940080 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4587 17292 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 18403841 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496170887536 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13974352 memory=140235512960640 CPUtime=0.07 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) R 4587 4587 17292 0 -1 4202560 732 0 0 0 7 0 0 0 20 0 15 0 18403841 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496974972254 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13974352 memory=140235512960640 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14309736448 9998 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41112 KiB
[startup+0.706424 s]
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30823048/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13978684 memory=220280 CPUtime=1.26 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 12484 0 0 0 118 8 0 0 20 0 15 0 18403835 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3494671 55070 3167 1 0 3482964 0
[pid=4589/tid=4590] ppid=4587 vsize=13978684 memory=280470759670000 CPUtime=0.55 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) S 4587 4587 17292 0 -1 1077944384 7901 0 0 0 51 4 0 0 20 0 15 0 18403835 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496995127664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13978684 memory=280470759673648 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) R 4587 4587 17292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 18403836 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496983994621 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13978684 memory=2512958523137 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) R 4587 4587 17292 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 18403836 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496909253464 140496983994616 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13978684 memory=2547318261505 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) R 4587 4587 17292 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 18403836 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496983994611 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13978684 memory=2555908196097 CPUtime=0.01 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) R 4587 4587 17292 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 15 0 18403836 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496983994484 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13978684 memory=2564498130689 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496176149792 140496990901973 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13978684 memory=2573088065281 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496175097504 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13978684 memory=2590267934465 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496174044400 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13978684 memory=2650397476609 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13978684 memory=2792131397377 CPUtime=0.21 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 962 0 0 0 21 0 0 0 20 0 15 0 18403841 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496171925072 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13978684 memory=3827218515457 CPUtime=0.2 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) R 4587 4587 17292 0 -1 4202560 1052 0 0 0 20 0 0 0 20 0 15 0 18403841 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496170873560 140496972436247 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13978684 memory=3831513482753 CPUtime=0.22 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4587 17292 0 -1 1077944384 1201 0 0 0 22 0 0 0 20 0 15 0 18403841 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13978684 memory=2920 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13978684 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14314172416 55070 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 221660 KiB
[startup+1.50146 s]
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30622228/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13978684 memory=463584 CPUtime=2.71 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 14260 0 0 0 250 21 0 0 20 0 15 0 18403835 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3494671 115896 3201 1 0 3482964 0
[pid=4589/tid=4590] ppid=4587 vsize=13978684 memory=-2127763401593990185 CPUtime=1.27 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 7991 0 0 0 121 6 0 0 20 0 15 0 18403835 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496995129112 140496587003048 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13978684 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 205 0 0 0 4 3 0 0 20 0 15 0 18403836 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13978684 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 96 0 0 0 4 3 0 0 20 0 15 0 18403836 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13978684 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 102 0 0 0 4 3 0 0 20 0 15 0 18403836 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13978684 memory=280470760021408 CPUtime=0.08 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 108 0 0 0 5 3 0 0 20 0 15 0 18403836 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13978684 memory=140235380009504 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496175097568 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13978684 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496174044416 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13978684 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 1727 0 0 0 42 0 0 0 20 0 15 0 18403841 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496171940080 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13978684 memory=-8961168018402230209 CPUtime=0.4 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4587 17292 0 -1 1077944384 1272 0 0 0 40 0 0 0 20 0 15 0 18403841 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496170887536 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4587 17292 0 -1 1077944384 1254 0 0 0 25 0 0 0 20 0 15 0 18403841 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13978684 memory=243062 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13978684 memory=13452 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14314172416 115896 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 464964 KiB
[startup+3.11065 s]
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30204144/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13980732 memory=707520 CPUtime=4.76 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 15716 0 0 0 447 29 0 0 20 0 15 0 18403835 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3495183 176880 3206 1 0 3483476 0
[pid=4589/tid=4590] ppid=4587 vsize=13980732 memory=1292 CPUtime=2.85 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 8866 0 0 0 275 10 0 0 20 0 15 0 18403835 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496995127144 140496588245445 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 228 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13980732 memory=288230604624101684 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 116 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13980732 memory=14408207351153925 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 124 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13980732 memory=6721 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 132 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 515 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13980732 memory=140235379837767 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496175097568 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13980732 memory=707520 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496174044416 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13980732 memory=707520 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13980732 memory=-2127763401593990185 CPUtime=0.55 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 1766 0 0 0 55 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496171940080 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13980732 memory=6944656592455097440 CPUtime=0.55 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4587 17292 0 -1 1077944384 1318 0 0 0 55 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496170887536 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4587 17292 0 -1 1077944384 1353 0 0 0 30 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 708900 KiB
[startup+3.68818 s]
# the end of solver process 4587 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.25178 s, system=0.306096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2011 s]
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30204144/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13980732 memory=707520 CPUtime=4.85 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 15716 0 0 0 456 29 0 0 20 0 15 0 18403835 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3495183 176880 3206 1 0 3483476 0
[pid=4589/tid=4590] ppid=4587 vsize=13980732 memory=156 CPUtime=2.94 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 8866 0 0 0 284 10 0 0 20 0 15 0 18403835 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496995126672 140496588245445 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13980732 memory=63 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 228 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13980732 memory=2 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 116 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13980732 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 124 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13980732 memory=2 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 132 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 515 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496175097568 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496174044416 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) S 4587 4587 17292 0 -1 1077944384 1766 0 0 0 55 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496171940080 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13980732 memory=29 CPUtime=0.55 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) S 4587 4587 17292 0 -1 1077944384 1318 0 0 0 55 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496170887536 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13980732 memory=28 CPUtime=0.3 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) S 4587 4587 17292 0 -1 1077944384 1353 0 0 0 30 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18403845 14316269568 176880 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 708900 KiB
[startup+3.60581 s]
/proc/loadavg: 1.65 1.76 1.76 3/211 4603
/proc/meminfo: memFree=30204144/32770624 swapFree=67108860/67108860
[pid=4587] ppid=4584 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/4587/stat : 4587 (xcsp3-exec) S 4584 4587 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 18403827 9740288 345 18446744073709551615 4194304 5098028 140728523018176 140728523016280 140437715149436 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 25726976 140728523026810 140728523027014 140728523027014 140728523030507 0
/proc/4587/statm: 2378 345 289 221 0 87 0
[pid=4589] ppid=4587 vsize=13980732 memory=708500 CPUtime=5.31 cores=1,3,5,7
/proc/4589/stat : 4589 (java) S 4587 4587 17292 0 -1 1077944320 18625 0 0 0 502 29 0 0 20 0 15 0 18403835 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140724642736752 140496990891767 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
/proc/4589/statm: 3495183 177125 3206 1 0 3483476 0
[pid=4589/tid=4590] ppid=4587 vsize=13980732 memory=6944656592455360604 CPUtime=3.34 cores=1,3,5,7
/proc/4589/task/4590/stat : 4590 (java) R 4587 4587 17292 0 -1 4202560 10359 0 0 0 324 10 0 0 20 0 15 0 18403835 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496995115664 140496970420760 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4591] ppid=4587 vsize=13980732 memory=280470759670000 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4591/stat : 4591 (java) S 4587 4587 17292 0 -1 1077944384 228 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496910305808 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4592] ppid=4587 vsize=13980732 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4592/stat : 4592 (java) S 4587 4587 17292 0 -1 1077944384 116 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496909253264 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4593] ppid=4587 vsize=13980732 memory=-3472574513799858008 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4593/stat : 4593 (java) S 4587 4587 17292 0 -1 1077944384 124 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496908200208 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4594] ppid=4587 vsize=13980732 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/4589/task/4594/stat : 4594 (java) S 4587 4587 17292 0 -1 1077944384 132 0 0 0 7 4 0 0 20 0 15 0 18403836 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496907147664 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4595] ppid=4587 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4595/stat : 4595 (java) S 4587 4587 17292 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496176151280 140496990902914 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4596] ppid=4587 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4596/stat : 4596 (java) S 4587 4587 17292 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496175097568 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4597] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4597/stat : 4597 (java) S 4587 4587 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18403838 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496174044416 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4598] ppid=4587 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4598/stat : 4598 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496172992976 140496990910363 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4599] ppid=4587 vsize=13980732 memory=140235379926672 CPUtime=0.56 cores=1,3,5,7
/proc/4589/task/4599/stat : 4599 (java) R 4587 4587 17292 0 -1 4202560 2129 0 0 0 56 0 0 0 20 0 15 0 18403841 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496171930928 140496983133157 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4600] ppid=4587 vsize=13980732 memory=4124 CPUtime=0.57 cores=1,3,5,7
/proc/4589/task/4600/stat : 4600 (java) R 4587 4587 17292 0 -1 4202560 1721 0 0 0 57 0 0 0 20 0 15 0 18403841 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496170875408 140496983181100 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4601] ppid=4587 vsize=13980732 memory=13452 CPUtime=0.33 cores=1,3,5,7
/proc/4589/task/4601/stat : 4601 (java) R 4587 4587 17292 0 -1 4202560 1995 0 0 0 33 0 0 0 20 0 15 0 18403841 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496169834480 140496972301775 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4602] ppid=4587 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4602/stat : 4602 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403841 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496168782176 140496990901973 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
[pid=4589/tid=4603] ppid=4587 vsize=13980732 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/4589/task/4603/stat : 4603 (java) S 4587 4587 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18403845 14316269568 177125 18446744073709551615 4194304 4196468 140724642754208 140496167730224 140496990902914 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11014144 140724642759090 140724642759266 140724642759266 140724642762703 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 709880 KiB
Child status: 0
Real time (s): 3.68824
CPU time (s): 5.55787
CPU user time (s): 5.25178
CPU system time (s): 0.306096
CPU usage (%): 150.692
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 709880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.25178
system time used= 0.306096
maximum resident set size= 709652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1841
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 4587
# total CPU time (s): 5.55787
# total CPU user time (s): 5.25178
# total CPU system time (s): 0.306096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050448 second user time and 0.072211 second system time
The end