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 (9192 MiB free)
memory of node 1: 16384 MiB (10392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403637-1568992713/watcher-4403637-1568992713 -o /var/tmp/evaluation-result-4403637-1568992713/solver-4403637-1568992713 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 951153514 HOME/instance-4403637-1568992713.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29689, runsolver pid=29686
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 8.52 8.49 8.50 7/233 29705
/proc/meminfo: memFree=20040492/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15144776 memory=27212 CPUtime=0.13 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 5796 0 0 0 12 1 0 0 20 0 15 0 475519927 15508250624 6803 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3786194 6803 3142 1 0 3748377 0
[pid=29691/tid=29692] ppid=29689 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) R 29689 29689 25111 0 -1 4202560 3614 0 0 0 8 1 0 0 20 0 15 0 475519927 15508250624 6803 33554432000 4194304 4196468 140735773829856 139964160796352 139964156579222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519929 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475519930 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963624092576 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475519930 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963623039984 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519932 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) S 29689 29689 25111 0 -1 1077944384 370 0 0 0 0 0 0 0 20 0 15 0 475519932 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963620936176 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) S 29689 29689 25111 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 475519932 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963619883632 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) R 29689 29689 25111 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 475519932 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963618831088 139964140647774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519933 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519933 15508250624 6803 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28664 KiB
[startup+0.210813 s]*
/proc/loadavg: 8.52 8.49 8.50 7/233 29705
/proc/meminfo: memFree=20027512/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15144776 memory=39220 CPUtime=0.34 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 9592 0 0 0 31 3 0 0 20 0 15 0 475519927 15508250624 9805 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3786194 9805 3279 1 0 3748377 0
[pid=29691/tid=29692] ppid=29689 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) R 29689 29689 25111 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 475519927 15508250624 9805 33554432000 4194304 4196468 140735773829856 139964160797840 139964134731097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15144776 memory=140596049235608 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475519929 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475519930 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963624092576 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475519930 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963623039984 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519932 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) S 29689 29689 25111 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 15 0 475519932 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963620936176 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) S 29689 29689 25111 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 475519932 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963619883632 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15144776 memory=140596045706880 CPUtime=0.08 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) R 29689 29689 25111 0 -1 4202560 969 0 0 0 8 0 0 0 20 0 15 0 475519932 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963618831088 139964140647774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519933 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519933 15508250624 9805 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40672 KiB
[startup+0.310758 s]*
/proc/loadavg: 8.52 8.49 8.50 8/233 29705
/proc/meminfo: memFree=20019360/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15149032 memory=48912 CPUtime=0.54 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 11078 0 0 0 50 4 0 0 20 0 15 0 475519927 15512608768 12228 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3787258 12228 3371 1 0 3748377 0
[pid=29691/tid=29692] ppid=29689 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) R 29689 29689 25111 0 -1 4202560 7775 0 0 0 27 3 0 0 20 0 15 0 475519927 15512608768 12228 33554432000 4194304 4196468 140735773829856 139964160798400 139964140647774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475519929 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475519930 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963624092576 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475519930 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963623039984 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519932 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) S 29689 29689 25111 0 -1 1077944384 476 0 0 0 4 0 0 0 20 0 15 0 475519932 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963620936176 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) R 29689 29689 25111 0 -1 4202560 330 0 0 0 4 0 0 0 20 0 15 0 475519932 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963619883632 139964141692726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) S 29689 29689 25111 0 -1 1077944384 1193 0 0 0 13 0 0 0 20 0 15 0 475519932 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963618831088 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519933 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519933 15512608768 12228 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50364 KiB
[startup+0.700782 s]
/proc/loadavg: 8.52 8.49 8.50 9/233 29705
/proc/meminfo: memFree=20004664/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15151156 memory=160564 CPUtime=1.63 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 14523 0 0 0 156 7 0 0 20 0 15 0 475519927 15514783744 40141 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3787789 40141 3440 1 0 3748889 0
[pid=29691/tid=29692] ppid=29689 vsize=15151156 memory=29952 CPUtime=0.67 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) R 29689 29689 25111 0 -1 4202560 8828 0 0 0 62 5 0 0 20 0 15 0 475519927 15514783744 40141 33554432000 4194304 4196468 140735773829856 139964160804960 139963796291133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519928 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15151156 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475519928 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475519929 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475519930 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963624092576 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475519930 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963623039984 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519932 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15151156 memory=2676 CPUtime=0.27 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) R 29689 29689 25111 0 -1 4202560 1260 0 0 0 27 0 0 0 20 0 15 0 475519932 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963620922272 139964135814376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15151156 memory=1764 CPUtime=0.24 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) R 29689 29689 25111 0 -1 4202560 959 0 0 0 24 0 0 0 20 0 15 0 475519932 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963619870448 139964138088678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15151156 memory=111632 CPUtime=0.41 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) R 29689 29689 25111 0 -1 4202560 2166 0 0 0 41 0 0 0 20 0 15 0 475519932 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963618828024 139964149664123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475519933 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475519933 15514783744 40141 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 162016 KiB
[startup+1.50172 s]
/proc/loadavg: 8.52 8.49 8.50 9/233 29706
/proc/meminfo: memFree=19667132/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/29691/task/29798/stat : 29798 (java) R 29689 29689 25111 0 -1 4202560 397 0 0 0 266 1 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963606454808 139964156579222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 23.58 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 731316 KiB
[startup+6.71986 s]
# the end of solver process 29689 was just reported to runsolver
# cumulated CPU time of all completed processes: user=24.5852 s, system=0.636912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40172 s]
/proc/loadavg: 8.80 8.54 8.52 9/237 29798
/proc/meminfo: memFree=19339328/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15483976 memory=729864 CPUtime=23.97 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 37156 0 0 0 2335 62 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3870994 182466 3534 1 0 3832094 0
[pid=29691/tid=29692] ppid=29689 vsize=15483976 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) S 29689 29689 25111 0 -1 1077944384 8904 0 0 0 86 7 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 139964160808064 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15483976 memory=6791534058613427641 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 766 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15483976 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 276 0 0 0 51 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15483976 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 273 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15483976 memory=3608 CPUtime=0.61 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 293 0 0 0 49 12 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15483976 memory=55376 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 19 0 475519929 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15483976 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963624092640 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15483976 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963623040000 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15483976 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15483976 memory=776 CPUtime=2.73 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) R 29689 29689 25111 0 -1 4202560 9196 0 0 0 272 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963620936472 139964138111505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15483976 memory=3540 CPUtime=2.52 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) S 29689 29689 25111 0 -1 1077944384 6583 0 0 0 251 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963619883632 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15483976 memory=1408 CPUtime=0.77 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) S 29689 29689 25111 0 -1 1077944384 5347 0 0 0 76 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963618831088 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15483976 memory=3420 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 840 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29795] ppid=29689 vsize=15483976 memory=1647236 CPUtime=2.69 cores=1,3,5,7
/proc/29691/task/29795/stat : 29795 (java) R 29689 29689 25111 0 -1 4202560 131 0 0 0 269 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963603294760 139963802030426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29796] ppid=29689 vsize=15483976 memory=1412 CPUtime=2.72 cores=1,3,5,7
/proc/29691/task/29796/stat : 29796 (java) R 29689 29689 25111 0 -1 4202560 202 0 0 0 272 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963607508760 139963800006475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29797] ppid=29689 vsize=15483976 memory=2512 CPUtime=2.59 cores=1,3,5,7
/proc/29691/task/29797/stat : 29797 (java) R 29689 29689 25111 0 -1 4202560 196 0 0 0 259 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963604348728 139963802028201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29798] ppid=29689 vsize=15483976 memory=1452 CPUtime=2.71 cores=1,3,5,7
/proc/29691/task/29798/stat : 29798 (java) R 29689 29689 25111 0 -1 4202560 397 0 0 0 270 1 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963606454688 139963799713423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 23.97 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 731316 KiB
[startup+6.60172 s]
/proc/loadavg: 8.80 8.54 8.52 9/237 29798
/proc/meminfo: memFree=19339328/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15483976 memory=729864 CPUtime=24.77 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 37200 0 0 0 2415 62 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3870994 182466 3534 1 0 3832094 0
[pid=29691/tid=29692] ppid=29689 vsize=15483976 memory=288230621803970871 CPUtime=0.93 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) S 29689 29689 25111 0 -1 1077944384 8904 0 0 0 86 7 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 139964160808064 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15483976 memory=14689690934577713 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 766 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15483976 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 276 0 0 0 51 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15483976 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 273 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15483976 memory=281191777740512 CPUtime=0.61 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 293 0 0 0 49 12 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15483976 memory=4132 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 599 0 0 0 2 0 0 0 20 0 19 0 475519929 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15483976 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963624092640 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15483976 memory=7649399380053997874 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963623040000 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15483976 memory=2276 CPUtime=2.74 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) S 29689 29689 25111 0 -1 1077944384 9207 0 0 0 273 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963620936176 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15483976 memory=7235147594880805952 CPUtime=2.52 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) S 29689 29689 25111 0 -1 1077944384 6601 0 0 0 251 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963619883632 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15483976 memory=7379537690794284396 CPUtime=0.78 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) S 29689 29689 25111 0 -1 1077944384 5358 0 0 0 77 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963618831088 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15483976 memory=7017260669523224920 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 840 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29795] ppid=29689 vsize=15483976 memory=281191777990848 CPUtime=2.89 cores=1,3,5,7
/proc/29691/task/29795/stat : 29795 (java) R 29689 29689 25111 0 -1 4202560 131 0 0 0 289 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963603294760 139963801858451 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29796] ppid=29689 vsize=15483976 memory=140595888995392 CPUtime=2.92 cores=1,3,5,7
/proc/29691/task/29796/stat : 29796 (java) R 29689 29689 25111 0 -1 4202560 204 0 0 0 292 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963607508888 139963801857967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29797] ppid=29689 vsize=15483976 memory=0 CPUtime=2.77 cores=1,3,5,7
/proc/29691/task/29797/stat : 29797 (java) R 29689 29689 25111 0 -1 4202560 196 0 0 0 277 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963604348728 139963800003734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29798] ppid=29689 vsize=15483976 memory=1452 CPUtime=2.91 cores=1,3,5,7
/proc/29691/task/29798/stat : 29798 (java) R 29689 29689 25111 0 -1 4202560 399 0 0 0 290 1 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963606455208 139963799713994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 24.77 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 731316 KiB
[startup+6.70172 s]
/proc/loadavg: 8.80 8.54 8.52 9/237 29798
/proc/meminfo: memFree=19339328/32770624 swapFree=67002252/67108860
[pid=29689] ppid=29686 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29689/stat : 29689 (xcsp3-exec) S 29686 29689 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475519927 115843072 363 33554432000 4194304 5098028 140735411216800 140735411214904 140034701939324 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7389184 140735411225431 140735411225689 140735411225689 140735411228614 0
/proc/29689/statm: 28282 363 304 221 0 87 0
[pid=29691] ppid=29689 vsize=15483976 memory=729864 CPUtime=25.17 cores=1,3,5,7
/proc/29691/stat : 29691 (java) S 29689 29689 25111 0 -1 1077944320 37210 0 0 0 2455 62 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 140735773812400 139964156567287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
/proc/29691/statm: 3870994 182466 3534 1 0 3832094 0
[pid=29691/tid=29692] ppid=29689 vsize=15483976 memory=729864 CPUtime=0.93 cores=1,3,5,7
/proc/29691/task/29692/stat : 29692 (java) S 29689 29689 25111 0 -1 1077944384 8904 0 0 0 86 7 0 0 20 0 19 0 475519927 15855591424 182466 33554432000 4194304 4196468 140735773829856 139964160808064 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29693] ppid=29689 vsize=15483976 memory=729864 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29693/stat : 29693 (java) S 29689 29689 25111 0 -1 1077944384 766 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963748977424 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29694] ppid=29689 vsize=15483976 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/29691/task/29694/stat : 29694 (java) S 29689 29689 25111 0 -1 1077944384 276 0 0 0 51 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963747924880 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29695] ppid=29689 vsize=15483976 memory=729864 CPUtime=0.6 cores=1,3,5,7
/proc/29691/task/29695/stat : 29695 (java) S 29689 29689 25111 0 -1 1077944384 273 0 0 0 49 11 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963746872336 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29696] ppid=29689 vsize=15483976 memory=60 CPUtime=0.61 cores=1,3,5,7
/proc/29691/task/29696/stat : 29696 (java) S 29689 29689 25111 0 -1 1077944384 293 0 0 0 49 12 0 0 20 0 19 0 475519928 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963745819792 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29697] ppid=29689 vsize=15483976 memory=61 CPUtime=0.02 cores=1,3,5,7
/proc/29691/task/29697/stat : 29697 (java) S 29689 29689 25111 0 -1 1077944384 608 0 0 0 2 0 0 0 20 0 19 0 475519929 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963625146352 139964156578434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29698] ppid=29689 vsize=15483976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29698/stat : 29698 (java) S 29689 29689 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963624092640 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29699] ppid=29689 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29699/stat : 29699 (java) S 29689 29689 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475519930 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963623040000 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29700] ppid=29689 vsize=15483976 memory=4281700045779340662 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29700/stat : 29700 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963621988560 139964156585883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29701] ppid=29689 vsize=15483976 memory=-5942887328402732224 CPUtime=2.74 cores=1,3,5,7
/proc/29691/task/29701/stat : 29701 (java) S 29689 29689 25111 0 -1 1077944384 9207 0 0 0 273 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963620936176 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29702] ppid=29689 vsize=15483976 memory=8257237230052613020 CPUtime=2.52 cores=1,3,5,7
/proc/29691/task/29702/stat : 29702 (java) S 29689 29689 25111 0 -1 1077944384 6601 0 0 0 251 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963619883632 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29703] ppid=29689 vsize=15483976 memory=-2629632091545523614 CPUtime=0.78 cores=1,3,5,7
/proc/29691/task/29703/stat : 29703 (java) S 29689 29689 25111 0 -1 1077944384 5358 0 0 0 77 1 0 0 20 0 19 0 475519932 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963618831088 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29704] ppid=29689 vsize=15483976 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29704/stat : 29704 (java) S 29689 29689 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963617778784 139964156577493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29705] ppid=29689 vsize=15483976 memory=735500 CPUtime=0 cores=1,3,5,7
/proc/29691/task/29705/stat : 29705 (java) S 29689 29689 25111 0 -1 1077944384 840 0 0 0 0 0 0 0 20 0 19 0 475519933 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963616725296 139964156578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29795] ppid=29689 vsize=15483976 memory=0 CPUtime=2.99 cores=1,3,5,7
/proc/29691/task/29795/stat : 29795 (java) R 29689 29689 25111 0 -1 4202560 131 0 0 0 299 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963603294776 139963802030390 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29796] ppid=29689 vsize=15483976 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/29691/task/29796/stat : 29796 (java) R 29689 29689 25111 0 -1 4202560 204 0 0 0 302 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963607506368 139963799713423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29797] ppid=29689 vsize=15483976 memory=0 CPUtime=2.87 cores=1,3,5,7
/proc/29691/task/29797/stat : 29797 (java) R 29689 29689 25111 0 -1 4202560 197 0 0 0 287 0 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963604348840 139963799713785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
[pid=29691/tid=29798] ppid=29689 vsize=15483976 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/29691/task/29798/stat : 29798 (java) R 29689 29689 25111 0 -1 4202560 399 0 0 0 300 1 0 0 20 0 19 0 475520260 15855591424 182466 33554432000 4194304 4196468 140735773829856 139963606454760 139963800003923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19931136 140735773832155 140735773832330 140735773832330 140735773835215 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 731316 KiB
Child status: 0
Real time (s): 6.71991
CPU time (s): 25.2221
CPU user time (s): 24.5852
CPU system time (s): 0.636912
CPU usage (%): 375.334
Max. virtual memory (cumulated for all children) (KiB): 15599076
Max. memory (cumulated for all children) (KiB): 737500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.5852
system time used= 0.636912
maximum resident set size= 736052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3152
involuntary context switches= 921
# summary of solver processes directly reported to runsolver:
# pid: 29689
# total CPU time (s): 25.2221
# total CPU user time (s): 24.5852
# total CPU system time (s): 0.636912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067677 second user time and 0.121309 second system time
The end