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 (15255 MiB free)
memory of node 1: 16384 MiB (14561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400598-1568678622/watcher-4400598-1568678622 -o /tmp/evaluation-result-4400598-1568678622/solver-4400598-1568678622 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1684773503 HOME/instance-4400598-1568678622.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7885, runsolver pid=7882
[startup+0.101698 s]*
/proc/loadavg: 8.71 8.45 8.48 8/234 7901
/proc/meminfo: memFree=30515856/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15144776 memory=30396 CPUtime=0.13 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 5517 0 0 0 12 1 0 0 20 0 15 0 444115275 15508250624 7599 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3786194 7599 3154 1 0 3748377 0
[pid=7887/tid=7888] ppid=7885 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) R 7885 7885 32513 0 -1 4202560 3420 0 0 0 9 0 0 0 20 0 15 0 444115275 15508250624 7599 33554432000 4194304 4196468 140730959997280 140602370799296 140602366582166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444115277 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444115278 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601834165664 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444115278 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0.02 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) R 7885 7885 32513 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 444115280 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601828903152 140602358591588 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115281 15508250624 7599 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31848 KiB
[startup+0.21083 s]*
/proc/loadavg: 8.71 8.45 8.48 7/234 7901
/proc/meminfo: memFree=30492260/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15144776 memory=41496 CPUtime=0.34 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 9082 0 0 0 31 3 0 0 20 0 15 0 444115275 15508250624 10374 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3786194 10374 3316 1 0 3748377 0
[pid=7887/tid=7888] ppid=7885 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) R 7885 7885 32513 0 -1 4202560 6233 0 0 0 18 2 0 0 20 0 15 0 444115275 15508250624 10374 33554432000 4194304 4196468 140730959997280 140602370802960 140602366582166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15144776 memory=139623848475952 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444115276 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444115277 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444115278 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601834165664 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444115278 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 681 0 0 0 3 0 0 0 20 0 15 0 444115280 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 15 0 444115280 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15144776 memory=139623848449664 CPUtime=0.08 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) R 7885 7885 32513 0 -1 4202560 722 0 0 0 8 0 0 0 20 0 15 0 444115280 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601828902960 140602344754898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115281 15508250624 10374 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42948 KiB
[startup+0.310741 s]*
/proc/loadavg: 8.71 8.45 8.48 7/234 7901
/proc/meminfo: memFree=30488016/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15149032 memory=50116 CPUtime=0.53 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 10339 0 0 0 49 4 0 0 20 0 15 0 444115275 15512608768 12529 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3787258 12529 3369 1 0 3748377 0
[pid=7887/tid=7888] ppid=7885 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) R 7885 7885 32513 0 -1 4202560 7327 0 0 0 27 3 0 0 20 0 15 0 444115275 15512608768 12529 33554432000 4194304 4196468 140730959997280 140602370801344 140602366592157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15149032 memory=15260367604799697 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444115276 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444115277 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444115278 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601834165664 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444115278 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) R 7885 7885 32513 0 -1 4202560 792 0 0 0 5 0 0 0 20 0 15 0 444115280 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601830998624 140602366591578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 147 0 0 0 3 0 0 0 20 0 15 0 444115280 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) S 7885 7885 32513 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 15 0 444115280 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601828903152 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115281 15512608768 12529 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51568 KiB
[startup+0.7008 s]
/proc/loadavg: 8.50 8.41 8.47 8/234 7901
/proc/meminfo: memFree=30476932/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15151156 memory=109920 CPUtime=1.62 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 13499 0 0 0 155 7 0 0 20 0 15 0 444115275 15514783744 27480 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3787789 27480 3456 1 0 3748889 0
[pid=7887/tid=7888] ppid=7885 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) R 7885 7885 32513 0 -1 4202560 8712 0 0 0 63 4 0 0 20 0 15 0 444115275 15514783744 27480 33554432000 4194304 4196468 140730959997280 140602370806192 140602346156518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115276 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444115276 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444115277 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444115278 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601834165664 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444115278 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15151156 memory=1764 CPUtime=0.32 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 1477 0 0 0 32 0 0 0 20 0 15 0 444115280 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15151156 memory=111628 CPUtime=0.29 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) R 7885 7885 32513 0 -1 4202560 711 0 0 0 29 0 0 0 20 0 15 0 444115280 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601829955696 140602350962218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15151156 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) S 7885 7885 32513 0 -1 1077944384 1294 0 0 0 29 0 0 0 20 0 15 0 444115280 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601828903152 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444115280 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444115281 15514783744 27480 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111372 KiB
[startup+1.50804 s]
/proc/loadavg: 8.50 8.41 8.47 8/234 7901
/proc/meminfo: memFree=30307784/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 99500 0 0 0 231352 107 0 0 20 0 19 0 444115275 15787429888 726985 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3854353 726985 3520 1 0 3815453 0
[pid=7887/tid=7888] ppid=7885 vsize=15417412 memory=1452 CPUtime=0.98 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) S 7885 7885 32513 0 -1 1077944384 8907 0 0 0 93 5 0 0 20 0 19 0 444115275 15787429888 726985 33554432000 4194304 4196468 140730959997280 140602370811008 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.65 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 3263 0 0 0 157 8 0 0 20 0 19 0 444115276 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15417412 memory=1452 CPUtime=1.66 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 5449 0 0 0 158 8 0 0 20 0 19 0 444115276 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15417412 memory=3504 CPUtime=1.67 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 3961 0 0 0 158 9 0 0 20 0 19 0 444115276 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.65 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 3263 0 0 0 157 8 0 0 20 0 19 0 444115276 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15417412 memory=2905888 CPUtime=0.37 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 6494 0 0 0 32 5 0 0 20 0 19 0 444115277 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601834165728 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15417412 memory=2905888 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15417412 memory=1452 CPUtime=2.12 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 11383 0 0 0 211 1 0 0 20 0 19 0 444115280 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15417412 memory=3504 CPUtime=1.9 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 8710 0 0 0 189 1 0 0 20 0 19 0 444115280 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15417412 memory=3320 CPUtime=0.68 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) S 7885 7885 32513 0 -1 1077944384 5355 0 0 0 67 1 0 0 20 0 19 0 444115280 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601828903152 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15417412 memory=14008 CPUtime=0.18 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 514 0 0 0 0 18 0 0 20 0 19 0 444115281 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7902] ppid=7885 vsize=15417412 memory=2124 CPUtime=575.38 cores=0,2,4,6
/proc/7887/task/7902/stat : 7902 (java) R 7885 7885 32513 0 -1 4202560 2312 0 0 0 57537 1 0 0 20 0 19 0 444115382 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601817578528 140602009892267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7903] ppid=7885 vsize=15417412 memory=1452 CPUtime=575.33 cores=0,2,4,6
/proc/7887/task/7903/stat : 7903 (java) R 7885 7885 32513 0 -1 4202560 31597 0 0 0 57478 55 0 0 20 0 19 0 444115382 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601816527264 140602009860684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7904] ppid=7885 vsize=15417412 memory=1452 CPUtime=575.06 cores=0,2,4,6
/proc/7887/task/7904/stat : 7904 (java) R 7885 7885 32513 0 -1 4202560 2922 0 0 0 57505 1 0 0 20 0 19 0 444115382 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601815477904 140602009892208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7905] ppid=7885 vsize=15417412 memory=18 CPUtime=575.82 cores=0,2,4,6
/proc/7887/task/7905/stat : 7905 (java) R 7885 7885 32513 0 -1 4202560 4071 0 0 0 57581 1 0 0 20 0 19 0 444115382 15787429888 726985 33554432000 4194304 4196468 140730959997280 140601814420888 140602009535238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 2314.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2909392 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.901 s]
/proc/loadavg: 8.95 8.55 8.49 9/238 8524
/proc/meminfo: memFree=26434296/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15417412 memory=2907960 CPUtime=2400.16 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 100790 0 0 0 239909 107 0 0 20 0 19 0 444115275 15787429888 726990 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3854353 726990 3520 1 0 3815453 0
[pid=7887/tid=7888] ppid=7885 vsize=15417412 memory=1452 CPUtime=0.98 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) S 7885 7885 32513 0 -1 1077944384 8907 0 0 0 93 5 0 0 20 0 19 0 444115275 15787429888 726990 33554432000 4194304 4196468 140730959997280 140602370811008 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15417412 memory=2907960 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 3426 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 5532 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.84 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 4019 0 0 0 175 9 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15417412 memory=2907960 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 3335 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0.42 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 6725 0 0 0 36 6 0 0 20 0 19 0 444115277 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601834165728 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15417412 memory=55 CPUtime=2.12 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 11385 0 0 0 211 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15417412 memory=12024 CPUtime=1.9 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 8712 0 0 0 189 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15417412 memory=1452 CPUtime=0.68 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) S 7885 7885 32513 0 -1 1077944384 5357 0 0 0 67 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601828903152 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15417412 memory=47904 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0.19 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 531 0 0 0 0 19 0 0 20 0 19 0 444115281 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7902] ppid=7885 vsize=15417412 memory=1452 CPUtime=596.58 cores=0,2,4,6
/proc/7887/task/7902/stat : 7902 (java) R 7885 7885 32513 0 -1 4202560 2427 0 0 0 59657 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601817578760 140602009757429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7903] ppid=7885 vsize=15417412 memory=2907960 CPUtime=596.53 cores=0,2,4,6
/proc/7887/task/7903/stat : 7903 (java) R 7885 7885 32513 0 -1 4202560 31782 0 0 0 59598 55 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601816530208 140602010128719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7904] ppid=7885 vsize=15417412 memory=1452 CPUtime=596.25 cores=0,2,4,6
/proc/7887/task/7904/stat : 7904 (java) R 7885 7885 32513 0 -1 4202560 3053 0 0 0 59624 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601815474624 140602009779551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7905] ppid=7885 vsize=15417412 memory=1452 CPUtime=597.05 cores=0,2,4,6
/proc/7887/task/7905/stat : 7905 (java) R 7885 7885 32513 0 -1 4202560 4300 0 0 0 59704 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601814421208 140602011306089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 2400.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2909412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.935 s]
# the end of solver process 7885 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001131 s, system=0.001131 s
[startup+603.993 s]
# the end of solver process 7887 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.4 s, system=1.09193 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+603.901 s]
/proc/loadavg: 8.95 8.55 8.49 9/238 8524
/proc/meminfo: memFree=26434296/32770624 swapFree=66997372/67108860
[pid=7885] ppid=7882 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7885/stat : 7885 (xcsp3-exec) S 7882 7885 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444115274 115843072 363 33554432000 4194304 5098028 140737270765824 140737270763928 139741553345148 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24883200 140737270768506 140737270768749 140737270768749 140737270771658 0
/proc/7885/statm: 28282 363 304 221 0 87 0
[pid=7887] ppid=7885 vsize=15417412 memory=2907960 CPUtime=2400.16 cores=0,2,4,6
/proc/7887/stat : 7887 (java) S 7885 7885 32513 0 -1 1077944320 100790 0 0 0 239909 107 0 0 20 0 19 0 444115275 15787429888 726990 33554432000 4194304 4196468 140730959997280 140730959979824 140602366570231 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
/proc/7887/statm: 3854353 726990 3520 1 0 3815453 0
[pid=7887/tid=7888] ppid=7885 vsize=15417412 memory=1452 CPUtime=0.98 cores=0,2,4,6
/proc/7887/task/7888/stat : 7888 (java) S 7885 7885 32513 0 -1 1077944384 8907 0 0 0 93 5 0 0 20 0 19 0 444115275 15787429888 726990 33554432000 4194304 4196468 140730959997280 140602370811008 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7889] ppid=7885 vsize=15417412 memory=2907960 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7889/stat : 7889 (java) S 7885 7885 32513 0 -1 1077944384 3426 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601958705424 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7890] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7890/stat : 7890 (java) S 7885 7885 32513 0 -1 1077944384 5532 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601957652880 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7891] ppid=7885 vsize=15417412 memory=2907940 CPUtime=1.84 cores=0,2,4,6
/proc/7887/task/7891/stat : 7891 (java) S 7885 7885 32513 0 -1 1077944384 4019 0 0 0 175 9 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601956600336 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7892] ppid=7885 vsize=15417412 memory=2907960 CPUtime=1.83 cores=0,2,4,6
/proc/7887/task/7892/stat : 7892 (java) S 7885 7885 32513 0 -1 1077944384 3335 0 0 0 175 8 0 0 20 0 19 0 444115276 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601955547792 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7893] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0.42 cores=0,2,4,6
/proc/7887/task/7893/stat : 7893 (java) S 7885 7885 32513 0 -1 1077944384 6725 0 0 0 36 6 0 0 20 0 19 0 444115277 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601835219440 140602366581378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7894] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7894/stat : 7894 (java) S 7885 7885 32513 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601834165728 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7895] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7895/stat : 7895 (java) S 7885 7885 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 444115278 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601833113072 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7896] ppid=7885 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7896/stat : 7896 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601832061648 140602366588827 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7897] ppid=7885 vsize=15417412 memory=55 CPUtime=2.12 cores=0,2,4,6
/proc/7887/task/7897/stat : 7897 (java) S 7885 7885 32513 0 -1 1077944384 11385 0 0 0 211 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601831008240 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7898] ppid=7885 vsize=15417412 memory=12024 CPUtime=1.9 cores=0,2,4,6
/proc/7887/task/7898/stat : 7898 (java) S 7885 7885 32513 0 -1 1077944384 8712 0 0 0 189 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601829955696 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7899] ppid=7885 vsize=15417412 memory=1452 CPUtime=0.68 cores=0,2,4,6
/proc/7887/task/7899/stat : 7899 (java) S 7885 7885 32513 0 -1 1077944384 5357 0 0 0 67 1 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601828903152 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7900] ppid=7885 vsize=15417412 memory=47904 CPUtime=0 cores=0,2,4,6
/proc/7887/task/7900/stat : 7900 (java) S 7885 7885 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444115280 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601827850848 140602366580437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7901] ppid=7885 vsize=15417412 memory=2907960 CPUtime=0.19 cores=0,2,4,6
/proc/7887/task/7901/stat : 7901 (java) S 7885 7885 32513 0 -1 1077944384 531 0 0 0 0 19 0 0 20 0 19 0 444115281 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601826798384 140602366581378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7902] ppid=7885 vsize=15417412 memory=1452 CPUtime=596.58 cores=0,2,4,6
/proc/7887/task/7902/stat : 7902 (java) R 7885 7885 32513 0 -1 4202560 2427 0 0 0 59657 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601817578760 140602009757429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7903] ppid=7885 vsize=15417412 memory=2907960 CPUtime=596.53 cores=0,2,4,6
/proc/7887/task/7903/stat : 7903 (java) R 7885 7885 32513 0 -1 4202560 31782 0 0 0 59598 55 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601816530208 140602010128719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7904] ppid=7885 vsize=15417412 memory=1452 CPUtime=596.25 cores=0,2,4,6
/proc/7887/task/7904/stat : 7904 (java) R 7885 7885 32513 0 -1 4202560 3053 0 0 0 59624 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601815474624 140602009779551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
[pid=7887/tid=7905] ppid=7885 vsize=15417412 memory=1452 CPUtime=597.05 cores=0,2,4,6
/proc/7887/task/7905/stat : 7905 (java) R 7885 7885 32513 0 -1 4202560 4300 0 0 0 59704 1 0 0 20 0 19 0 444115382 15787429888 726990 33554432000 4194304 4196468 140730959997280 140601814421208 140602011306089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24518656 140730960004079 140730960004250 140730960004250 140730960007119 0
Current children cumulated CPU time: 2400.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2909412 KiB
Child status: 143
Real time (s): 603.993
CPU time (s): 2400.49
CPU user time (s): 2399.4
CPU system time (s): 1.09193
CPU usage (%): 397.438
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 3492968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.4
system time used= 1.09193
maximum resident set size= 3494328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31804
involuntary context switches= 46504
# summary of solver processes directly reported to runsolver:
# pid: 7885,7887
# total CPU time (s): 2400.49
# total CPU user time (s): 2399.4
# total CPU system time (s): 1.09193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83257 second user time and 6.82775 second system time
The end