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 (15144 MiB free)
memory of node 1: 16384 MiB (15644 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270092-1502621831/watcher-4270092-1502621831 -o /tmp/evaluation-result-4270092-1502621831/solver-4270092-1502621831 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502619510-21066 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 990429655 HOME/instance-4270092-1502621831.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=22456, runsolver pid=22453
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 1.74 1.84 1.78 3/198 22459
/proc/meminfo: memFree=31523812/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13358712 memory=14364 CPUtime=0 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 3376 0 0 0 0 0 0 0 20 0 6 0 50523738 13679321088 3591 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3339678 3591 1902 1 0 3329175 0
[pid=22458/tid=22459] ppid=22456 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 2158 0 0 0 0 0 0 0 20 0 6 0 50523739 13679321088 3591 18446744073709551615 4194304 4196468 140730027025856 140257920393808 140257900238174 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13358712 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50523739 13679321088 3591 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13358712 memory=140342744946304 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 50523739 13679321088 3591 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50523739 13679321088 3657 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 50523739 13679321088 3657 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15744 KiB
[startup+0.20992 s]*
/proc/loadavg: 1.74 1.84 1.78 3/211 22472
/proc/meminfo: memFree=31511600/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13974352 memory=27444 CPUtime=0.1 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 5260 0 0 0 9 1 0 0 20 0 15 0 50523738 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3493588 6861 2756 1 0 3482964 0
[pid=22458/tid=22459] ppid=22456 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 3410 0 0 0 7 0 0 0 20 0 15 0 50523739 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257920381328 140257916179613 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13974352 memory=1358 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13974352 memory=3761270761201440416 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13974352 memory=140342744946304 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257460753184 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257459700848 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13974352 memory=140342744946304 CPUtime=0.01 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 244 0 0 0 1 0 0 0 20 0 15 0 50523744 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13974352 memory=140342744946304 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523748 14309736448 6861 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28824 KiB
[startup+0.310329 s]*
/proc/loadavg: 1.74 1.84 1.78 4/211 22472
/proc/meminfo: memFree=31501028/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13974352 memory=36644 CPUtime=0.28 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 8809 0 0 0 26 2 0 0 20 0 15 0 50523738 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3493588 9161 2969 1 0 3482964 0
[pid=22458/tid=22459] ppid=22456 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 6094 0 0 0 15 2 0 0 20 0 15 0 50523739 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257920391488 140257898606944 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257460753184 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257459700848 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 15 0 50523744 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 15 0 50523744 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13974352 memory=140342744946304 CPUtime=0.06 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 725 0 0 0 6 0 0 0 20 0 15 0 50523744 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13974352 memory=140342744946304 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523748 14309736448 9161 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38024 KiB
[startup+0.708985 s]
/proc/loadavg: 1.74 1.84 1.78 5/211 22472
/proc/meminfo: memFree=31478260/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13978684 memory=93612 CPUtime=1.35 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 13012 0 0 0 129 6 0 0 20 0 15 0 50523738 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3494671 23403 3144 1 0 3482964 0
[pid=22458/tid=22459] ppid=22456 vsize=13978684 memory=4580 CPUtime=0.56 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 7815 0 0 0 52 4 0 0 20 0 15 0 50523739 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257920393656 140257895235183 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523739 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13978684 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13978684 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50523739 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50523741 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257460753184 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13978684 memory=3472464239992700186 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257459700848 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 1626 0 0 0 27 0 0 0 20 0 15 0 50523744 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13978684 memory=15457 CPUtime=0.26 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 859 0 0 0 26 0 0 0 20 0 15 0 50523744 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13978684 memory=4420 CPUtime=0.21 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) R 22456 22456 11586 0 -1 4202560 1404 0 0 0 21 0 0 0 20 0 15 0 50523744 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257900238174 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13978684 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50523748 14314172416 23403 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 94992 KiB
[startup+1.50103 s]
/proc/loadavg: 1.74 1.84 1.78 7/211 22472
/proc/meminfo: memFree=31324480/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13978684 memory=367508 CPUtime=3.69 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 14789 0 0 0 349 20 0 0 20 0 15 0 50523738 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3494671 91877 3203 1 0 3482964 0
[pid=22458/tid=22459] ppid=22456 vsize=13978684 memory=33 CPUtime=1.27 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) S 22456 22456 11586 0 -1 1077944384 8017 0 0 0 120 7 0 0 20 0 15 0 50523739 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257920396800 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13978684 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) R 22456 22456 11586 0 -1 4202560 67 0 0 0 3 2 0 0 20 0 15 0 50523739 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257901185525 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13978684 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) R 22456 22456 11586 0 -1 4202560 107 0 0 0 2 2 0 0 20 0 15 0 50523739 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257909264253 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13978684 memory=3472464239992700186 CPUtime=0.06 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) R 22456 22456 11586 0 -1 4202560 138 0 0 0 4 2 0 0 20 0 15 0 50523739 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257871019352 140257901185570 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13978684 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) R 22456 22456 11586 0 -1 4202560 108 0 0 0 4 2 0 0 20 0 15 0 50523739 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257901185561 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 50523741 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257461805728 140257916167893 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14314172416 91877 18446744073709551615 4194304 4196468 140730027025856 140257460753184 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257459700864 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13980732 memory=1380 CPUtime=2.97 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 6964 0 0 0 295 2 0 0 20 0 15 0 50523744 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13980732 memory=280685240511168 CPUtime=3.14 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 6857 0 0 0 313 1 0 0 20 0 15 0 50523744 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13980732 memory=100798855907828 CPUtime=0.73 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 3593 0 0 0 72 1 0 0 20 0 15 0 50523744 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13980732 memory=28892 CPUtime=0.05 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 467 0 0 0 2 3 0 0 20 0 15 0 50523748 14316269568 309788 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 113.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1240532 KiB
[startup+162.301 s]
/proc/loadavg: 1.97 1.91 1.82 3/210 22477
/proc/meminfo: memFree=29003372/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13980732 memory=1239560 CPUtime=174.26 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 46553 0 0 0 17315 111 0 0 20 0 15 0 50523738 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3495183 309890 3257 1 0 3483476 0
[pid=22458/tid=22459] ppid=22456 vsize=13980732 memory=1239560 CPUtime=160.18 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 14337 0 0 0 16007 11 0 0 20 0 15 0 50523739 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257920394888 140257550854948 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13980732 memory=1239560 CPUtime=1.66 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 1077 0 0 0 146 20 0 0 20 0 15 0 50523739 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13980732 memory=1239560 CPUtime=1.65 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1907 0 0 0 145 20 0 0 20 0 15 0 50523739 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13980732 memory=1380 CPUtime=1.69 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 1945 0 0 0 147 22 0 0 20 0 15 0 50523739 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13980732 memory=1239560 CPUtime=1.67 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 1076 0 0 0 146 21 0 0 20 0 15 0 50523739 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13980732 memory=15880 CPUtime=0.12 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 1384 0 0 0 10 2 0 0 20 0 15 0 50523741 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13980732 memory=16240 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257460753248 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13980732 memory=1239264 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257459700864 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13980732 memory=1380 CPUtime=3.05 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 9152 0 0 0 303 2 0 0 20 0 15 0 50523744 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13980732 memory=1239560 CPUtime=3.31 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 9777 0 0 0 329 2 0 0 20 0 15 0 50523744 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 4075 0 0 0 73 1 0 0 20 0 15 0 50523744 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13980732 memory=1239560 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13980732 memory=4120 CPUtime=0.1 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 528 0 0 0 4 6 0 0 20 0 15 0 50523748 14316269568 309890 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 174.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1240940 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.93 1.83 3/211 22480
/proc/meminfo: memFree=29003020/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13980732 memory=1239568 CPUtime=234.31 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 48147 0 0 0 23318 113 0 0 20 0 15 0 50523738 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3495183 309892 3257 1 0 3483476 0
[pid=22458/tid=22459] ppid=22456 vsize=13980732 memory=1239568 CPUtime=220.18 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 15374 0 0 0 22006 12 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257920394648 140257550941057 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13980732 memory=1380 CPUtime=1.66 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 1077 0 0 0 146 20 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13980732 memory=1239568 CPUtime=1.65 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1907 0 0 0 145 20 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13980732 memory=1380 CPUtime=1.69 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 1945 0 0 0 147 22 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13980732 memory=1239568 CPUtime=1.67 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 1076 0 0 0 146 21 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13980732 memory=-8774313645642428999 CPUtime=0.12 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 1394 0 0 0 10 2 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13980732 memory=16732 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257460753248 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257459700864 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13980732 memory=1239560 CPUtime=3.06 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 9225 0 0 0 304 2 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13980732 memory=1380 CPUtime=3.32 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 10206 0 0 0 330 2 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 4078 0 0 0 73 1 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13980732 memory=1239568 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13980732 memory=1380 CPUtime=0.13 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 570 0 0 0 5 8 0 0 20 0 15 0 50523748 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 234.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1240948 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.85 1.90 1.82 3/211 22558
/proc/meminfo: memFree=30344428/32770624 swapFree=67108860/67108860
[pid=22456] ppid=22453 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/22456/stat : 22456 (xcsp3-exec) S 22453 22456 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 50523729 9740288 345 18446744073709551615 4194304 5098028 140723621199328 140723621197432 140336037728892 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 19038208 140723621204351 140723621204554 140723621204554 140723621208043 0
/proc/22456/statm: 2378 345 289 221 0 87 0
[pid=22458] ppid=22456 vsize=13980732 memory=1239568 CPUtime=252.03 cores=1,3,5,7
/proc/22458/stat : 22458 (java) S 22456 22456 11586 0 -1 1077944320 48268 0 0 0 25089 114 0 0 20 0 15 0 50523738 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140730027008400 140257916157687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
/proc/22458/statm: 3495183 309892 3257 1 0 3483476 0
[pid=22458/tid=22459] ppid=22456 vsize=13980732 memory=-8774313645642428999 CPUtime=237.89 cores=1,3,5,7
/proc/22458/task/22459/stat : 22459 (java) R 22456 22456 11586 0 -1 4202560 15495 0 0 0 23777 12 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257920394648 140257551946087 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22460] ppid=22456 vsize=13980732 memory=4126316290023845779 CPUtime=1.66 cores=1,3,5,7
/proc/22458/task/22460/stat : 22460 (java) S 22456 22456 11586 0 -1 1077944384 1077 0 0 0 146 20 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257873124240 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22461] ppid=22456 vsize=13980732 memory=1716 CPUtime=1.65 cores=1,3,5,7
/proc/22458/task/22461/stat : 22461 (java) S 22456 22456 11586 0 -1 1077944384 1907 0 0 0 145 20 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257872071440 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22462] ppid=22456 vsize=13980732 memory=1008 CPUtime=1.69 cores=1,3,5,7
/proc/22458/task/22462/stat : 22462 (java) S 22456 22456 11586 0 -1 1077944384 1945 0 0 0 147 22 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257871019152 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22463] ppid=22456 vsize=13980732 memory=1232 CPUtime=1.67 cores=1,3,5,7
/proc/22458/task/22463/stat : 22463 (java) S 22456 22456 11586 0 -1 1077944384 1076 0 0 0 146 21 0 0 20 0 15 0 50523739 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257869966352 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22464] ppid=22456 vsize=13980732 memory=4120 CPUtime=0.12 cores=1,3,5,7
/proc/22458/task/22464/stat : 22464 (java) S 22456 22456 11586 0 -1 1077944384 1394 0 0 0 10 2 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257461807216 140257916168834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22465] ppid=22456 vsize=13980732 memory=28892 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22465/stat : 22465 (java) S 22456 22456 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257460753248 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22466] ppid=22456 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22466/stat : 22466 (java) S 22456 22456 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50523741 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257459700864 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22467] ppid=22456 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22467/stat : 22467 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257391536208 140257916176283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22468] ppid=22456 vsize=13980732 memory=1728 CPUtime=3.06 cores=1,3,5,7
/proc/22458/task/22468/stat : 22468 (java) S 22456 22456 11586 0 -1 1077944384 9225 0 0 0 304 2 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257390484080 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22469] ppid=22456 vsize=13980732 memory=1380 CPUtime=3.32 cores=1,3,5,7
/proc/22458/task/22469/stat : 22469 (java) S 22456 22456 11586 0 -1 1077944384 10206 0 0 0 330 2 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257389431280 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22470] ppid=22456 vsize=13980732 memory=1239568 CPUtime=0.74 cores=1,3,5,7
/proc/22458/task/22470/stat : 22470 (java) S 22456 22456 11586 0 -1 1077944384 4078 0 0 0 73 1 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257388378992 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22471] ppid=22456 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/22458/task/22471/stat : 22471 (java) S 22456 22456 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50523744 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257387326432 140257916167893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
[pid=22458/tid=22472] ppid=22456 vsize=13980732 memory=2244 CPUtime=0.15 cores=1,3,5,7
/proc/22458/task/22472/stat : 22472 (java) S 22456 22456 11586 0 -1 1077944384 570 0 0 0 6 9 0 0 20 0 15 0 50523748 14316269568 309892 18446744073709551615 4194304 4196468 140730027025856 140257386273200 140257916168834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 9584640 140730027028919 140730027029094 140730027029094 140730027032527 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1240948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 22456 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000933 s, system=0.000933 s
[startup+240.027 s]
# the end of solver process 22458 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.909 s, system=1.15642 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.027
CPU time (s): 252.065
CPU user time (s): 250.909
CPU system time (s): 1.15642
CPU usage (%): 105.015
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1245864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.909
system time used= 1.15642
maximum resident set size= 1244484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8049
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 22456,22458
# total CPU time (s): 252.065
# total CPU user time (s): 250.909
# total CPU system time (s): 1.15642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27302 second user time and 2.65541 second system time
The end