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 (4504 MiB free)
memory of node 1: 16384 MiB (2415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403993-1568991071/watcher-4403993-1568991071 -o /var/tmp/evaluation-result-4403993-1568991071/solver-4403993-1568991071 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1685137270 HOME/instance-4403993-1568991071.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10155, runsolver pid=10152
Current StackSize limit: 8192 KiB
[startup+0.102604 s]*
/proc/loadavg: 7.34 6.24 3.68 6/234 10171
/proc/meminfo: memFree=7069636/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15144776 memory=30384 CPUtime=0.13 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 5511 0 0 0 12 1 0 0 20 0 15 0 475379653 15508250624 7596 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3786194 7596 3149 1 0 3748377 0
[pid=10157/tid=10158] ppid=10155 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) R 10155 10155 7201 0 -1 4202560 3390 0 0 0 9 0 0 0 20 0 15 0 475379653 15508250624 7596 33554432000 4194304 4196468 140723228468912 140048521017552 140048516799894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 7596 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 7596 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 7596 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 7596 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379655 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379656 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047984440992 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379656 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047983387888 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) R 10155 10155 7201 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047981283568 140048496003888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) R 10155 10155 7201 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047980231024 140048516799106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0.02 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) S 10155 10155 7201 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047979177968 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 7596 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31836 KiB
[startup+0.213248 s]*
/proc/loadavg: 7.34 6.24 3.68 6/234 10171
/proc/meminfo: memFree=7056928/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15144776 memory=41404 CPUtime=0.34 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 9046 0 0 0 32 2 0 0 20 0 15 0 475379653 15508250624 10351 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3786194 10351 3299 1 0 3748377 0
[pid=10157/tid=10158] ppid=10155 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) R 10155 10155 7201 0 -1 4202560 6207 0 0 0 19 1 0 0 20 0 15 0 475379653 15508250624 10351 33554432000 4194304 4196468 140723228468912 140048521022944 140048516809789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 10351 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15144776 memory=3617992250869687968 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 10351 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 10351 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379654 15508250624 10351 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379655 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379656 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047984440992 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379656 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047983387888 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) S 10155 10155 7201 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047981283568 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) S 10155 10155 7201 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047980231024 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15144776 memory=140292157089408 CPUtime=0.08 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) R 10155 10155 7201 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047979177968 140048503112376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379659 15508250624 10351 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42856 KiB
[startup+0.320723 s]*
/proc/loadavg: 7.34 6.24 3.68 7/234 10171
/proc/meminfo: memFree=7050164/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15149032 memory=50392 CPUtime=0.54 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 10545 0 0 0 51 3 0 0 20 0 15 0 475379653 15512608768 12598 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3787258 12598 3358 1 0 3748377 0
[pid=10157/tid=10158] ppid=10155 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) R 10155 10155 7201 0 -1 4202560 7554 0 0 0 29 2 0 0 20 0 15 0 475379653 15512608768 12598 33554432000 4194304 4196468 140723228468912 140048521022800 140048500868446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15512608768 12598 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15149032 memory=3566264 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15512608768 12598 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15512608768 12598 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379654 15512608768 12598 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379655 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379656 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047984440992 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379656 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047983387888 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) S 10155 10155 7201 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047981283568 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) S 10155 10155 7201 0 -1 1077944384 456 0 0 0 5 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047980231024 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) S 10155 10155 7201 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047979177968 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379659 15512608768 12598 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51844 KiB
[startup+0.701746 s]
/proc/loadavg: 7.34 6.24 3.68 9/234 10171
/proc/meminfo: memFree=7033108/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15151156 memory=86736 CPUtime=1.64 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 14299 0 0 0 160 4 0 0 20 0 15 0 475379653 15514783744 21684 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3787789 21684 3457 1 0 3748889 0
[pid=10157/tid=10158] ppid=10155 vsize=15151156 memory=12328 CPUtime=0.67 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) R 10155 10155 7201 0 -1 4202560 8651 0 0 0 64 3 0 0 20 0 15 0 475379653 15514783744 21684 33554432000 4194304 4196468 140723228468912 140048521023216 140048157980358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15514783744 21684 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15514783744 21684 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379654 15514783744 21684 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475379654 15514783744 21684 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475379655 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047984440992 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047983387888 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15151156 memory=836 CPUtime=0.28 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) R 10155 10155 7201 0 -1 4202560 1268 0 0 0 28 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047981282704 140048502811835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15151156 memory=1760 CPUtime=0.27 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) R 10155 10155 7201 0 -1 4202560 1095 0 0 0 27 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047980222480 140048501709896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15151156 memory=111632 CPUtime=0.4 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) R 10155 10155 7201 0 -1 4202560 1977 0 0 0 40 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047979177968 140048516809306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 21684 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88188 KiB
[startup+1.50092 s]
/proc/loadavg: 7.34 6.24 3.68 10/234 10171
/proc/meminfo: memFree=6937172/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 475379655 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047985493280 140048516798165 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15151156 memory=7373348440955310160 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047984440992 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15151156 memory=4638803691395305571 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047983387888 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15151156 memory=5859271421085237344 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15151156 memory=2280660 CPUtime=0.95 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) D 10155 10155 7201 0 -1 4202560 4244 0 0 0 95 0 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047981269448 140048509505111 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15151156 memory=2241 CPUtime=0.93 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) R 10155 10155 7201 0 -1 4202560 4517 0 0 0 92 1 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047980216488 140048501717429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15151156 memory=2244 CPUtime=0.59 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) S 10155 10155 7201 0 -1 1077944384 3776 0 0 0 58 1 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047979177968 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15151156 memory=11330123729380 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 71032 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 285580 KiB
[startup+2.88773 s]
# the end of solver process 10155 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.56884 s, system=0.340253 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 7.34 6.24 3.68 10/234 10171
/proc/meminfo: memFree=6937172/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15151156 memory=303812 CPUtime=4.38 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 25413 0 0 0 423 15 0 0 20 0 15 0 475379653 15514783744 75953 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3787789 75953 3499 1 0 3748889 0
[pid=10157/tid=10158] ppid=10155 vsize=15151156 memory=5938084642313312675 CPUtime=1.46 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) R 10155 10155 7201 0 -1 4202560 9868 0 0 0 141 5 0 0 20 0 15 0 475379653 15514783744 75953 33554432000 4194304 4196468 140723228468912 140048521021344 140048158555563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15151156 memory=5802139668558486693 CPUtime=0.07 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 297 0 0 0 6 1 0 0 20 0 15 0 475379654 15514783744 75953 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15151156 memory=5789766897624967014 CPUtime=0.06 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 170 0 0 0 5 1 0 0 20 0 15 0 475379654 15514783744 75953 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15151156 memory=6154003308696134757 CPUtime=0.06 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 431 0 0 0 5 1 0 0 20 0 15 0 475379654 15514783744 75953 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15151156 memory=5788622413446472020 CPUtime=0.06 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 264 0 0 0 5 1 0 0 20 0 15 0 475379654 15514783744 75953 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15151156 memory=7234858341500545897 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 15 0 475379655 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15151156 memory=4951091520830867572 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047984441056 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15151156 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 475379656 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047983387904 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15151156 memory=-7533511066042275164 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15151156 memory=8475934422797934688 CPUtime=1.01 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) R 10155 10155 7201 0 -1 4202560 4371 0 0 0 101 0 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047981283568 140048495977408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15151156 memory=34401 CPUtime=0.99 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) R 10155 10155 7201 0 -1 4202560 4656 0 0 0 98 1 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047980231024 140048500288165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15151156 memory=4420 CPUtime=0.59 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) S 10155 10155 7201 0 -1 1077944384 3776 0 0 0 58 1 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047979177968 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15151156 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15151156 memory=6692 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475379659 15514783744 75953 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 305264 KiB
[startup+2.40077 s]
/proc/loadavg: 7.34 6.24 3.68 9/238 10228
/proc/meminfo: memFree=6753348/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15487052 memory=463836 CPUtime=7.22 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 31073 0 0 0 694 28 0 0 20 0 18 0 475379653 15858741248 115959 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3871763 115959 3515 1 0 3832863 0
[pid=10157/tid=10158] ppid=10155 vsize=15487052 memory=6943526294502006880 CPUtime=1.53 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) S 10155 10155 7201 0 -1 1077944384 10094 0 0 0 148 5 0 0 20 0 18 0 475379653 15858741248 115959 33554432000 4194304 4196468 140723228468912 140048521028736 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15487052 memory=5495680832962010268 CPUtime=0.13 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) R 10155 10155 7201 0 -1 4202560 334 0 0 0 9 4 0 0 20 0 18 0 475379654 15858741248 115959 33554432000 4194304 4196468 140723228468912 140048109251088 140048509891436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15487052 memory=288230574492221466 CPUtime=0.11 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) R 10155 10155 7201 0 -1 4202560 209 0 0 0 8 3 0 0 20 0 18 0 475379654 15858741248 115959 33554432000 4194304 4196468 140723228468912 140048108198544 140048501815833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15487052 memory=288230596050944315 CPUtime=0.11 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) R 10155 10155 7201 0 -1 4202560 469 0 0 0 7 4 0 0 20 0 18 0 475379654 15858741248 115959 33554432000 4194304 4196468 140723228468912 140048107145688 140048501815833 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15487052 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) R 10155 10155 7201 0 -1 4202560 308 0 0 0 7 4 0 0 20 0 18 0 475379654 15858741248 115959 33554432000 4194304 4196468 140723228468912 140048106093144 140048501815833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15487052 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 18 0 475379655 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047985493280 140048516798165 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15487052 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 18 0 475379656 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047984441056 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15487052 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 18 0 475379656 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047983387904 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15487052 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15487052 memory=13252 CPUtime=1.62 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) S 10155 10155 7201 0 -1 1077944384 4817 0 0 0 162 0 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047981274672 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15487052 memory=15460 CPUtime=1.57 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) S 10155 10155 7201 0 -1 1077944384 5109 0 0 0 156 1 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047980231024 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15487052 memory=17668 CPUtime=0.81 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) S 10155 10155 7201 0 -1 1077944384 4427 0 0 0 80 1 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047979177968 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15487052 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15487052 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 475379659 15858741248 115959 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 465288 KiB
[startup+2.80072 s]
/proc/loadavg: 7.34 6.24 3.68 9/238 10228
/proc/meminfo: memFree=6753348/32770624 swapFree=67021824/67108860
[pid=10155] ppid=10152 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10155/stat : 10155 (xcsp3-exec) S 10152 10155 7201 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475379653 115843072 363 33554432000 4194304 5098028 140725363417168 140725363415272 140205280539260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 40116224 140725363426134 140725363426393 140725363426393 140725363429318 0
/proc/10155/statm: 28282 363 304 221 0 87 0
[pid=10157] ppid=10155 vsize=15487052 memory=579800 CPUtime=8.62 cores=0,2,4,6
/proc/10157/stat : 10157 (java) S 10155 10155 7201 0 -1 1077944320 34748 0 0 0 830 32 0 0 20 0 19 0 475379653 15858741248 144950 33554432000 4194304 4196468 140723228468912 140723228451456 140048516787959 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
/proc/10157/statm: 3871763 144950 3530 1 0 3832863 0
[pid=10157/tid=10158] ppid=10155 vsize=15487052 memory=10 CPUtime=1.54 cores=0,2,4,6
/proc/10157/task/10158/stat : 10158 (java) S 10155 10155 7201 0 -1 1077944384 10095 0 0 0 149 5 0 0 20 0 19 0 475379653 15858741248 144950 33554432000 4194304 4196468 140723228468912 140048521028736 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10159] ppid=10155 vsize=15487052 memory=10 CPUtime=0.13 cores=0,2,4,6
/proc/10157/task/10159/stat : 10159 (java) S 10155 10155 7201 0 -1 1077944384 432 0 0 0 9 4 0 0 20 0 19 0 475379654 15858741248 144950 33554432000 4194304 4196468 140723228468912 140048109251088 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10160] ppid=10155 vsize=15487052 memory=10 CPUtime=0.12 cores=0,2,4,6
/proc/10157/task/10160/stat : 10160 (java) S 10155 10155 7201 0 -1 1077944384 302 0 0 0 9 3 0 0 20 0 19 0 475379654 15858741248 144950 33554432000 4194304 4196468 140723228468912 140048108198544 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10161] ppid=10155 vsize=15487052 memory=56 CPUtime=0.13 cores=0,2,4,6
/proc/10157/task/10161/stat : 10161 (java) S 10155 10155 7201 0 -1 1077944384 976 0 0 0 9 4 0 0 20 0 19 0 475379654 15858741248 144950 33554432000 4194304 4196468 140723228468912 140048107145488 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10162] ppid=10155 vsize=15487052 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10157/task/10162/stat : 10162 (java) S 10155 10155 7201 0 -1 1077944384 389 0 0 0 9 4 0 0 20 0 19 0 475379654 15858741248 144950 33554432000 4194304 4196468 140723228468912 140048106092944 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10163] ppid=10155 vsize=15487052 memory=-1891255765032775953 CPUtime=0.01 cores=0,2,4,6
/proc/10157/task/10163/stat : 10163 (java) S 10155 10155 7201 0 -1 1077944384 703 0 0 0 1 0 0 0 20 0 19 0 475379655 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047985494768 140048516799106 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10164] ppid=10155 vsize=15487052 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10164/stat : 10164 (java) S 10155 10155 7201 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475379656 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047984441056 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10165] ppid=10155 vsize=15487052 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10165/stat : 10165 (java) S 10155 10155 7201 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475379656 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047983387904 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10166] ppid=10155 vsize=15487052 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10166/stat : 10166 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047982336464 140048516806555 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10167] ppid=10155 vsize=15487052 memory=-1751206657426859557 CPUtime=1.96 cores=0,2,4,6
/proc/10157/task/10167/stat : 10167 (java) R 10155 10155 7201 0 -1 4202560 5170 0 0 0 196 0 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047981276760 140048495204286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10168] ppid=10155 vsize=15487052 memory=-6237260532469557610 CPUtime=1.85 cores=0,2,4,6
/proc/10157/task/10168/stat : 10168 (java) R 10155 10155 7201 0 -1 4202560 5200 0 0 0 184 1 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047980220832 140048502803792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10169] ppid=10155 vsize=15487052 memory=-9001727377965607015 CPUtime=0.85 cores=0,2,4,6
/proc/10157/task/10169/stat : 10169 (java) R 10155 10155 7201 0 -1 1077944384 4553 0 0 0 84 1 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047979177752 140048516809149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10170] ppid=10155 vsize=15487052 memory=-7240599211820661557 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10170/stat : 10170 (java) S 10155 10155 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047978125664 140048516798165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
[pid=10157/tid=10171] ppid=10155 vsize=15487052 memory=140292157156273 CPUtime=0 cores=0,2,4,6
/proc/10157/task/10171/stat : 10171 (java) S 10155 10155 7201 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475379659 15858741248 144950 33554432000 4194304 4196468 140723228468912 140047977073712 140048516799106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29614080 140723228472283 140723228472458 140723228472458 140723228475343 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 581252 KiB
[startup+2.90079 s]*
/proc/loadavg: 7.34 6.24 3.68 6/219 10465
/proc/meminfo: memFree=7081816/32770624 swapFree=67021824/67108860
Current cumulated CPU time of completed processes: 8.90909 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.98942
CPU time (s): 8.90909
CPU user time (s): 8.56884
CPU system time (s): 0.340253
CPU usage (%): 298.021
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 581252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.56884
system time used= 0.340253
maximum resident set size= 580868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4422
involuntary context switches= 144
# summary of solver processes directly reported to runsolver:
# pid: 10155
# total CPU time (s): 8.90909
# total CPU user time (s): 8.56884
# total CPU system time (s): 0.340253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042569 second user time and 0.080881 second system time
The end