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 (15347 MiB free)
memory of node 1: 16384 MiB (15302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255286-1502643607/watcher-4255286-1502643607 -o /tmp/evaluation-result-4255286-1502643607/solver-4255286-1502643607 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27768 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 991341677 HOME/instance-4255286-1502643607.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28155, runsolver pid=28152
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 2.20 1.82 1.69 3/205 28162
/proc/meminfo: memFree=31378312/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13574484 memory=16408 CPUtime=0.02 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 3937 0 0 0 1 1 0 0 20 0 9 0 164013457 13900271616 4102 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3393621 4102 2064 1 0 3383118 0
[pid=28157/tid=28158] ppid=28155 vsize=13574484 memory=-8713483618642983523 CPUtime=0.01 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 2641 0 0 0 1 0 0 0 20 0 9 0 164013457 13900271616 4102 18446744073709551615 4194304 4196468 140725445614304 139837915026576 139837894866270 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164013458 13900271616 4102 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13574484 memory=139835133138560 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164013458 13900271616 4102 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164013458 13900271616 4614 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164013458 13900271616 4614 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13574484 memory=139835133138560 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164013460 13900271616 4614 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 164013460 13900271616 4614 18446744073709551615 4194304 4196468 140725445614304 139837388052128 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 164013460 13900271616 4614 18446744073709551615 4194304 4196468 140725445614304 139837386999088 139837910795989 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17788 KiB
[startup+0.210092 s]*
/proc/loadavg: 2.20 1.82 1.69 3/214 28171
/proc/meminfo: memFree=31369292/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13974352 memory=27160 CPUtime=0.1 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 5200 0 0 0 9 1 0 0 20 0 15 0 164013457 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3493588 6790 2747 1 0 3482964 0
[pid=28157/tid=28158] ppid=28155 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 3350 0 0 0 7 1 0 0 20 0 15 0 164013457 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837914998960 139837910807709 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13974352 memory=8005 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13974352 memory=4123520873509688992 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13974352 memory=139835133138560 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837388052128 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837386999024 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) S 28155 28155 7084 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13974352 memory=139835133138560 CPUtime=0.01 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) S 28155 28155 7084 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 164013463 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13974352 memory=139835133138560 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013468 14309736448 6790 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28540 KiB
[startup+0.310358 s]*
/proc/loadavg: 2.20 1.82 1.69 4/214 28171
/proc/meminfo: memFree=31358208/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13974352 memory=39456 CPUtime=0.29 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 8942 0 0 0 26 3 0 0 20 0 15 0 164013457 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3493588 9864 3002 1 0 3482964 0
[pid=28157/tid=28158] ppid=28155 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 6107 0 0 0 16 2 0 0 20 0 15 0 164013457 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837915023840 139837903463797 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164013458 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837388052128 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164013460 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837386999024 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) R 28155 28155 7084 0 -1 4202560 710 0 0 0 2 0 0 0 20 0 15 0 164013463 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837896849156 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) R 28155 28155 7084 0 -1 4202560 90 0 0 0 2 0 0 0 20 0 15 0 164013463 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837383841344 139837891282800 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) R 28155 28155 7084 0 -1 1077944384 740 0 0 0 6 0 0 0 20 0 15 0 164013463 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013468 14309736448 9864 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40836 KiB
[startup+0.70075 s]
/proc/loadavg: 2.20 1.82 1.69 4/214 28171
/proc/meminfo: memFree=31345528/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13980732 memory=68060 CPUtime=1.16 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 13815 0 0 0 111 5 0 0 20 0 15 0 164013457 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3495183 17015 3173 1 0 3483476 0
[pid=28157/tid=28158] ppid=28155 vsize=13980732 memory=116 CPUtime=0.56 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 8929 0 0 0 52 4 0 0 20 0 15 0 164013457 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837915025280 139837892349339 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13980732 memory=11368 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13980732 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13980732 memory=4600 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164013458 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164013460 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13980732 memory=8320808402720075830 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164013460 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837388052128 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13980732 memory=5861265965526962256 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164013460 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837386999024 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13980732 memory=5787776803188794432 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13980732 memory=8328137078511476104 CPUtime=0.15 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) R 28155 28155 7084 0 -1 4202560 1296 0 0 0 15 0 0 0 20 0 15 0 164013463 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837892307132 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13980732 memory=-8412656567318647667 CPUtime=0.14 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) R 28155 28155 7084 0 -1 1077944384 729 0 0 0 14 0 0 0 20 0 15 0 164013463 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) R 28155 28155 7084 0 -1 4202560 1557 0 0 0 30 0 0 0 20 0 15 0 164013463 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837903022910 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013468 14316269568 17015 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69440 KiB
[startup+1.5008 s]
/proc/loadavg: 2.20 1.82 1.69 7/214 28171
/proc/meminfo: memFree=31308420/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13983560 memory=128860 CPUtime=3.65 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 41746 0 0 0 355 10 0 0 20 0 15 0 164013457 14319165440 32215 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3495890 32215 3192 1 0 3484183 0
[pid=28157/tid=28158] ppid=28155 vsize=13983560 memory=6944656592455097440 CPUtime=1.35 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 9759 0 0 0 131 4 0 0 20 0 15 0 164013457 14319165440 32215 18446744073709551615 4194304 4196468 140725445614304 139837915021944 139837512423616 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13983560 memory=8161 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14319165440 32215 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13983560 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14319165440 32215 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13983560 memory=7521995004687799001 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164013458 14319165440 32215 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13983560 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837388052192 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837386999040 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13983936 memory=1380 CPUtime=11.04 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) S 28155 28155 7084 0 -1 1077944384 55899 0 0 0 1098 6 0 0 20 0 15 0 164013463 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13983936 memory=1380 CPUtime=11.26 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) S 28155 28155 7084 0 -1 1077944384 62868 0 0 0 1119 7 0 0 20 0 15 0 164013463 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13983936 memory=1380 CPUtime=0.96 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) S 28155 28155 7084 0 -1 1077944384 12543 0 0 0 94 2 0 0 20 0 15 0 164013463 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13983936 memory=357472 CPUtime=0.05 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1603 0 0 0 2 3 0 0 20 0 15 0 164013468 14319550464 90136 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 187.08 s
Current children cumulated vsize: 13993448 KiB
Current children cumulated memory: 361924 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.86 1.73 2/194 28249
/proc/meminfo: memFree=31242656/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13983936 memory=466044 CPUtime=248.3 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 162836 0 0 0 24773 57 0 0 20 0 15 0 164013457 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3495984 116511 3247 1 0 3484277 0
[pid=28157/tid=28158] ppid=28155 vsize=13983936 memory=1380 CPUtime=221.11 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 18587 0 0 0 22104 7 0 0 20 0 15 0 164013457 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837915025232 139837509295571 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13983936 memory=461948 CPUtime=0.89 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1047 0 0 0 81 8 0 0 20 0 15 0 164013458 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13983936 memory=459900 CPUtime=0.88 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 2290 0 0 0 81 7 0 0 20 0 15 0 164013458 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13983936 memory=455804 CPUtime=0.88 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1182 0 0 0 81 7 0 0 20 0 15 0 164013458 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13983936 memory=457852 CPUtime=0.88 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 1100 0 0 0 81 7 0 0 20 0 15 0 164013458 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13983936 memory=461948 CPUtime=0.09 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 1483 0 0 0 8 1 0 0 20 0 15 0 164013460 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837388052192 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13983936 memory=461948 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837386999040 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13983936 memory=1380 CPUtime=11.1 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) S 28155 28155 7084 0 -1 1077944384 57134 0 0 0 1104 6 0 0 20 0 15 0 164013463 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13983936 memory=1380 CPUtime=11.34 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) S 28155 28155 7084 0 -1 1077944384 63945 0 0 0 1127 7 0 0 20 0 15 0 164013463 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13983936 memory=4156 CPUtime=0.97 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) S 28155 28155 7084 0 -1 1077944384 13075 0 0 0 95 2 0 0 20 0 15 0 164013463 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13983936 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13983936 memory=69248 CPUtime=0.07 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1641 0 0 0 3 4 0 0 20 0 15 0 164013468 14319550464 116511 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 248.3 s
Current children cumulated vsize: 13993448 KiB
Current children cumulated memory: 467424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+226.001 s]*
/proc/loadavg: 2.19 1.91 1.75 5/215 28279
/proc/meminfo: memFree=31034324/32770624 swapFree=67108776/67108860
[pid=28155] ppid=28152 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28155/stat : 28155 (xcsp3-exec) S 28152 28155 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164013449 9740288 345 18446744073709551615 4194304 5098028 140730798829280 140730798827384 139669258183292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 17403904 140730798834047 140730798834250 140730798834250 140730798837739 0
/proc/28155/statm: 2378 345 289 221 0 87 0
[pid=28157] ppid=28155 vsize=13983936 memory=472360 CPUtime=252.08 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28155 28155 7084 0 -1 1077944320 164565 0 0 0 25150 58 0 0 20 0 15 0 164013457 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3495984 118090 3247 1 0 3484277 0
[pid=28157/tid=28158] ppid=28155 vsize=13983936 memory=-8774313645642428999 CPUtime=224.8 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) R 28155 28155 7084 0 -1 4202560 19249 0 0 0 22473 7 0 0 20 0 15 0 164013457 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837915025520 139837517282653 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28155 vsize=13983936 memory=39928 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28155 28155 7084 0 -1 1077944384 1098 0 0 0 82 8 0 0 20 0 15 0 164013458 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28155 vsize=13983936 memory=636 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28155 28155 7084 0 -1 1077944384 2357 0 0 0 83 7 0 0 20 0 15 0 164013458 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28155 vsize=13983936 memory=-8774313645642428999 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28155 28155 7084 0 -1 1077944384 1416 0 0 0 83 7 0 0 20 0 15 0 164013458 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28155 vsize=13983936 memory=1196 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28155 28155 7084 0 -1 1077944384 1564 0 0 0 83 7 0 0 20 0 15 0 164013458 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28155 vsize=13983936 memory=15884 CPUtime=0.09 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) S 28155 28155 7084 0 -1 1077944384 1717 0 0 0 8 1 0 0 20 0 15 0 164013460 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837389105904 139837910796930 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28155 vsize=13983936 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28155 28155 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837388052192 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28155 vsize=13983936 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28155 28155 7084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 164013460 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837386999040 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28155 vsize=13983936 memory=-8341965534556230502 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837385947600 139837910804379 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28155 vsize=13983936 memory=-6520471753822164382 CPUtime=11.1 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) S 28155 28155 7084 0 -1 1077944384 57134 0 0 0 1104 6 0 0 20 0 15 0 164013463 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28155 vsize=13983936 memory=8514701219730522529 CPUtime=11.34 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) S 28155 28155 7084 0 -1 1077944384 63945 0 0 0 1127 7 0 0 20 0 15 0 164013463 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28155 vsize=13983936 memory=7440056984007045732 CPUtime=0.97 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) S 28155 28155 7084 0 -1 1077944384 13075 0 0 0 95 2 0 0 20 0 15 0 164013463 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28155 vsize=13983936 memory=7440056984007045732 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28155 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28171] ppid=28155 vsize=13983936 memory=7440056984007045732 CPUtime=0.08 cores=0,2,4,6
/proc/28157/task/28171/stat : 28171 (java) S 28155 28155 7084 0 -1 1077944384 1658 0 0 0 4 4 0 0 20 0 15 0 164013468 14319550464 118090 18446744073709551615 4194304 4196468 140725445614304 139837380684848 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 13993448 KiB
Current children cumulated memory: 473740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+226.02 s]
# the end of solver process 28155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000868 s, system=0.001278 s
[startup+226.225 s]
# the end of solver process 28157 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.51 s, system=0.604781 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+226.21 s]
/proc/loadavg: 2.19 1.91 1.75 3/214 28281
/proc/meminfo: memFree=31030740/32770624 swapFree=67108776/67108860
[pid=28157] ppid=28152 vsize=14117064 memory=472552 CPUtime=252.08 cores=0,2,4,6
/proc/28157/stat : 28157 (java) S 28152 28155 7084 0 -1 1077944320 165084 0 0 0 25150 58 0 0 20 0 15 0 164013457 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 140725445596848 139837910785783 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
/proc/28157/statm: 3529266 118138 3249 1 0 3517559 0
[pid=28157/tid=28158] ppid=28152 vsize=14117064 memory=288230621803970871 CPUtime=224.8 cores=0,2,4,6
/proc/28157/task/28158/stat : 28158 (java) S 28152 28155 7084 0 -1 1077944384 19253 0 0 0 22473 7 0 0 20 0 15 0 164013457 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837915022352 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28159] ppid=28152 vsize=14117064 memory=13563786715989427 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28159/stat : 28159 (java) S 28152 28155 7084 0 -1 1077944384 1098 0 0 0 82 8 0 0 20 0 15 0 164013458 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837830199824 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28160] ppid=28152 vsize=14117064 memory=16444 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28160/stat : 28160 (java) S 28152 28155 7084 0 -1 1077944384 2357 0 0 0 83 7 0 0 20 0 15 0 164013458 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837829147280 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28161] ppid=28152 vsize=14117064 memory=4072 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28161/stat : 28161 (java) S 28152 28155 7084 0 -1 1077944384 1416 0 0 0 83 7 0 0 20 0 15 0 164013458 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837828094224 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28162] ppid=28152 vsize=14117064 memory=-8774313645642428999 CPUtime=0.9 cores=0,2,4,6
/proc/28157/task/28162/stat : 28162 (java) S 28152 28155 7084 0 -1 1077944384 1564 0 0 0 83 7 0 0 20 0 15 0 164013458 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837508151696 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28163] ppid=28152 vsize=14117064 memory=2756 CPUtime=0.09 cores=0,2,4,6
/proc/28157/task/28163/stat : 28163 (java) D 28152 28155 7084 0 -1 4202560 1725 0 0 0 8 1 0 0 20 0 15 0 164013460 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837389105848 139837903471415 0 0 1 16800974 18446744072100990085 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28164] ppid=28152 vsize=14117064 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28164/stat : 28164 (java) S 28152 28155 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 164013460 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837388052192 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28165] ppid=28152 vsize=14117064 memory=3020 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28165/stat : 28165 (java) S 28152 28155 7084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 164013460 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837386999040 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28166] ppid=28152 vsize=14117064 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28166/stat : 28166 (java) S 28152 28155 7084 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 164013463 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837385947248 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28167] ppid=28152 vsize=14117064 memory=461948 CPUtime=11.1 cores=0,2,4,6
/proc/28157/task/28167/stat : 28167 (java) S 28152 28155 7084 0 -1 1077944384 57134 0 0 0 1104 6 0 0 20 0 15 0 164013463 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837384894704 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28168] ppid=28152 vsize=14117064 memory=116 CPUtime=11.34 cores=0,2,4,6
/proc/28157/task/28168/stat : 28168 (java) S 28152 28155 7084 0 -1 1077944384 63945 0 0 0 1127 7 0 0 20 0 15 0 164013463 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837383842160 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28169] ppid=28152 vsize=14117064 memory=83 CPUtime=0.97 cores=0,2,4,6
/proc/28157/task/28169/stat : 28169 (java) S 28152 28155 7084 0 -1 1077944384 13075 0 0 0 95 2 0 0 20 0 15 0 164013463 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837382789104 139837910796930 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28170] ppid=28152 vsize=14117064 memory=84 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28170/stat : 28170 (java) S 28152 28155 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164013463 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837381736800 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
[pid=28157/tid=28280] ppid=28152 vsize=14117064 memory=8244232117080188775 CPUtime=0 cores=0,2,4,6
/proc/28157/task/28280/stat : 28280 (java) S 28152 28155 7084 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 164036051 14455873536 118138 18446744073709551615 4194304 4196468 140725445614304 139837372679024 139837910795989 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19824640 140725445616055 140725445616230 140725445616230 140725445619663 0
Current cumulated CPU time of completed processes: 0.002146 s
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 14117064 KiB
Current children cumulated memory: 472552 KiB
Child status: 143
Real time (s): 226.225
CPU time (s): 252.115
CPU user time (s): 251.51
CPU system time (s): 0.604781
CPU usage (%): 111.444
Max. virtual memory (cumulated for all children) (KiB): 14117064
Max. memory (cumulated for all children) (KiB): 473740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.51
system time used= 0.604781
maximum resident set size= 472928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10761
involuntary context switches= 554
# summary of solver processes directly reported to runsolver:
# pid: 28155,28157
# total CPU time (s): 252.115
# total CPU user time (s): 251.51
# total CPU system time (s): 0.604781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32125 second user time and 2.3411 second system time
The end