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 (7410 MiB free)
memory of node 1: 16384 MiB (5190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403417-1568990177/watcher-4403417-1568990177 -o /tmp/evaluation-result-4403417-1568990177/solver-4403417-1568990177 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 951153514 HOME/instance-4403417-1568990177.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10114, runsolver pid=10111
Current StackSize limit: 8192 KiB
[startup+0.100278 s]*
/proc/loadavg: 8.36 8.47 7.58 7/232 10130
/proc/meminfo: memFree=12887508/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15144776 memory=28592 CPUtime=0.12 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 5651 0 0 0 11 1 0 0 20 0 15 0 475274566 15508250624 7148 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3786194 7148 3118 1 0 3748377 0
[pid=10116/tid=10117] ppid=10114 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) R 10114 10114 7690 0 -1 4202560 3567 0 0 0 8 0 0 0 20 0 15 0 475274567 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521987746848 140521616015968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521936132752 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15144776 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521574947344 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521573894544 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) S 10114 10114 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521572841744 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15144776 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475274569 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521452014448 140521983523458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475274569 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521450960416 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475274570 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521449907568 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) R 10114 10114 7690 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) R 10114 10114 7690 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521446750448 140521966948049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15144776 memory=140000465610368 CPUtime=0.02 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) R 10114 10114 7690 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521445697648 140521967592798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15144776 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 7214 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30040 KiB
[startup+0.210724 s]*
/proc/loadavg: 8.36 8.47 7.58 6/232 10130
/proc/meminfo: memFree=12872540/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15144776 memory=41216 CPUtime=0.34 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 9476 0 0 0 31 3 0 0 20 0 15 0 475274566 15508250624 10304 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3786194 10304 3319 1 0 3748377 0
[pid=10116/tid=10117] ppid=10114 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) R 10114 10114 7690 0 -1 4202560 6585 0 0 0 18 2 0 0 20 0 15 0 475274567 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521987743632 140521983524246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521936132752 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15144776 memory=288230376155090511 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521574947344 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521573894544 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) S 10114 10114 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475274567 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521572841744 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475274569 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521452014448 140521983523458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475274569 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521450960416 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15144776 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475274570 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521449907568 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 631 0 0 0 2 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521446750448 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) R 10114 10114 7690 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521445697456 140521962640688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274572 15508250624 10304 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42664 KiB
[startup+0.310709 s]*
/proc/loadavg: 8.36 8.47 7.58 7/232 10130
/proc/meminfo: memFree=12865888/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15149032 memory=49788 CPUtime=0.52 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 10745 0 0 0 48 4 0 0 20 0 15 0 475274566 15512608768 12447 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3787258 12447 3352 1 0 3748377 0
[pid=10116/tid=10117] ppid=10114 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) R 10114 10114 7690 0 -1 4202560 7738 0 0 0 27 2 0 0 20 0 15 0 475274567 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521987746096 140521967592273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521936132752 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15149032 memory=3386676 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521574947344 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521573894544 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) S 10114 10114 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475274567 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521572841744 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15149032 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475274569 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521452014448 140521983523458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475274569 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521450960416 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475274570 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521449907568 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 649 0 0 0 4 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521446750448 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15149032 memory=140000465610368 CPUtime=0.13 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) S 10114 10114 7690 0 -1 1077944384 843 0 0 0 13 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521445697648 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15149032 memory=140000465610368 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274572 15512608768 12447 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51236 KiB
[startup+0.708277 s]
/proc/loadavg: 8.36 8.47 7.58 8/232 10130
/proc/meminfo: memFree=12828800/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15151156 memory=130260 CPUtime=1.65 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 14018 0 0 0 159 6 0 0 20 0 15 0 475274566 15514783744 32565 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3787789 32565 3428 1 0 3748889 0
[pid=10116/tid=10117] ppid=10114 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) R 10114 10114 7690 0 -1 4202560 8288 0 0 0 65 3 0 0 20 0 15 0 475274567 15514783744 32565 33554432000 4194304 4196468 140724759794400 140521987746960 140521616067521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15514783744 32565 33554432000 4194304 4196468 140724759794400 140521936132752 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15514783744 32565 33554432000 4194304 4196468 140724759794400 140521574947344 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274567 15514783744 32565 33554432000 4194304 4196468 140724759794400 140521573894544 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) S 10114 10114 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475274567 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521572841744 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475274569 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521452014448 140521983523458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475274569 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521450960416 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475274570 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521449907568 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15151156 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15151156 memory=7302135314614015849 CPUtime=0.34 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) R 10114 10114 7690 0 -1 4202560 1702 0 0 0 33 1 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521447789792 140521965056873 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15151156 memory=6369606547964062294 CPUtime=0.32 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) R 10114 10114 7690 0 -1 4202560 1225 0 0 0 32 0 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521446740560 140521964920190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15151156 memory=7295944995277656144 CPUtime=0.28 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) R 10114 10114 7690 0 -1 4202560 1501 0 0 0 28 0 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521445692000 140521964922461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15151156 memory=7523096512984082771 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 32569 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131708 KiB
[startup+1.50091 s]
/proc/loadavg: 8.36 8.47 7.58 8/232 10130
/proc/meminfo: memFree=12667936/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 475274570 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521449907584 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15151156 memory=1084 CPUtime=2.53 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 12091 0 0 0 251 2 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15151156 memory=14012 CPUtime=2.46 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 8489 0 0 0 245 1 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521446750448 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15151156 memory=14048 CPUtime=0.59 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) S 10114 10114 7690 0 -1 1077944384 3398 0 0 0 59 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521445697648 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15151156 memory=29440 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15151156 memory=2120 CPUtime=0.11 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 421 0 0 0 5 6 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 1057.54 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12644868 KiB
[startup+304.001 s]*
/proc/loadavg: 7.06 7.78 7.53 6/229 10239
/proc/meminfo: memFree=209636/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15151156 memory=12643420 CPUtime=1070.25 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 4395058 0 0 0 105400 1625 0 0 20 0 15 0 475274566 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3787789 3160855 3518 1 0 3748889 0
[pid=10116/tid=10117] ppid=10114 vsize=15151156 memory=8317482817917895235 CPUtime=43.59 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) S 10114 10114 7690 0 -1 1077944384 22907 0 0 0 4343 16 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521987752096 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15151156 memory=4126316290023845779 CPUtime=254.6 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) R 10114 10114 7690 0 -1 4202560 879781 0 0 0 25078 382 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521936132752 140521968501865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15151156 memory=7552 CPUtime=253.53 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) R 10114 10114 7690 0 -1 4202560 1228893 0 0 0 24943 410 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521574947544 140521968212101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15151156 memory=6791534058613427641 CPUtime=254.19 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) R 10114 10114 7690 0 -1 4202560 1092788 0 0 0 25022 397 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521573894544 140521976615968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15151156 memory=1448 CPUtime=254.1 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) R 10114 10114 7690 0 -1 4202560 1021513 0 0 0 25007 403 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521572841632 140521968510394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15151156 memory=6791534058613427641 CPUtime=4.46 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 123413 0 0 0 438 8 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521452012992 140521983522517 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15151156 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521450960480 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15151156 memory=29440 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 475274570 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521449907584 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15151156 memory=532 CPUtime=2.53 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 12091 0 0 0 251 2 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15151156 memory=1564 CPUtime=2.46 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 8489 0 0 0 245 1 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521446750448 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15151156 memory=924 CPUtime=0.59 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) S 10114 10114 7690 0 -1 1077944384 3398 0 0 0 59 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521445697648 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15151156 memory=1440 CPUtime=0.11 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 423 0 0 0 5 6 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 1070.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12644868 KiB
[startup+304.801 s]
/proc/loadavg: 7.06 7.78 7.53 6/229 10239
/proc/meminfo: memFree=209636/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15151156 memory=12643420 CPUtime=1073.41 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 4420300 0 0 0 105715 1626 0 0 20 0 15 0 475274566 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3787789 3160855 3518 1 0 3748889 0
[pid=10116/tid=10117] ppid=10114 vsize=15151156 memory=12643420 CPUtime=43.59 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) S 10114 10114 7690 0 -1 1077944384 22907 0 0 0 4343 16 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521987752096 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15151156 memory=1448 CPUtime=255.39 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) R 10114 10114 7690 0 -1 4202560 881226 0 0 0 25157 382 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521936132952 140521968212239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15151156 memory=12643420 CPUtime=254.32 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) R 10114 10114 7690 0 -1 4202560 1239123 0 0 0 25021 411 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521574947544 140521967969902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15151156 memory=14048 CPUtime=254.98 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) R 10114 10114 7690 0 -1 4202560 1093329 0 0 0 25101 397 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521573894744 140521968501834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15151156 memory=6791534058613427641 CPUtime=254.89 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) R 10114 10114 7690 0 -1 4202560 1034539 0 0 0 25085 404 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521572841632 140521968510394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15151156 memory=2120 CPUtime=4.46 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 123413 0 0 0 438 8 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521452012992 140521983522517 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521450960480 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 475274570 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521449907584 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15151156 memory=1680 CPUtime=2.53 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 12091 0 0 0 251 2 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521447803248 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15151156 memory=1440 CPUtime=2.46 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 8489 0 0 0 245 1 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521446750448 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15151156 memory=912 CPUtime=0.59 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) S 10114 10114 7690 0 -1 1077944384 3398 0 0 0 59 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521445697648 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15151156 memory=2480 CPUtime=0.11 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 423 0 0 0 5 6 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 1073.41 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12644868 KiB
[startup+305.601 s]
/proc/loadavg: 6.81 7.72 7.51 6/229 10239
/proc/meminfo: memFree=209760/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
[pid=10116] ppid=10114 vsize=15151156 memory=12643420 CPUtime=1076.58 cores=0,2,4,6
/proc/10116/stat : 10116 (java) S 10114 10114 7690 0 -1 1077944320 4463018 0 0 0 106031 1627 0 0 20 0 15 0 475274566 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140724759776944 140521983512311 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
/proc/10116/statm: 3787789 3160855 3518 1 0 3748889 0
[pid=10116/tid=10117] ppid=10114 vsize=15151156 memory=12643420 CPUtime=43.59 cores=0,2,4,6
/proc/10116/task/10117/stat : 10117 (java) S 10114 10114 7690 0 -1 1077944384 22907 0 0 0 4343 16 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521987752096 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10118] ppid=10114 vsize=15151156 memory=3616 CPUtime=256.18 cores=0,2,4,6
/proc/10116/task/10118/stat : 10118 (java) R 10114 10114 7690 0 -1 4202560 892524 0 0 0 25236 382 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521936132952 140521967969902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10119] ppid=10114 vsize=15151156 memory=55320 CPUtime=255.1 cores=0,2,4,6
/proc/10116/task/10119/stat : 10119 (java) R 10114 10114 7690 0 -1 4202560 1249986 0 0 0 25099 411 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521574947544 140521976615963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10120] ppid=10114 vsize=15151156 memory=988 CPUtime=255.78 cores=0,2,4,6
/proc/10116/task/10120/stat : 10120 (java) R 10114 10114 7690 0 -1 4202560 1101494 0 0 0 25181 397 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521573894744 140521976615963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10121] ppid=10114 vsize=15151156 memory=6791534058613427641 CPUtime=255.69 cores=0,2,4,6
/proc/10116/task/10121/stat : 10121 (java) R 10114 10114 7690 0 -1 4202560 1046930 0 0 0 25165 404 0 0 20 0 15 0 475274567 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521572841632 140521968212124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10122] ppid=10114 vsize=15151156 memory=1712 CPUtime=4.46 cores=0,2,4,6
/proc/10116/task/10122/stat : 10122 (java) S 10114 10114 7690 0 -1 1077944384 123413 0 0 0 438 8 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521452012992 140521983522517 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10123] ppid=10114 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10123/stat : 10123 (java) S 10114 10114 7690 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 475274569 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521450960480 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10124] ppid=10114 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10124/stat : 10124 (java) S 10114 10114 7690 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 475274570 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521449907584 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10125] ppid=10114 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10125/stat : 10125 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521448855888 140521983530907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10126] ppid=10114 vsize=15151156 memory=5787477641288517003 CPUtime=2.53 cores=0,2,4,6
/proc/10116/task/10126/stat : 10126 (java) S 10114 10114 7690 0 -1 1077944384 12091 0 0 0 251 2 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521447803296 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10127] ppid=10114 vsize=15151156 memory=0 CPUtime=2.46 cores=0,2,4,6
/proc/10116/task/10127/stat : 10127 (java) S 10114 10114 7690 0 -1 1077944384 8490 0 0 0 245 1 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521446750208 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10128] ppid=10114 vsize=15151156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/10116/task/10128/stat : 10128 (java) S 10114 10114 7690 0 -1 1077944384 3398 0 0 0 59 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521445697696 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10129] ppid=10114 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10116/task/10129/stat : 10129 (java) S 10114 10114 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521444645088 140521983522517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
[pid=10116/tid=10130] ppid=10114 vsize=15151156 memory=1556 CPUtime=0.11 cores=0,2,4,6
/proc/10116/task/10130/stat : 10130 (java) S 10114 10114 7690 0 -1 1077944384 423 0 0 0 5 6 0 0 20 0 15 0 475274572 15514783744 3160855 33554432000 4194304 4196468 140724759794400 140521443593392 140521983523458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14000128 140724759802863 140724759803034 140724759803034 140724759805903 0
Current children cumulated CPU time: 1076.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12644868 KiB
[startup+306.001 s]*
/proc/loadavg: 6.81 7.72 7.51 6/220 10244
/proc/meminfo: memFree=6978060/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
[startup+306.11 s]
/proc/loadavg: 6.81 7.72 7.51 6/220 10244
/proc/meminfo: memFree=6978060/32770624 swapFree=66986244/67108860
[pid=10114] ppid=10111 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/10114/stat : 10114 (xcsp3-exec) S 10111 10114 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475274566 115843072 362 33554432000 4194304 5098028 140721078939024 140721078937128 139768335159932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31948800 140721078944635 140721078944877 140721078944877 140721078947786 0
/proc/10114/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 306.137
CPU time (s): 1077.67
CPU user time (s): 1061.17
CPU system time (s): 16.4972
CPU usage (%): 352.023
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12644868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.17
system time used= 16.4972
maximum resident set size= 12643692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4465105
page faults= 0
swaps= 0
block input operations= 8
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13588
involuntary context switches= 20259
# summary of solver processes directly reported to runsolver:
# pid: 10114
# total CPU time (s): 1077.67
# total CPU user time (s): 1061.17
# total CPU system time (s): 16.4972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90878 second user time and 3.20534 second system time
The end