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 (15267 MiB free)
memory of node 1: 16384 MiB (15489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393447-1568316931/watcher-4393447-1568316931 -o /tmp/evaluation-result-4393447-1568316931/solver-4393447-1568316931 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1071392913 HOME/instance-4393447-1568316931.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=12482, runsolver pid=12479
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 8.29 8.27 7.64 6/233 12498
/proc/meminfo: memFree=31479940/32770624 swapFree=66979456/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15144768 memory=29060 CPUtime=0.12 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 5657 0 0 0 11 1 0 0 20 0 15 0 407955770 15508242432 7265 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3786192 7265 3146 1 0 3748377 0
[pid=12484/tid=12485] ppid=12482 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) R 12482 12482 6753 0 -1 4202560 3584 0 0 0 8 0 0 0 20 0 15 0 407955770 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326655432000 140326651211158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326185682464 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326184629616 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) S 12482 12482 6753 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326182525296 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0.02 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) R 12482 12482 6753 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326180419696 140326630154898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 7265 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30508 KiB
[startup+0.210729 s]*
/proc/loadavg: 8.29 8.27 7.64 7/233 12498
/proc/meminfo: memFree=31466200/32770624 swapFree=66979456/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15144768 memory=40876 CPUtime=0.34 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 9451 0 0 0 32 2 0 0 20 0 15 0 407955770 15508242432 10219 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3786192 10219 3301 1 0 3748377 0
[pid=12484/tid=12485] ppid=12482 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) R 12482 12482 6753 0 -1 4202560 6621 0 0 0 18 2 0 0 20 0 15 0 407955770 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326655431136 140326651211158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15144768 memory=140682735564728 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407955771 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326185682464 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407955773 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326184629616 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) S 12482 12482 6753 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326182525296 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15144768 memory=140682735552128 CPUtime=0.08 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) R 12482 12482 6753 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326180419696 140326630217452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955776 15508242432 10219 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42324 KiB
[startup+0.310595 s]*
/proc/loadavg: 8.29 8.27 7.64 8/233 12498
/proc/meminfo: memFree=31460720/32770624 swapFree=66979456/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15149024 memory=50044 CPUtime=0.53 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 10830 0 0 0 50 3 0 0 20 0 15 0 407955770 15512600576 12511 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3787256 12511 3361 1 0 3748377 0
[pid=12484/tid=12485] ppid=12482 vsize=15149024 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) R 12482 12482 6753 0 -1 4202560 7770 0 0 0 27 2 0 0 20 0 15 0 407955770 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326655429232 140326651221149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15149024 memory=3155436 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407955771 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407955773 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407955773 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326185682464 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407955773 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326184629616 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) R 12482 12482 6753 0 -1 4202560 759 0 0 0 5 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326182525296 140326632742542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 134 0 0 0 4 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) S 12482 12482 6753 0 -1 1077944384 870 0 0 0 13 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326180419696 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955776 15512600576 12511 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51492 KiB
[startup+0.701577 s]
/proc/loadavg: 8.29 8.27 7.64 8/233 12498
/proc/meminfo: memFree=31449240/32770624 swapFree=66979456/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15151148 memory=83616 CPUtime=1.6 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 15147 0 0 0 155 5 0 0 20 0 15 0 407955770 15514775552 20904 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3787787 20904 3452 1 0 3748889 0
[pid=12484/tid=12485] ppid=12482 vsize=15151148 memory=1787645920513 CPUtime=0.67 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) R 12482 12482 6753 0 -1 4202560 9194 0 0 0 63 4 0 0 20 0 15 0 407955770 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326655429648 140326651220570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955771 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407955771 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407955773 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407955773 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326185682464 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407955773 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326184629616 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15151148 memory=1764 CPUtime=0.27 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) R 12482 12482 6753 0 -1 4202560 1757 0 0 0 27 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326182506312 140326632743318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15151148 memory=111632 CPUtime=0.24 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) R 12482 12482 6753 0 -1 4202560 933 0 0 0 24 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326181472496 140326632609373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15151148 memory=804 CPUtime=0.39 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) R 12482 12482 6753 0 -1 1077944384 1957 0 0 0 39 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326180419696 140326651210370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407955776 15514775552 20904 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85064 KiB
[startup+1.5101 s]
/proc/loadavg: 8.29 8.27 7.64 12/237 12502
/proc/meminfo: memFree=31372656/32770624 swapFree=66979456/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 137083 0 0 0 230722 81 0 0 20 0 19 0 407955770 15789518848 89033 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3854863 89033 3526 1 0 3815965 0
[pid=12484/tid=12485] ppid=12482 vsize=15419452 memory=345800 CPUtime=0.91 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) S 12482 12482 6753 0 -1 1077944384 10432 0 0 0 87 4 0 0 20 0 19 0 407955770 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326655440000 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15419452 memory=3360 CPUtime=0.84 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 4758 0 0 0 78 6 0 0 20 0 19 0 407955771 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15419452 memory=356132 CPUtime=0.83 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 4426 0 0 0 78 5 0 0 20 0 19 0 407955771 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15419452 memory=1448 CPUtime=0.83 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 10167 0 0 0 78 5 0 0 20 0 19 0 407955771 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15419452 memory=356132 CPUtime=0.83 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 5462 0 0 0 77 6 0 0 20 0 19 0 407955771 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15419452 memory=3620 CPUtime=0.78 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 8520 0 0 0 34 44 0 0 20 0 19 0 407955773 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326185682528 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326184629632 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15419452 memory=3620 CPUtime=3.76 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) S 12482 12482 6753 0 -1 1077944384 27286 0 0 0 375 1 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326182525296 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15419452 memory=3620 CPUtime=3.49 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 21003 0 0 0 348 1 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15419452 memory=16780 CPUtime=0.92 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) S 12482 12482 6753 0 -1 1077944384 12690 0 0 0 90 2 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326180419696 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15419452 memory=356132 CPUtime=0.13 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 2110 0 0 0 0 13 0 0 20 0 19 0 407955776 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12593] ppid=12482 vsize=15419452 memory=1448 CPUtime=41.71 cores=0,2,4,6
/proc/12484/task/12593/stat : 12593 (java) R 12482 12482 6753 0 -1 4202560 1109 0 0 0 4171 0 0 0 20 0 19 0 408009785 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326102039776 140326269795178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12594] ppid=12482 vsize=15419452 memory=1448 CPUtime=41.76 cores=0,2,4,6
/proc/12484/task/12594/stat : 12594 (java) R 12482 12482 6753 0 -1 4202560 1062 0 0 0 4176 0 0 0 20 0 19 0 408009785 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326100988360 140326272574942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12595] ppid=12482 vsize=15419452 memory=356132 CPUtime=41.68 cores=0,2,4,6
/proc/12484/task/12595/stat : 12595 (java) R 12482 12482 6753 0 -1 4202560 1208 0 0 0 4168 0 0 0 20 0 19 0 408009785 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326098884928 140326268496544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12596] ppid=12482 vsize=15419452 memory=351944 CPUtime=41.8 cores=0,2,4,6
/proc/12484/task/12596/stat : 12596 (java) R 12482 12482 6753 0 -1 4202560 668 0 0 0 4180 0 0 0 20 0 19 0 408009785 15789518848 89033 33554432000 4194304 4196468 140722618134928 140326099935384 140326268496642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 2308.03 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 357580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.701 s]
/proc/loadavg: 8.54 8.49 8.07 12/232 12738
/proc/meminfo: memFree=31248112/32770624 swapFree=66979472/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15419452 memory=390948 CPUtime=2520.19 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 140603 0 0 0 251927 92 0 0 20 0 19 0 407955770 15789518848 97737 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3854863 97737 3526 1 0 3815965 0
[pid=12484/tid=12485] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.91 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) S 12482 12482 6753 0 -1 1077944384 10432 0 0 0 87 4 0 0 20 0 19 0 407955770 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326655440000 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15419452 memory=1448 CPUtime=0.94 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 5387 0 0 0 88 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15419452 memory=374564 CPUtime=0.94 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 4725 0 0 0 88 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.93 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 10378 0 0 0 88 5 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15419452 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 5979 0 0 0 86 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15419452 memory=6791534058613427641 CPUtime=0.89 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 8901 0 0 0 38 51 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326185682528 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326184629632 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15419452 memory=1448 CPUtime=3.79 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) S 12482 12482 6753 0 -1 1077944384 27628 0 0 0 378 1 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326182525296 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15419452 memory=1448 CPUtime=3.51 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 21216 0 0 0 350 1 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.92 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) S 12482 12482 6753 0 -1 1077944384 12694 0 0 0 90 2 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326180419696 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15419452 memory=3620 CPUtime=0.15 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 2140 0 0 0 0 15 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12593] ppid=12482 vsize=15419452 memory=1448 CPUtime=94.54 cores=0,2,4,6
/proc/12484/task/12593/stat : 12593 (java) R 12482 12482 6753 0 -1 4202560 1298 0 0 0 9454 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326102039760 140326269795202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12594] ppid=12482 vsize=15419452 memory=390948 CPUtime=94.82 cores=0,2,4,6
/proc/12484/task/12594/stat : 12594 (java) R 12482 12482 6753 0 -1 4202560 1355 0 0 0 9482 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326100988312 140326268496719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12595] ppid=12482 vsize=15419452 memory=1448 CPUtime=94.45 cores=0,2,4,6
/proc/12484/task/12595/stat : 12595 (java) R 12482 12482 6753 0 -1 4202560 1456 0 0 0 9445 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326098884496 140326268496662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12596] ppid=12482 vsize=15419452 memory=390948 CPUtime=94.69 cores=0,2,4,6
/proc/12484/task/12596/stat : 12596 (java) R 12482 12482 6753 0 -1 4202560 832 0 0 0 9469 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326099935176 140326268788751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 392396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.734 s]
# the end of solver process 12482 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001182 s, system=0.001182 s
[startup+635.772 s]
# the end of solver process 12484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.54 s, system=0.92942 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+635.701 s]
/proc/loadavg: 8.54 8.49 8.07 12/232 12738
/proc/meminfo: memFree=31248112/32770624 swapFree=66979472/67108860
[pid=12482] ppid=12479 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12482/stat : 12482 (xcsp3-exec) S 12479 12482 6753 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407955770 115843072 362 33554432000 4194304 5098028 140722139389504 140722139387608 140246355956348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11087872 140722139390842 140722139391085 140722139391085 140722139393994 0
/proc/12482/statm: 28282 362 304 221 0 87 0
[pid=12484] ppid=12482 vsize=15419452 memory=390948 CPUtime=2520.19 cores=0,2,4,6
/proc/12484/stat : 12484 (java) S 12482 12482 6753 0 -1 1077944320 140603 0 0 0 251927 92 0 0 20 0 19 0 407955770 15789518848 97737 33554432000 4194304 4196468 140722618134928 140722618117472 140326651199223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
/proc/12484/statm: 3854863 97737 3526 1 0 3815965 0
[pid=12484/tid=12485] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.91 cores=0,2,4,6
/proc/12484/task/12485/stat : 12485 (java) S 12482 12482 6753 0 -1 1077944384 10432 0 0 0 87 4 0 0 20 0 19 0 407955770 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326655440000 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12486] ppid=12482 vsize=15419452 memory=1448 CPUtime=0.94 cores=0,2,4,6
/proc/12484/task/12486/stat : 12486 (java) S 12482 12482 6753 0 -1 1077944384 5387 0 0 0 88 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326587435664 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12487] ppid=12482 vsize=15419452 memory=374564 CPUtime=0.94 cores=0,2,4,6
/proc/12484/task/12487/stat : 12487 (java) S 12482 12482 6753 0 -1 1077944384 4725 0 0 0 88 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326586382864 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12488] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.93 cores=0,2,4,6
/proc/12484/task/12488/stat : 12488 (java) S 12482 12482 6753 0 -1 1077944384 10378 0 0 0 88 5 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326585330064 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12489] ppid=12482 vsize=15419452 memory=1448 CPUtime=0.92 cores=0,2,4,6
/proc/12484/task/12489/stat : 12489 (java) S 12482 12482 6753 0 -1 1077944384 5979 0 0 0 86 6 0 0 20 0 19 0 407955771 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326584277264 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12490] ppid=12482 vsize=15419452 memory=6791534058613427641 CPUtime=0.89 cores=0,2,4,6
/proc/12484/task/12490/stat : 12490 (java) S 12482 12482 6753 0 -1 1077944384 8901 0 0 0 38 51 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326186736496 140326651210370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12491] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12491/stat : 12491 (java) S 12482 12482 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326185682528 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12492] ppid=12482 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12492/stat : 12492 (java) S 12482 12482 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407955773 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326184629632 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12493] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12493/stat : 12493 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326183577936 140326651217819 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12494] ppid=12482 vsize=15419452 memory=1448 CPUtime=3.79 cores=0,2,4,6
/proc/12484/task/12494/stat : 12494 (java) S 12482 12482 6753 0 -1 1077944384 27628 0 0 0 378 1 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326182525296 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12495] ppid=12482 vsize=15419452 memory=1448 CPUtime=3.51 cores=0,2,4,6
/proc/12484/task/12495/stat : 12495 (java) S 12482 12482 6753 0 -1 1077944384 21216 0 0 0 350 1 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326181472496 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12496] ppid=12482 vsize=15419452 memory=390948 CPUtime=0.92 cores=0,2,4,6
/proc/12484/task/12496/stat : 12496 (java) S 12482 12482 6753 0 -1 1077944384 12694 0 0 0 90 2 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326180419696 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12497] ppid=12482 vsize=15419452 memory=390948 CPUtime=0 cores=0,2,4,6
/proc/12484/task/12497/stat : 12497 (java) S 12482 12482 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326179367136 140326651209429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12498] ppid=12482 vsize=15419452 memory=3620 CPUtime=0.15 cores=0,2,4,6
/proc/12484/task/12498/stat : 12498 (java) S 12482 12482 6753 0 -1 1077944384 2140 0 0 0 0 15 0 0 20 0 19 0 407955776 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326111014064 140326651210370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12593] ppid=12482 vsize=15419452 memory=1448 CPUtime=94.54 cores=0,2,4,6
/proc/12484/task/12593/stat : 12593 (java) R 12482 12482 6753 0 -1 4202560 1298 0 0 0 9454 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326102039760 140326269795202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12594] ppid=12482 vsize=15419452 memory=390948 CPUtime=94.82 cores=0,2,4,6
/proc/12484/task/12594/stat : 12594 (java) R 12482 12482 6753 0 -1 4202560 1355 0 0 0 9482 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326100988312 140326268496719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12595] ppid=12482 vsize=15419452 memory=1448 CPUtime=94.45 cores=0,2,4,6
/proc/12484/task/12595/stat : 12595 (java) R 12482 12482 6753 0 -1 4202560 1456 0 0 0 9445 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326098884496 140326268496662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
[pid=12484/tid=12596] ppid=12482 vsize=15419452 memory=390948 CPUtime=94.69 cores=0,2,4,6
/proc/12484/task/12596/stat : 12596 (java) R 12482 12482 6753 0 -1 4202560 832 0 0 0 9469 0 0 0 20 0 19 0 408009785 15789518848 97737 33554432000 4194304 4196468 140722618134928 140326099935176 140326268788751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28221440 140722618143727 140722618143898 140722618143898 140722618146767 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 392396 KiB
Child status: 143
Real time (s): 635.772
CPU time (s): 2520.47
CPU user time (s): 2519.54
CPU system time (s): 0.92942
CPU usage (%): 396.442
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 392396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.92942
maximum resident set size= 391508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27947
involuntary context switches= 48900
# summary of solver processes directly reported to runsolver:
# pid: 12482,12484
# total CPU time (s): 2520.47
# total CPU user time (s): 2519.54
# total CPU system time (s): 0.92942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99528 second user time and 6.98629 second system time
The end