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 (15318 MiB free)
memory of node 1: 16384 MiB (13685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281832-1503124327/watcher-4281832-1503124327 -o /tmp/evaluation-result-4281832-1503124327/solver-4281832-1503124327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8615 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 211280605 HOME/instance-4281832-1503124327.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
Current StackSize limit: 8192 KiB
solver pid=13492, runsolver pid=13489
[startup+0.10325 s]*
/proc/loadavg: 1.83 1.77 1.77 3/204 13501
/proc/meminfo: memFree=29691528/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13574484 memory=18312 CPUtime=0.02 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 3905 0 0 0 2 0 0 0 20 0 9 0 114627786 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3393621 4578 2086 1 0 3383118 0
[pid=13494/tid=13495] ppid=13492 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 2609 0 0 0 2 0 0 0 20 0 9 0 114627786 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140501471195656 140501466981533 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114627787 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13574484 memory=140320933185152 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114627787 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 114627787 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114627787 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13574484 memory=140320933185152 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 114627788 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 114627789 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140500382205216 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 114627789 13900271616 4578 18446744073709551615 4194304 4196468 140728832457824 140500381152944 140501466969813 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19692 KiB
[startup+0.209914 s]*
/proc/loadavg: 1.83 1.77 1.77 4/211 13508
/proc/meminfo: memFree=29685240/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13974352 memory=27548 CPUtime=0.12 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 5362 0 0 0 11 1 0 0 20 0 15 0 114627786 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3493588 6887 2824 1 0 3482964 0
[pid=13494/tid=13495] ppid=13492 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 3389 0 0 0 8 1 0 0 20 0 15 0 114627786 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140501471192880 140501451003237 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13974352 memory=140320933198501 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13974352 memory=140320933185152 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627788 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114627789 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500382205216 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114627789 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500381152880 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 114627791 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 114627791 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13974352 memory=140320933185152 CPUtime=0.01 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 114627791 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13974352 memory=140320933185152 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627796 14309736448 6887 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28928 KiB
[startup+0.311683 s]*
/proc/loadavg: 1.83 1.77 1.77 4/211 13508
/proc/meminfo: memFree=29670872/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13974352 memory=39672 CPUtime=0.33 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 9164 0 0 0 30 3 0 0 20 0 15 0 114627786 14309736448 9918 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3493588 9918 3016 1 0 3482964 0
[pid=13494/tid=13495] ppid=13492 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 6296 0 0 0 17 2 0 0 20 0 15 0 114627786 14309736448 9918 18446744073709551615 4194304 4196468 140728832457824 140501471196656 140501459638829 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 9918 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14309736448 9918 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14310785024 9918 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14310785024 9981 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627788 14310785024 9981 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114627789 14310785024 9981 18446744073709551615 4194304 4196468 140728832457824 140500382205216 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114627789 14309736448 9972 18446744073709551615 4194304 4196468 140728832457824 140500381152880 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14309736448 9972 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 15 0 114627791 14309736448 9972 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13976468 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 423 0 0 0 3 0 0 0 20 0 15 0 114627791 14311903232 9972 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13976468 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 768 0 0 0 7 0 0 0 20 0 15 0 114627791 14311903232 9972 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14311903232 9972 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13976468 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627796 14311903232 9972 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41052 KiB
[startup+0.701565 s]
/proc/loadavg: 1.83 1.77 1.77 6/211 13508
/proc/meminfo: memFree=29662608/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13980732 memory=65072 CPUtime=1.17 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 12894 0 0 0 111 6 0 0 20 0 15 0 114627786 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3495183 16268 3171 1 0 3483476 0
[pid=13494/tid=13495] ppid=13492 vsize=13980732 memory=6298654963688298593 CPUtime=0.56 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 8526 0 0 0 52 4 0 0 20 0 15 0 114627786 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140501471198704 140501451040094 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13980732 memory=5937270905093056086 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13980732 memory=7739276948477859686 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13980732 memory=-8382737753049505125 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114627788 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500382205216 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13980732 memory=6378026435750 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500381152880 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13980732 memory=15540738687502695 CPUtime=0.13 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) R 13492 13492 8557 0 -1 4202560 681 0 0 0 13 0 0 0 20 0 15 0 114627791 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500379034072 140501446206264 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13980732 memory=644 CPUtime=0.14 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) R 13492 13492 8557 0 -1 4202560 734 0 0 0 14 0 0 0 20 0 15 0 114627791 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500377975520 140501448504064 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13980732 memory=1740 CPUtime=0.3 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 1646 0 0 0 30 0 0 0 20 0 15 0 114627791 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627796 14316269568 16268 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66452 KiB
[startup+1.50089 s]
/proc/loadavg: 1.83 1.77 1.77 3/211 13508
/proc/meminfo: memFree=29619596/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13980732 memory=147672 CPUtime=3.25 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 19164 0 0 0 318 7 0 0 20 0 15 0 114627786 14316269568 36918 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3495183 36918 3188 1 0 3483476 0
[pid=13494/tid=13495] ppid=13492 vsize=13980732 memory=-8774313645642428999 CPUtime=1.36 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 8887 0 0 0 131 5 0 0 20 0 15 0 114627786 14316269568 36918 18446744073709551615 4194304 4196468 140728832457824 140501471195984 140501085066010 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 36918 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 36918 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114627787 14316269568 36918 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=13494/tid=13500] ppid=13492 vsize=13980732 memory=177192 CPUtime=0.14 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 2955 0 0 0 12 2 0 0 20 0 15 0 114627788 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13980732 memory=177192 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500382205280 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500381152896 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13980732 memory=177192 CPUtime=1.93 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 12054 0 0 0 192 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13980732 memory=4144 CPUtime=1.66 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 11140 0 0 0 165 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13980732 memory=62364 CPUtime=0.55 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 6732 0 0 0 54 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13980732 memory=4144 CPUtime=0.64 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 655 0 0 0 23 41 0 0 20 0 15 0 114627796 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 2387.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 178572 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.69 1.73 5/211 13729
/proc/meminfo: memFree=31064676/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13980732 memory=177192 CPUtime=2447.37 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 61992 0 0 0 244691 46 0 0 20 0 15 0 114627786 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3495183 44298 3235 1 0 3483476 0
[pid=13494/tid=13495] ppid=13492 vsize=13980732 memory=177192 CPUtime=2441.47 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 18603 0 0 0 244140 7 0 0 20 0 15 0 114627786 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140501471199344 140501085920301 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13980732 memory=177192 CPUtime=0.21 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 1710 0 0 0 20 1 0 0 20 0 15 0 114627787 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13980732 memory=1380 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1576 0 0 0 21 1 0 0 20 0 15 0 114627787 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13980732 memory=177192 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 2696 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13980732 memory=177192 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2345 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13980732 memory=177192 CPUtime=0.14 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 3094 0 0 0 12 2 0 0 20 0 15 0 114627788 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13980732 memory=177192 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500382205280 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500381152896 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13980732 memory=177192 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13980732 memory=1380 CPUtime=1.93 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 12056 0 0 0 192 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13980732 memory=177192 CPUtime=1.66 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 11142 0 0 0 165 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13980732 memory=7523333977514993522 CPUtime=0.55 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 6734 0 0 0 54 1 0 0 20 0 15 0 114627791 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13980732 memory=177192 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13980732 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 661 0 0 0 24 42 0 0 20 0 15 0 114627796 14316269568 44298 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 2447.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 178572 KiB
[startup+2502.3 s]
/proc/loadavg: 1.73 1.71 1.74 4/211 13731
/proc/meminfo: memFree=31065424/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13980732 memory=176728 CPUtime=2507.39 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 62294 0 0 0 250692 47 0 0 20 0 15 0 114627786 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3495183 44182 3235 1 0 3483476 0
[pid=13494/tid=13495] ppid=13492 vsize=13980732 memory=176728 CPUtime=2501.46 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 18735 0 0 0 250139 7 0 0 20 0 15 0 114627786 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501471199344 140501084961218 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13980732 memory=176728 CPUtime=0.21 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 1725 0 0 0 20 1 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13980732 memory=176728 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1590 0 0 0 21 1 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13980732 memory=176728 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 2765 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13980732 memory=176728 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2361 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13980732 memory=176728 CPUtime=0.14 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 3130 0 0 0 12 2 0 0 20 0 15 0 114627788 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13980732 memory=176728 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500382205280 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500381152896 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13980732 memory=1380 CPUtime=1.93 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 12056 0 0 0 192 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13980732 memory=4144 CPUtime=1.66 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 11142 0 0 0 165 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13980732 memory=62364 CPUtime=0.55 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 6735 0 0 0 54 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13980732 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13980732 memory=2384 CPUtime=0.68 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 680 0 0 0 25 43 0 0 20 0 15 0 114627796 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 2507.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 178108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515 s]*
/proc/loadavg: 1.77 1.72 1.74 5/211 13732
/proc/meminfo: memFree=31065556/32770624 swapFree=67105588/67108860
[pid=13492] ppid=13489 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/13492/stat : 13492 (xcsp3-exec) S 13489 13492 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 114627778 9740288 345 18446744073709551615 4194304 5098028 140736495017424 140736495015528 140598955754108 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 36925440 140736495022457 140736495022661 140736495022661 140736495026155 0
/proc/13492/statm: 2378 345 289 221 0 87 0
[pid=13494] ppid=13492 vsize=13980732 memory=176728 CPUtime=2520.09 cores=0,2,4,6
/proc/13494/stat : 13494 (java) S 13492 13492 8557 0 -1 1077944320 62313 0 0 0 251962 47 0 0 20 0 15 0 114627786 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140728832440368 140501466959607 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
/proc/13494/statm: 3495183 44182 3235 1 0 3483476 0
[pid=13494/tid=13495] ppid=13492 vsize=13980732 memory=-8774313645642428999 CPUtime=2514.16 cores=0,2,4,6
/proc/13494/task/13495/stat : 13495 (java) R 13492 13492 8557 0 -1 4202560 18752 0 0 0 251409 7 0 0 20 0 15 0 114627786 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501471199344 140501084961524 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13496] ppid=13492 vsize=13980732 memory=4872558044660077418 CPUtime=0.21 cores=0,2,4,6
/proc/13494/task/13496/stat : 13496 (java) S 13492 13492 8557 0 -1 1077944384 1725 0 0 0 20 1 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501401393552 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13497] ppid=13492 vsize=13980732 memory=3054941726111388240 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13497/stat : 13497 (java) S 13492 13492 8557 0 -1 1077944384 1590 0 0 0 21 1 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501065578768 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13498] ppid=13492 vsize=13980732 memory=7589503746947829840 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13498/stat : 13498 (java) S 13492 13492 8557 0 -1 1077944384 2765 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501064526480 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13499] ppid=13492 vsize=13980732 memory=4279073131472642624 CPUtime=0.22 cores=0,2,4,6
/proc/13494/task/13499/stat : 13499 (java) S 13492 13492 8557 0 -1 1077944384 2361 0 0 0 20 2 0 0 20 0 15 0 114627787 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140501063473680 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13500] ppid=13492 vsize=13980732 memory=4279073131472642624 CPUtime=0.14 cores=0,2,4,6
/proc/13494/task/13500/stat : 13500 (java) S 13492 13492 8557 0 -1 1077944384 3130 0 0 0 12 2 0 0 20 0 15 0 114627788 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500383259248 140501466970754 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13501] ppid=13492 vsize=13980732 memory=-3967418655009478193 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13501/stat : 13501 (java) S 13492 13492 8557 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500382205280 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13502] ppid=13492 vsize=13980732 memory=7085964663054492480 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13502/stat : 13502 (java) S 13492 13492 8557 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 114627789 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500381152896 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13503] ppid=13492 vsize=13980732 memory=2324508698416332904 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13503/stat : 13503 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500380101200 140501466978203 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13504] ppid=13492 vsize=13980732 memory=7301267761568835943 CPUtime=1.93 cores=0,2,4,6
/proc/13494/task/13504/stat : 13504 (java) S 13492 13492 8557 0 -1 1077944384 12056 0 0 0 192 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500379048048 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13505] ppid=13492 vsize=13980732 memory=6944656592455360604 CPUtime=1.66 cores=0,2,4,6
/proc/13494/task/13505/stat : 13505 (java) S 13492 13492 8557 0 -1 1077944384 11142 0 0 0 165 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500377995248 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13506] ppid=13492 vsize=13980732 memory=6944656575208382560 CPUtime=0.55 cores=0,2,4,6
/proc/13494/task/13506/stat : 13506 (java) S 13492 13492 8557 0 -1 1077944384 6735 0 0 0 54 1 0 0 20 0 15 0 114627791 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500376942960 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13507] ppid=13492 vsize=13980732 memory=7649399397233734449 CPUtime=0 cores=0,2,4,6
/proc/13494/task/13507/stat : 13507 (java) S 13492 13492 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114627792 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500375890400 140501466969813 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
[pid=13494/tid=13508] ppid=13492 vsize=13980732 memory=7649399358428099377 CPUtime=0.68 cores=0,2,4,6
/proc/13494/task/13508/stat : 13508 (java) S 13492 13492 8557 0 -1 1077944384 682 0 0 0 25 43 0 0 20 0 15 0 114627796 14316269568 44182 18446744073709551615 4194304 4196468 140728832457824 140500374838192 140501466970754 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26439680 140728832459185 140728832459361 140728832459361 140728832462799 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 178108 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2515.02 s]
# the end of solver process 13492 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.64 s, system=0.480023 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2515.02
CPU time (s): 2520.12
CPU user time (s): 2519.64
CPU system time (s): 0.480023
CPU usage (%): 100.203
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 242120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.480023
maximum resident set size= 240740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59704
involuntary context switches= 2594
# summary of solver processes directly reported to runsolver:
# pid: 13492
# total CPU time (s): 2520.12
# total CPU user time (s): 2519.64
# total CPU system time (s): 0.480023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0717 second user time and 22.9516 second system time
The end