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 (15425 MiB free)
memory of node 1: 16384 MiB (15393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269197-1502737028/watcher-4269197-1502737028 -o /tmp/evaluation-result-4269197-1502737028/solver-4269197-1502737028 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1870635793 HOME/instance-4269197-1502737028.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=6498, runsolver pid=6495
[startup+0.100181 s]*
/proc/loadavg: 1.91 1.72 1.72 3/207 6505
/proc/meminfo: memFree=31552556/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13441356 memory=15688 CPUtime=0.01 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 3717 0 0 0 1 0 0 0 20 0 7 0 121209309 13763948544 3922 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3360339 3922 2003 1 0 3349836 0
[pid=6500/tid=6501] ppid=6498 vsize=13441356 memory=8508281356422187169 CPUtime=0.01 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 2513 0 0 0 1 0 0 0 20 0 7 0 121209309 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140122367441680 140122348881749 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13441356 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 121209310 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13441356 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 121209310 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 121209310 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 121209310 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13441356 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 121209311 13763948544 3988 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17068 KiB
[startup+0.210292 s]*
/proc/loadavg: 1.91 1.72 1.72 3/216 6514
/proc/meminfo: memFree=31543920/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13974352 memory=28120 CPUtime=0.09 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 5434 0 0 0 8 1 0 0 20 0 15 0 121209309 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3493588 7030 2754 1 0 3482964 0
[pid=6500/tid=6501] ppid=6498 vsize=13974352 memory=7022364594140610616 CPUtime=0.07 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 3577 0 0 0 7 0 0 0 20 0 15 0 121209309 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140122367424912 140122363221149 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13974352 memory=140135736245231 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13974352 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209311 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121209312 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121209312 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 121209314 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) R 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13974352 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) R 6498 6498 4674 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 121209314 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363211158 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13974352 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209320 14309736448 7030 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29500 KiB
[startup+0.310563 s]*
/proc/loadavg: 1.91 1.72 1.72 4/216 6514
/proc/meminfo: memFree=31528432/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13974352 memory=39312 CPUtime=0.27 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 8924 0 0 0 25 2 0 0 20 0 15 0 121209309 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3493588 9828 2975 1 0 3482964 0
[pid=6500/tid=6501] ppid=6498 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 6134 0 0 0 15 2 0 0 20 0 15 0 121209309 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140122367433312 140122347279710 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209310 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209311 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121209312 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121209312 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13974352 memory=140135589237696 CPUtime=0.01 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 633 0 0 0 1 0 0 0 20 0 15 0 121209314 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) S 6498 6498 4674 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 121209314 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13974352 memory=140135735199360 CPUtime=0.06 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) R 6498 6498 4674 0 -1 4202560 688 0 0 0 6 0 0 0 20 0 15 0 121209314 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122340423376 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13974352 memory=140135735199360 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209320 14309736448 9828 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40692 KiB
[startup+0.701676 s]
/proc/loadavg: 1.91 1.72 1.72 6/216 6514
/proc/meminfo: memFree=31517612/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13980732 memory=71048 CPUtime=1.22 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 13319 0 0 0 117 5 0 0 20 0 15 0 121209309 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3495183 17762 3156 1 0 3483476 0
[pid=6500/tid=6501] ppid=6498 vsize=13980732 memory=164 CPUtime=0.55 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 8472 0 0 0 52 3 0 0 20 0 15 0 121209309 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140122367422576 140121982756854 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121209311 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) R 6498 6498 4674 0 -1 4202560 1388 0 0 0 17 0 0 0 20 0 15 0 121209314 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121904689952 140122348324275 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13980732 memory=27 CPUtime=0.18 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) R 6498 6498 4674 0 -1 4202560 803 0 0 0 18 0 0 0 20 0 15 0 121209314 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121903637080 140122342455798 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13980732 memory=229 CPUtime=0.28 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) S 6498 6498 4674 0 -1 1077944384 1348 0 0 0 28 0 0 0 20 0 15 0 121209314 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13980732 memory=2908 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13980732 memory=4278483708103473607 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209320 14316269568 17762 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72428 KiB
[startup+1.50083 s]
/proc/loadavg: 1.91 1.72 1.72 3/216 6514
/proc/meminfo: memFree=31500000/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13980732 memory=73504 CPUtime=2.61 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 16142 0 0 0 256 5 0 0 20 0 15 0 121209309 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3495183 18376 3183 1 0 3483476 0
[pid=6500/tid=6501] ppid=6498 vsize=13980732 memory=6944656575208382560 CPUtime=1.35 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 8631 0 0 0 132 3 0 0 20 0 15 0 121209309 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140122367433200 140121986486090 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13980732 memory=164 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121209310 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121209311 14316269568 18376 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=8386028099886723890 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=454024 CPUtime=1.37 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 5677 0 0 0 125 12 0 0 20 0 15 0 121209311 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13980732 memory=451976 CPUtime=2 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 14391 0 0 0 198 2 0 0 20 0 15 0 121209314 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13980732 memory=1380 CPUtime=2.17 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) S 6498 6498 4674 0 -1 1077944384 15098 0 0 0 214 3 0 0 20 0 15 0 121209314 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13980732 memory=3908 CPUtime=0.55 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) S 6498 6498 4674 0 -1 1077944384 8276 0 0 0 54 1 0 0 20 0 15 0 121209314 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13980732 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13980732 memory=4068 CPUtime=0.72 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1421 0 0 0 31 41 0 0 20 0 15 0 121209320 14316269568 114018 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 2394.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 457452 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.32 1.46 3/216 6850
/proc/meminfo: memFree=31185404/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13980732 memory=271004 CPUtime=2454.72 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 99792 0 0 0 245344 128 0 0 20 0 15 0 121209309 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3495183 67751 3250 1 0 3483476 0
[pid=6500/tid=6501] ppid=6498 vsize=13980732 memory=271004 CPUtime=2437.15 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 30253 0 0 0 243705 10 0 0 20 0 15 0 121209309 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140122367438656 140121986485747 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13980732 memory=271004 CPUtime=2.64 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 4957 0 0 0 244 20 0 0 20 0 15 0 121209310 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13980732 memory=271004 CPUtime=2.64 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 6272 0 0 0 243 21 0 0 20 0 15 0 121209310 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13980732 memory=271004 CPUtime=2.65 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 5315 0 0 0 245 20 0 0 20 0 15 0 121209310 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13980732 memory=271004 CPUtime=2.64 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 6148 0 0 0 245 19 0 0 20 0 15 0 121209310 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=271004 CPUtime=1.42 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 6271 0 0 0 130 12 0 0 20 0 15 0 121209311 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=271004 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13980732 memory=271004 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13980732 memory=271004 CPUtime=2 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 14393 0 0 0 198 2 0 0 20 0 15 0 121209314 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13980732 memory=1380 CPUtime=2.17 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) S 6498 6498 4674 0 -1 1077944384 15100 0 0 0 214 3 0 0 20 0 15 0 121209314 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13980732 memory=3762957136267391586 CPUtime=0.55 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) S 6498 6498 4674 0 -1 1077944384 8279 0 0 0 54 1 0 0 20 0 15 0 121209314 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13980732 memory=59048 CPUtime=0.75 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1442 0 0 0 33 42 0 0 20 0 15 0 121209320 14316269568 67751 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 2454.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 272384 KiB
[startup+2502.3 s]
/proc/loadavg: 1.18 1.32 1.45 3/217 6853
/proc/meminfo: memFree=31184440/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13980732 memory=269040 CPUtime=2514.93 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 101184 0 0 0 251363 130 0 0 20 0 15 0 121209309 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3495183 67260 3250 1 0 3483476 0
[pid=6500/tid=6501] ppid=6498 vsize=13980732 memory=1380 CPUtime=2497 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 30707 0 0 0 249690 10 0 0 20 0 15 0 121209309 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140122367438656 140121986485149 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13980732 memory=269040 CPUtime=2.71 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 5071 0 0 0 251 20 0 0 20 0 15 0 121209310 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13980732 memory=269040 CPUtime=2.73 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 6378 0 0 0 251 22 0 0 20 0 15 0 121209310 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13980732 memory=269040 CPUtime=2.73 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 5477 0 0 0 252 21 0 0 20 0 15 0 121209310 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13980732 memory=1380 CPUtime=2.71 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 6503 0 0 0 252 19 0 0 20 0 15 0 121209310 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 6447 0 0 0 134 13 0 0 20 0 15 0 121209311 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13980732 memory=269040 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13980732 memory=269040 CPUtime=2 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 14395 0 0 0 198 2 0 0 20 0 15 0 121209314 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13980732 memory=4148 CPUtime=2.17 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) S 6498 6498 4674 0 -1 1077944384 15102 0 0 0 214 3 0 0 20 0 15 0 121209314 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13980732 memory=302022848351043610 CPUtime=0.55 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) S 6498 6498 4674 0 -1 1077944384 8281 0 0 0 54 1 0 0 20 0 15 0 121209314 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13980732 memory=4148 CPUtime=0.77 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1461 0 0 0 33 44 0 0 20 0 15 0 121209320 14316269568 67260 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 2514.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.4 s]
/proc/loadavg: 1.09 1.30 1.45 3/217 6854
/proc/meminfo: memFree=31184192/32770624 swapFree=67108764/67108860
[pid=6498] ppid=6495 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6498/stat : 6498 (xcsp3-exec) S 6495 6498 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121209301 9740288 345 18446744073709551615 4194304 5098028 140722119616800 140722119614904 140067732091516 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 9027584 140722119618936 140722119619141 140722119619141 140722119622635 0
/proc/6498/statm: 2378 345 289 221 0 87 0
[pid=6500] ppid=6498 vsize=13980732 memory=268780 CPUtime=2520.07 cores=0,2,4,6
/proc/6500/stat : 6500 (java) S 6498 6498 4674 0 -1 1077944320 101200 0 0 0 251876 131 0 0 20 0 15 0 121209309 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140731615926240 140122363199223 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
/proc/6500/statm: 3495183 67195 3250 1 0 3483476 0
[pid=6500/tid=6501] ppid=6498 vsize=13980732 memory=984 CPUtime=2502.09 cores=0,2,4,6
/proc/6500/task/6501/stat : 6501 (java) R 6498 6498 4674 0 -1 4202560 30715 0 0 0 250199 10 0 0 20 0 15 0 121209309 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140122367438784 140121986485774 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6502] ppid=6498 vsize=13980732 memory=1728 CPUtime=2.72 cores=0,2,4,6
/proc/6500/task/6502/stat : 6502 (java) S 6498 6498 4674 0 -1 1077944384 5071 0 0 0 252 20 0 0 20 0 15 0 121209310 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140122305145488 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6503] ppid=6498 vsize=13980732 memory=4572 CPUtime=2.74 cores=0,2,4,6
/proc/6500/task/6503/stat : 6503 (java) S 6498 6498 4674 0 -1 1077944384 6378 0 0 0 252 22 0 0 20 0 15 0 121209310 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140122304092688 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6504] ppid=6498 vsize=13980732 memory=1444 CPUtime=2.74 cores=0,2,4,6
/proc/6500/task/6504/stat : 6504 (java) S 6498 6498 4674 0 -1 1077944384 5480 0 0 0 253 21 0 0 20 0 15 0 121209310 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140122303039888 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6505] ppid=6498 vsize=13980732 memory=12304 CPUtime=2.72 cores=0,2,4,6
/proc/6500/task/6505/stat : 6505 (java) S 6498 6498 4674 0 -1 1077944384 6504 0 0 0 253 19 0 0 20 0 15 0 121209310 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121960093968 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6506] ppid=6498 vsize=13980732 memory=7680170660397595203 CPUtime=1.48 cores=0,2,4,6
/proc/6500/task/6506/stat : 6506 (java) S 6498 6498 4674 0 -1 1077944384 6449 0 0 0 135 13 0 0 20 0 15 0 121209311 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121908915056 140122363210370 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6507] ppid=6498 vsize=13980732 memory=12304 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6507/stat : 6507 (java) S 6498 6498 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121907861024 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6508] ppid=6498 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6508/stat : 6508 (java) S 6498 6498 4674 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121209312 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121906808176 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6509] ppid=6498 vsize=13980732 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6509/stat : 6509 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209314 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121905756496 140122363217819 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6510] ppid=6498 vsize=13980732 memory=796 CPUtime=2 cores=0,2,4,6
/proc/6500/task/6510/stat : 6510 (java) S 6498 6498 4674 0 -1 1077944384 14395 0 0 0 198 2 0 0 20 0 15 0 121209314 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121904703856 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6511] ppid=6498 vsize=13980732 memory=984 CPUtime=2.17 cores=0,2,4,6
/proc/6500/task/6511/stat : 6511 (java) S 6498 6498 4674 0 -1 1077944384 15102 0 0 0 214 3 0 0 20 0 15 0 121209314 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121903651056 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6512] ppid=6498 vsize=13980732 memory=1728 CPUtime=0.55 cores=0,2,4,6
/proc/6500/task/6512/stat : 6512 (java) S 6498 6498 4674 0 -1 1077944384 8281 0 0 0 54 1 0 0 20 0 15 0 121209314 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121902598256 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6513] ppid=6498 vsize=13980732 memory=4572 CPUtime=0 cores=0,2,4,6
/proc/6500/task/6513/stat : 6513 (java) S 6498 6498 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121209315 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121901545696 140122363209429 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
[pid=6500/tid=6514] ppid=6498 vsize=13980732 memory=1444 CPUtime=0.77 cores=0,2,4,6
/proc/6500/task/6514/stat : 6514 (java) S 6498 6498 4674 0 -1 1077944384 1463 0 0 0 33 44 0 0 20 0 15 0 121209320 14316269568 67195 18446744073709551615 4194304 4196468 140731615943696 140121900494000 140122363210370 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20467712 140731615945137 140731615945313 140731615945313 140731615948751 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 270160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.41 s]
# the end of solver process 6498 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.77 s, system=1.31781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2507.41
CPU time (s): 2520.09
CPU user time (s): 2518.77
CPU system time (s): 1.31781
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 476476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.77
system time used= 1.31781
maximum resident set size= 475096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96006
involuntary context switches= 6845
# summary of solver processes directly reported to runsolver:
# pid: 6498
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.77
# total CPU system time (s): 1.31781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1398 second user time and 24.1793 second system time
The end