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 (15176 MiB free)
memory of node 1: 16384 MiB (15604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269787-1502672483/watcher-4269787-1502672483 -o /tmp/evaluation-result-4269787-1502672483/solver-4269787-1502672483 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 658196118 HOME/instance-4269787-1502672483.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28046, runsolver pid=28043
Current StackSize limit: 8192 KiB
[startup+0.10591 s]*
/proc/loadavg: 2.00 2.01 2.05 3/211 28057
/proc/meminfo: memFree=31510024/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
[pid=28048] ppid=28046 vsize=13907304 memory=20400 CPUtime=0.05 cores=1,3,5,7
/proc/28048/stat : 28048 (java) S 28046 28046 4674 0 -1 1077944320 4549 0 0 0 4 1 0 0 20 0 14 0 114754769 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140727113454928 140401077092087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
/proc/28048/statm: 3476826 5100 2556 1 0 3466323 0
[pid=28048/tid=28049] ppid=28046 vsize=13907304 memory=-8713483618642983003 CPUtime=0.04 cores=1,3,5,7
/proc/28048/task/28049/stat : 28049 (java) D 28046 28046 4674 0 -1 4202560 2724 0 0 0 3 1 0 0 20 0 14 0 114754769 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140401081329568 140401077114109 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28050] ppid=28046 vsize=13907304 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28050/stat : 28050 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 114754770 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140401011526800 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28051] ppid=28046 vsize=13907304 memory=140179209193088 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28051/stat : 28051 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 114754770 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140401010474000 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28052] ppid=28046 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28052/stat : 28052 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 114754770 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140401009421200 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28053] ppid=28046 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28053/stat : 28053 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 114754770 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140401008368400 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28054] ppid=28046 vsize=13907304 memory=140179209193088 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28054/stat : 28054 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 114754772 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400577841520 140401077103234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28055] ppid=28046 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28055/stat : 28055 (java) S 28046 28046 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 114754772 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400576787488 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28056] ppid=28046 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28056/stat : 28056 (java) S 28046 28046 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 114754772 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400575734640 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28057] ppid=28046 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28057/stat : 28057 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 114754775 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400574682960 140401077110683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28058] ppid=28046 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28058/stat : 28058 (java) S 28046 28046 4674 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 14 0 114754775 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400573631344 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28059] ppid=28046 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28059/stat : 28059 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 114754775 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400572578544 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28060] ppid=28046 vsize=13907304 memory=140179209193088 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28060/stat : 28060 (java) S 28046 28046 4674 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 114754775 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400571525744 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28061] ppid=28046 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28061/stat : 28061 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 114754775 14241079296 5100 18446744073709551615 4194304 4196468 140727113472384 140400570473184 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21780 KiB
[startup+0.21358 s]*
/proc/loadavg: 2.00 2.01 2.05 3/216 28062
/proc/meminfo: memFree=31501676/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
[pid=28048] ppid=28046 vsize=13974352 memory=30004 CPUtime=0.16 cores=1,3,5,7
/proc/28048/stat : 28048 (java) S 28046 28046 4674 0 -1 1077944320 5399 0 0 0 14 2 0 0 20 0 15 0 114754769 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140727113454928 140401077092087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
/proc/28048/statm: 3493588 7501 2942 1 0 3482964 0
[pid=28048/tid=28049] ppid=28046 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=1,3,5,7
/proc/28048/task/28049/stat : 28049 (java) R 28046 28046 4674 0 -1 4202560 3151 0 0 0 10 1 0 0 20 0 15 0 114754769 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140401081313360 140401069329214 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28050] ppid=28046 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28050/stat : 28050 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140401011526800 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28051] ppid=28046 vsize=13974352 memory=3474167233817347744 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28051/stat : 28051 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140401010474000 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28052] ppid=28046 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28052/stat : 28052 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754770 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140401009421200 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28053] ppid=28046 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28053/stat : 28053 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140401008368400 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28054] ppid=28046 vsize=13974352 memory=140179209193088 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28054/stat : 28054 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754772 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400577841520 140401077103234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28055] ppid=28046 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28055/stat : 28055 (java) S 28046 28046 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114754772 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400576787488 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28056] ppid=28046 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28056/stat : 28056 (java) S 28046 28046 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114754772 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400575734640 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28057] ppid=28046 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28057/stat : 28057 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400574682960 140401077110683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28058] ppid=28046 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28058/stat : 28058 (java) S 28046 28046 4674 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 15 0 114754775 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400573631344 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28059] ppid=28046 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28059/stat : 28059 (java) S 28046 28046 4674 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 114754775 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400572578544 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28060] ppid=28046 vsize=13974352 memory=140179209193088 CPUtime=0.02 cores=1,3,5,7
/proc/28048/task/28060/stat : 28060 (java) R 28046 28046 4674 0 -1 4202560 394 0 0 0 2 0 0 0 20 0 15 0 114754775 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400571521656 140401069329214 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28061] ppid=28046 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28061/stat : 28061 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400570473184 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28062] ppid=28046 vsize=13974352 memory=140179209193088 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28062/stat : 28062 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754780 14309736448 7501 18446744073709551615 4194304 4196468 140727113472384 140400569420464 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31384 KiB
[startup+0.317762 s]*
/proc/loadavg: 2.00 2.01 2.05 4/216 28062
/proc/meminfo: memFree=31489680/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
[pid=28048] ppid=28046 vsize=13978608 memory=40476 CPUtime=0.35 cores=1,3,5,7
/proc/28048/stat : 28048 (java) S 28046 28046 4674 0 -1 1077944320 9339 0 0 0 31 4 0 0 20 0 15 0 114754769 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140727113454928 140401077092087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
/proc/28048/statm: 3494652 10119 3011 1 0 3482964 0
[pid=28048/tid=28049] ppid=28046 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=1,3,5,7
/proc/28048/task/28049/stat : 28049 (java) R 28046 28046 4674 0 -1 4202560 6457 0 0 0 18 3 0 0 20 0 15 0 114754769 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140401081293888 140401061172574 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28050] ppid=28046 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28050/stat : 28050 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140401011526800 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28051] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28051/stat : 28051 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140401010474000 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28052] ppid=28046 vsize=13978608 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28052/stat : 28052 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754770 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140401009421200 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28053] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28053/stat : 28053 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140401008368400 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28054] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28054/stat : 28054 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754772 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400577841520 140401077103234 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28055] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28055/stat : 28055 (java) S 28046 28046 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114754772 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400576787488 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28056] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28056/stat : 28056 (java) S 28046 28046 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114754772 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400575734640 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28057] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28057/stat : 28057 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400574682960 140401077110683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28058] ppid=28046 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28048/task/28058/stat : 28058 (java) S 28046 28046 4674 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 114754775 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400573631344 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28059] ppid=28046 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28048/task/28059/stat : 28059 (java) S 28046 28046 4674 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 114754775 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400572578544 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28060] ppid=28046 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28048/task/28060/stat : 28060 (java) R 28046 28046 4674 0 -1 4202560 686 0 0 0 8 0 0 0 20 0 15 0 114754775 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400571525744 140401055716096 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28061] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28061/stat : 28061 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400570473184 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28062] ppid=28046 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28062/stat : 28062 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754780 14314094592 10119 18446744073709551615 4194304 4196468 140727113472384 140400569420464 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41856 KiB
[startup+0.701755 s]
/proc/loadavg: 2.00 2.01 2.05 7/216 28062
/proc/meminfo: memFree=31480524/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
[pid=28048] ppid=28046 vsize=13980732 memory=82768 CPUtime=1.32 cores=1,3,5,7
/proc/28048/stat : 28048 (java) S 28046 28046 4674 0 -1 1077944320 12891 0 0 0 126 6 0 0 20 0 15 0 114754769 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140727113454928 140401077092087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
/proc/28048/statm: 3495183 20692 3179 1 0 3483476 0
[pid=28048/tid=28049] ppid=28046 vsize=13980732 memory=2012 CPUtime=0.58 cores=1,3,5,7
/proc/28048/task/28049/stat : 28049 (java) R 28046 28046 4674 0 -1 4202560 7717 0 0 0 54 4 0 0 20 0 15 0 114754769 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140401081331200 140400689549685 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28050] ppid=28046 vsize=13980732 memory=11028 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28050/stat : 28050 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140401011526800 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28051] ppid=28046 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28051/stat : 28051 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140401010474000 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28052] ppid=28046 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28052/stat : 28052 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140401009421200 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28053] ppid=28046 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28053/stat : 28053 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140401008368400 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28054] ppid=28046 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28054/stat : 28054 (java) S 28046 28046 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400577841520 140401077103234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28055] ppid=28046 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28055/stat : 28055 (java) S 28046 28046 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400576787488 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28056] ppid=28046 vsize=13980732 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28056/stat : 28056 (java) S 28046 28046 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400575734640 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28057] ppid=28046 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28057/stat : 28057 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400574682960 140401077110683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28058] ppid=28046 vsize=13980732 memory=12304 CPUtime=0.21 cores=1,3,5,7
/proc/28048/task/28058/stat : 28058 (java) R 28046 28046 4674 0 -1 4202560 1316 0 0 0 21 0 0 0 20 0 15 0 114754775 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400573612360 140401056330496 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28059] ppid=28046 vsize=13980732 memory=1204 CPUtime=0.17 cores=1,3,5,7
/proc/28048/task/28059/stat : 28059 (java) R 28046 28046 4674 0 -1 4202560 919 0 0 0 17 0 0 0 20 0 15 0 114754775 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400572570496 140401061887459 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28060] ppid=28046 vsize=13980732 memory=7014751519600366929 CPUtime=0.33 cores=1,3,5,7
/proc/28048/task/28060/stat : 28060 (java) S 28046 28046 4674 0 -1 1077944384 1644 0 0 0 33 0 0 0 20 0 15 0 114754775 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400571525744 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28061] ppid=28046 vsize=13980732 memory=6081663135806416995 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28061/stat : 28061 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400570473184 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28062] ppid=28046 vsize=13980732 memory=52800 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28062/stat : 28062 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754780 14316269568 20692 18446744073709551615 4194304 4196468 140727113472384 140400569420464 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84148 KiB
[startup+1.50086 s]
/proc/loadavg: 2.00 2.01 2.05 5/216 28062
/proc/meminfo: memFree=31431396/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
[pid=28048] ppid=28046 vsize=13980732 memory=122532 CPUtime=3.79 cores=1,3,5,7
/proc/28048/stat : 28048 (java) S 28046 28046 4674 0 -1 1077944320 31625 0 0 0 371 8 0 0 20 0 15 0 114754769 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140727113454928 140401077092087 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
/proc/28048/statm: 3495183 30633 3188 1 0 3483476 0
[pid=28048/tid=28049] ppid=28046 vsize=13980732 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/28048/task/28049/stat : 28049 (java) R 28046 28046 4674 0 -1 4202560 8342 0 0 0 134 4 0 0 20 0 15 0 114754769 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140401081329096 140400689382102 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28050] ppid=28046 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28050/stat : 28050 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140401011526800 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28051] ppid=28046 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28051/stat : 28051 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140401010474000 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28052] ppid=28046 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28052/stat : 28052 (java) S 28046 28046 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140401009421200 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28053] ppid=28046 vsize=13980732 memory=140179075723072 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28053/stat : 28053 (java) S 28046 28046 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114754770 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140401008368400 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28054] ppid=28046 vsize=13980732 memory=6297272899246839396 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28054/stat : 28054 (java) S 28046 28046 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400577841520 140401077103234 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28055] ppid=28046 vsize=13980732 memory=6297272899246839396 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28055/stat : 28055 (java) S 28046 28046 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400576787488 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28056] ppid=28046 vsize=13980732 memory=6297272899246839396 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28056/stat : 28056 (java) S 28046 28046 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114754772 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400575734640 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28057] ppid=28046 vsize=13980732 memory=5793435989469648484 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28057/stat : 28057 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400574682960 140401077110683 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28058] ppid=28046 vsize=13980732 memory=5793435989469648484 CPUtime=1 cores=1,3,5,7
/proc/28048/task/28058/stat : 28058 (java) R 28046 28046 4674 0 -1 4202560 10305 0 0 0 100 0 0 0 20 0 15 0 114754775 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400573622992 140401058655662 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28059] ppid=28046 vsize=13980732 memory=55860 CPUtime=0.97 cores=1,3,5,7
/proc/28048/task/28059/stat : 28059 (java) R 28046 28046 4674 0 -1 4202560 9093 0 0 0 96 1 0 0 20 0 15 0 114754775 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400572563264 140401060588827 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28060] ppid=28046 vsize=13980732 memory=1296 CPUtime=0.4 cores=1,3,5,7
/proc/28048/task/28060/stat : 28060 (java) S 28046 28046 4674 0 -1 1077944384 2568 0 0 0 39 1 0 0 20 0 15 0 114754775 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400571525744 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28061] ppid=28046 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28061/stat : 28061 (java) S 28046 28046 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114754775 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400570473184 140401077102293 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
[pid=28048/tid=28062] ppid=28046 vsize=13980732 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/28048/task/28062/stat : 28062 (java) S 28046 28046 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 114754780 14316269568 30633 18446744073709551615 4194304 4196468 140727113472384 140400569420464 140401077103234 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140727113474481 140727113474657 140727113474657 140727113478095 0
Current children cumulated CPU time: 3.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 123912 KiB
[startup+1.70978 s]
# the end of solver process 28046 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.89941 s, system=0.09523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60098 s]
/proc/loadavg: 2.00 2.01 2.05 5/216 28062
/proc/meminfo: memFree=31431396/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+1.70046 s]
/proc/loadavg: 2.00 2.01 2.05 5/216 28062
/proc/meminfo: memFree=31431396/32770624 swapFree=67108764/67108860
[pid=28046] ppid=28043 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28046/stat : 28046 (xcsp3-exec) S 28043 28046 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 114754764 9740288 345 18446744073709551615 4194304 5098028 140721494009632 140721494007736 140468962611836 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 5 0 0 7196144 7232144 15876096 140721494012281 140721494012485 140721494012485 140721494015979 0
/proc/28046/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
Child status: 0
Real time (s): 1.70983
CPU time (s): 3.99464
CPU user time (s): 3.89941
CPU system time (s): 0.09523
CPU usage (%): 233.628
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 123912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.89941
system time used= 0.09523
maximum resident set size= 125032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32724
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1803
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 28046
# total CPU time (s): 3.99464
# total CPU user time (s): 3.89941
# total CPU system time (s): 0.09523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029888 second user time and 0.060844 second system time
The end