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 (4152 MiB free)
memory of node 1: 16384 MiB (15755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281925-1503145220/watcher-4281925-1503145220 -o /tmp/evaluation-result-4281925-1503145220/solver-4281925-1503145220 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15587 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 824556066 HOME/instance-4281925-1503145220.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=25840, runsolver pid=25837
Current StackSize limit: 8192 KiB
[startup+0.100288 s]*
/proc/loadavg: 2.19 1.98 1.86 3/197 25842
/proc/meminfo: memFree=20385816/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13356504 memory=10660 CPUtime=0 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 2424 0 0 0 0 0 0 0 20 0 6 0 12930036 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3339126 2665 1203 1 0 3329096 0
[pid=25842/tid=25843] ppid=25840 vsize=13356504 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 1197 0 0 0 0 0 0 0 20 0 6 0 12930036 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 139689031468344 139689011001088 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12930037 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13356504 memory=139734461990528 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12930037 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12930037 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12930037 13677060096 2665 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12040 KiB
[startup+0.210113 s]*
/proc/loadavg: 2.19 1.98 1.86 3/211 25856
/proc/meminfo: memFree=20373944/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13974352 memory=27172 CPUtime=0.08 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 5224 0 0 0 7 1 0 0 20 0 15 0 12930036 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3493588 6793 2722 1 0 3482964 0
[pid=25842/tid=25843] ppid=25840 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 3368 0 0 0 6 1 0 0 20 0 15 0 12930036 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139689031453072 139689027249309 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13974352 memory=8941 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13974352 memory=4121835204333291168 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13974352 memory=139734461990528 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930038 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12930038 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12930039 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13974352 memory=139734461990528 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) R 25840 25840 15523 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027239318 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13974352 memory=139734461990528 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930045 14309736448 6793 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28552 KiB
[startup+0.310377 s]*
/proc/loadavg: 2.19 1.98 1.86 5/211 25856
/proc/meminfo: memFree=20358780/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13974352 memory=36620 CPUtime=0.26 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 8703 0 0 0 23 3 0 0 20 0 15 0 12930036 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3493588 9155 2978 1 0 3482964 0
[pid=25842/tid=25843] ppid=25840 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 6016 0 0 0 13 2 0 0 20 0 15 0 12930036 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139689031451088 139689011307870 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930038 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12930038 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12930039 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 12930041 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 12930041 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13974352 memory=139734461990528 CPUtime=0.05 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) S 25840 25840 15523 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 12930041 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13974352 memory=139734461990528 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930045 14309736448 9155 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38000 KiB
[startup+0.708056 s]
/proc/loadavg: 2.19 1.98 1.86 5/211 25856
/proc/meminfo: memFree=20344692/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13980732 memory=79308 CPUtime=1.35 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 14034 0 0 0 130 5 0 0 20 0 15 0 12930036 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3495183 19827 3166 1 0 3483476 0
[pid=25842/tid=25843] ppid=25840 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 7954 0 0 0 51 4 0 0 20 0 15 0 12930036 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139689031466544 139688660774665 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13980732 memory=164 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13980732 memory=83396 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13980732 memory=279468690283968 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13980732 memory=8458433173657106229 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12930039 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13980732 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13980732 memory=4420 CPUtime=0.25 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) R 25840 25840 15523 0 -1 4202560 1273 0 0 0 25 0 0 0 20 0 15 0 12930041 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688501267168 139689007080934 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13980732 memory=6628 CPUtime=0.22 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) R 25840 25840 15523 0 -1 4202560 1358 0 0 0 22 0 0 0 20 0 15 0 12930041 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688500207408 139689010784722 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13980732 memory=8836 CPUtime=0.31 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) R 25840 25840 15523 0 -1 4202560 2140 0 0 0 31 0 0 0 20 0 15 0 12930041 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688499166528 139689020327361 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13980732 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930045 14316269568 19827 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 80688 KiB
[startup+1.50088 s]
/proc/loadavg: 2.26 2.00 1.87 6/211 25856
/proc/meminfo: memFree=20301508/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13980732 memory=111776 CPUtime=3.73 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 23602 0 0 0 366 7 0 0 20 0 15 0 12930036 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3495183 27944 3195 1 0 3483476 0
[pid=25842/tid=25843] ppid=25840 vsize=13980732 memory=2756 CPUtime=1.33 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 8864 0 0 0 129 4 0 0 20 0 15 0 12930036 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139689031464504 139688665380345 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13980732 memory=7092439802960963689 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13980732 memory=5788630088553161816 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13980732 memory=7452445168229904237 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13980732 memory=7590373430649382737 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12930037 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13980732 memory=107480 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13980732 memory=104088 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 27944 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12930039 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13980732 memory=1380 CPUtime=1.38 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 10985 0 0 0 137 1 0 0 20 0 15 0 12930041 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13980732 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 10516 0 0 0 127 1 0 0 20 0 15 0 12930041 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13980732 memory=1380 CPUtime=0.59 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) S 25840 25840 15523 0 -1 1077944384 8309 0 0 0 57 2 0 0 20 0 15 0 12930041 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13980732 memory=8374348 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13980732 memory=-8774313645642428999 CPUtime=1.04 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1607 0 0 0 44 60 0 0 20 0 15 0 12930045 14316269568 2093587 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 2347.68 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8375728 KiB
[startup+2382.3 s]
/proc/loadavg: 1.75 1.76 1.72 3/211 26149
/proc/meminfo: memFree=22292432/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13980732 memory=8366140 CPUtime=2408.02 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 336920 0 0 0 239729 1073 0 0 20 0 15 0 12930036 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3495183 2091535 3250 1 0 3483476 0
[pid=25842/tid=25843] ppid=25840 vsize=13980732 memory=8366140 CPUtime=2372.49 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 193971 0 0 0 236352 897 0 0 20 0 15 0 12930036 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139689031467136 139688665556976 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13980732 memory=8366140 CPUtime=7.4 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 24758 0 0 0 717 23 0 0 20 0 15 0 12930037 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13980732 memory=8366140 CPUtime=7.42 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 25935 0 0 0 720 22 0 0 20 0 15 0 12930037 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13980732 memory=8366140 CPUtime=7.39 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 22366 0 0 0 716 23 0 0 20 0 15 0 12930037 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13980732 memory=1380 CPUtime=7.38 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 23667 0 0 0 718 20 0 0 20 0 15 0 12930037 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13980732 memory=5787213844311467857 CPUtime=1.53 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 13416 0 0 0 119 34 0 0 20 0 15 0 12930038 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13980732 memory=8366140 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13980732 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12930039 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13980732 memory=8368704 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13980732 memory=1380 CPUtime=1.38 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 10987 0 0 0 137 1 0 0 20 0 15 0 12930041 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13980732 memory=4124 CPUtime=1.29 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 10518 0 0 0 128 1 0 0 20 0 15 0 12930041 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13980732 memory=1380 CPUtime=0.59 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) S 25840 25840 15523 0 -1 1077944384 8311 0 0 0 57 2 0 0 20 0 15 0 12930041 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13980732 memory=8366140 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13980732 memory=4124 CPUtime=1.05 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1626 0 0 0 44 61 0 0 20 0 15 0 12930045 14316269568 2091535 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 2408.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8367520 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.77 1.72 3/211 26173
/proc/meminfo: memFree=22298228/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13980732 memory=8358956 CPUtime=2468.47 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 338695 0 0 0 245773 1074 0 0 20 0 15 0 12930036 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3495183 2089739 3250 1 0 3483476 0
[pid=25842/tid=25843] ppid=25840 vsize=13980732 memory=1380 CPUtime=2432.32 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 194524 0 0 0 242335 897 0 0 20 0 15 0 12930036 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139689031467152 139688665856517 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13980732 memory=8358956 CPUtime=7.56 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 25060 0 0 0 732 24 0 0 20 0 15 0 12930037 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13980732 memory=8358956 CPUtime=7.57 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 26460 0 0 0 735 22 0 0 20 0 15 0 12930037 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13980732 memory=8358956 CPUtime=7.54 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 22524 0 0 0 731 23 0 0 20 0 15 0 12930037 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13980732 memory=8364088 CPUtime=7.53 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 23800 0 0 0 733 20 0 0 20 0 15 0 12930037 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13980732 memory=8362036 CPUtime=1.54 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 13497 0 0 0 119 35 0 0 20 0 15 0 12930038 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13980732 memory=8360496 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12930039 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13980732 memory=8360496 CPUtime=1.38 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 10989 0 0 0 137 1 0 0 20 0 15 0 12930041 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13980732 memory=1380 CPUtime=1.29 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 10520 0 0 0 128 1 0 0 20 0 15 0 12930041 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13980732 memory=8358956 CPUtime=0.59 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) S 25840 25840 15523 0 -1 1077944384 8313 0 0 0 57 2 0 0 20 0 15 0 12930041 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13980732 memory=8358956 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13980732 memory=1380 CPUtime=1.06 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1643 0 0 0 44 62 0 0 20 0 15 0 12930045 14316269568 2089739 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 2468.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8360336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2493.4 s]
/proc/loadavg: 1.83 1.79 1.73 3/211 26175
/proc/meminfo: memFree=22275144/32770624 swapFree=67108860/67108860
[pid=25840] ppid=25837 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/25840/stat : 25840 (xcsp3-exec) S 25837 25840 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12930026 9740288 345 18446744073709551615 4194304 5098028 140731325320448 140731325318552 140241861980796 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 10301440 140731325325690 140731325325894 140731325325894 140731325329387 0
/proc/25840/statm: 2378 345 289 221 0 87 0
[pid=25842] ppid=25840 vsize=13980732 memory=8355364 CPUtime=2520.03 cores=1,3,5,7
/proc/25842/stat : 25842 (java) S 25840 25840 15523 0 -1 1077944320 340314 0 0 0 250928 1075 0 0 20 0 15 0 12930036 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 140722445863120 139689027227383 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
/proc/25842/statm: 3495183 2088841 3250 1 0 3483476 0
[pid=25842/tid=25843] ppid=25840 vsize=13980732 memory=4012 CPUtime=2483.25 cores=1,3,5,7
/proc/25842/task/25843/stat : 25843 (java) R 25840 25840 15523 0 -1 4202560 194948 0 0 0 247428 897 0 0 20 0 15 0 12930036 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139689031466848 139688666173999 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25844] ppid=25840 vsize=13980732 memory=1724 CPUtime=7.71 cores=1,3,5,7
/proc/25842/task/25844/stat : 25844 (java) S 25840 25840 15523 0 -1 1077944384 25187 0 0 0 747 24 0 0 20 0 15 0 12930037 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688984193936 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25845] ppid=25840 vsize=13980732 memory=1008 CPUtime=7.72 cores=1,3,5,7
/proc/25842/task/25845/stat : 25845 (java) S 25840 25840 15523 0 -1 1077944384 26976 0 0 0 750 22 0 0 20 0 15 0 12930037 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688983141136 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25846] ppid=25840 vsize=13980732 memory=1380 CPUtime=7.7 cores=1,3,5,7
/proc/25842/task/25846/stat : 25846 (java) S 25840 25840 15523 0 -1 1077944384 22686 0 0 0 747 23 0 0 20 0 15 0 12930037 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688982088848 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25847] ppid=25840 vsize=13980732 memory=2412 CPUtime=7.69 cores=1,3,5,7
/proc/25842/task/25847/stat : 25847 (java) S 25840 25840 15523 0 -1 1077944384 24078 0 0 0 749 20 0 0 20 0 15 0 12930037 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688981036048 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25848] ppid=25840 vsize=13980732 memory=1724 CPUtime=1.54 cores=1,3,5,7
/proc/25842/task/25848/stat : 25848 (java) S 25840 25840 15523 0 -1 1077944384 13584 0 0 0 119 35 0 0 20 0 15 0 12930038 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688505485424 139689027238530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25849] ppid=25840 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25849/stat : 25849 (java) S 25840 25840 15523 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 12930038 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688504431392 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25850] ppid=25840 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25850/stat : 25850 (java) S 25840 25840 15523 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12930039 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688503379056 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25851] ppid=25840 vsize=13980732 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25851/stat : 25851 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688502327376 139689027245979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25852] ppid=25840 vsize=13980732 memory=11952 CPUtime=1.38 cores=1,3,5,7
/proc/25842/task/25852/stat : 25852 (java) S 25840 25840 15523 0 -1 1077944384 10991 0 0 0 137 1 0 0 20 0 15 0 12930041 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688501275248 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25853] ppid=25840 vsize=13980732 memory=1996 CPUtime=1.29 cores=1,3,5,7
/proc/25842/task/25853/stat : 25853 (java) S 25840 25840 15523 0 -1 1077944384 10522 0 0 0 128 1 0 0 20 0 15 0 12930041 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688500222448 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25854] ppid=25840 vsize=13980732 memory=1440 CPUtime=0.59 cores=1,3,5,7
/proc/25842/task/25854/stat : 25854 (java) S 25840 25840 15523 0 -1 1077944384 8315 0 0 0 57 2 0 0 20 0 15 0 12930041 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688499170160 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25855] ppid=25840 vsize=13980732 memory=8684 CPUtime=0 cores=1,3,5,7
/proc/25842/task/25855/stat : 25855 (java) S 25840 25840 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12930041 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688498117600 139689027237589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
[pid=25842/tid=25856] ppid=25840 vsize=13980732 memory=792 CPUtime=1.07 cores=1,3,5,7
/proc/25842/task/25856/stat : 25856 (java) S 25840 25840 15523 0 -1 1077944384 1662 0 0 0 45 62 0 0 20 0 15 0 12930045 14316269568 2088841 18446744073709551615 4194304 4196468 140722445880576 139688497064368 139689027238530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26324992 140722445885874 140722445886050 140722445886050 140722445889487 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 8356744 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2493.41 s]
# the end of solver process 25840 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000571 s, system=0.001385 s
[startup+2493.44 s]
# the end of solver process 25842 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.3 s, system=10.7806 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): 2493.44
CPU time (s): 2520.08
CPU user time (s): 2509.3
CPU system time (s): 10.7806
CPU usage (%): 101.069
Max. virtual memory (cumulated for all children) (KiB): 13991908
Max. memory (cumulated for all children) (KiB): 8390932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.3
system time used= 10.7806
maximum resident set size= 8391096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77747
involuntary context switches= 2982
# summary of solver processes directly reported to runsolver:
# pid: 25840,25842
# total CPU time (s): 2520.08
# total CPU user time (s): 2509.3
# total CPU system time (s): 10.7806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2579 second user time and 23.3303 second system time
The end