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 (9379 MiB free)
memory of node 1: 16384 MiB (14084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301714-1532885014/watcher-4301714-1532885014 -o /tmp/evaluation-result-4301714-1532885014/solver-4301714-1532885014 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 340385796 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301714-1532885014.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7525, runsolver pid=7522
[startup+0.100154 s]*
/proc/loadavg: 2.06 2.05 1.92 4/218 7541
/proc/meminfo: memFree=24009052/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14082940 memory=29828 CPUtime=0.12 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 5244 0 0 0 11 1 0 0 20 0 15 0 106064279 14420930560 7457 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3520735 7457 3052 1 0 3483012 0
[pid=7527/tid=7528] ppid=7525 vsize=14082940 memory=7828565255743837019 CPUtime=0.09 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) R 7525 7525 6529 0 -1 4202560 3252 0 0 0 8 1 0 0 20 0 15 0 106064279 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592895771104 140592482955059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592806607120 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14082940 memory=140047813674624 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592805554576 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592804502032 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) S 7525 7525 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064280 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592803449488 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14082940 memory=140047813674624 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064281 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592365660656 140592891550338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064282 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592364606880 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064282 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592363554288 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 106064284 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14082940 memory=140047813674624 CPUtime=0.01 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) R 7525 7525 6529 0 -1 4202560 325 0 0 0 1 0 0 0 20 0 15 0 106064284 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592359344368 140592883776318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14082940 memory=140047813674624 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064285 14420930560 7457 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31280 KiB
[startup+0.212956 s]*
/proc/loadavg: 2.06 2.05 1.92 3/218 7541
/proc/meminfo: memFree=23998756/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14087196 memory=40720 CPUtime=0.34 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 7741 0 0 0 32 2 0 0 20 0 15 0 106064279 14425288704 10180 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3521799 10180 3182 1 0 3483012 0
[pid=7527/tid=7528] ppid=7525 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) R 7525 7525 6529 0 -1 4202560 4998 0 0 0 18 1 0 0 20 0 15 0 106064279 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592895753200 140592875619678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14087196 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592806607120 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14087196 memory=3762957121385367200 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592805554576 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592804502032 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) S 7525 7525 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592803449488 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14087196 memory=140047813674624 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064281 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592365660656 140592891550338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064282 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592364606880 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064282 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592363554288 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 15 0 106064284 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14087196 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 15 0 106064284 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14087196 memory=140047813674624 CPUtime=0.08 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) R 7525 7525 6529 0 -1 4202560 761 0 0 0 8 0 0 0 20 0 15 0 106064284 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592359344368 140592891560538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064285 14425288704 10180 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42172 KiB
[startup+0.311843 s]*
/proc/loadavg: 2.06 2.05 1.92 4/218 7541
/proc/meminfo: memFree=23991684/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14087196 memory=48272 CPUtime=0.53 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 8705 0 0 0 50 3 0 0 20 0 15 0 106064279 14425288704 12068 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3521799 12068 3261 1 0 3483012 0
[pid=7527/tid=7528] ppid=7525 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) R 7525 7525 6529 0 -1 4202560 5711 0 0 0 28 2 0 0 20 0 15 0 106064279 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592895775968 140592875619678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592806607120 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592805554576 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592804502032 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) S 7525 7525 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106064280 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592803449488 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106064281 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592365660656 140592891550338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106064282 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592364606880 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106064282 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592363554288 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14087196 memory=8325818968683490714 CPUtime=0.06 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 676 0 0 0 6 0 0 0 20 0 15 0 106064284 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 104 0 0 0 3 0 0 0 20 0 15 0 106064284 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 106064284 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592359344368 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064285 14425288704 12068 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49724 KiB
[startup+0.708883 s]
/proc/loadavg: 2.06 2.05 1.92 5/218 7541
/proc/meminfo: memFree=23944464/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14089320 memory=203752 CPUtime=1.63 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 11350 0 0 0 156 7 0 0 20 0 15 0 106064279 14427463680 50938 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3522330 50938 3362 1 0 3483524 0
[pid=7527/tid=7528] ppid=7525 vsize=14089320 memory=30340 CPUtime=0.67 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) R 7525 7525 6529 0 -1 4202560 6113 0 0 0 63 4 0 0 20 0 15 0 106064279 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592895776840 140592485968832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) S 7525 7525 6529 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 106064280 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592806607120 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592805554576 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064280 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592804502032 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) S 7525 7525 6529 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 106064280 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592803449488 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106064281 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592365660656 140592891550338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592364606880 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592363554288 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14089320 memory=8556 CPUtime=0.36 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 1439 0 0 0 36 0 0 0 20 0 15 0 106064284 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14089320 memory=1444 CPUtime=0.3 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 907 0 0 0 30 0 0 0 20 0 15 0 106064284 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14089320 memory=5668 CPUtime=0.24 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 1459 0 0 0 24 0 0 0 20 0 15 0 106064284 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592359344368 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106064285 14427463680 50938 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 205204 KiB
[startup+1.50186 s]
/proc/loadavg: 2.06 2.05 1.92 4/218 7541
/proc/meminfo: memFree=23803280/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/7527/task/7530/stat : 7530 (java) R 7525 7525 6529 0 -1 4202560 124690 0 0 0 826 574 0 0 20 0 15 0 106064280 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592805554576 140592876238480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14089320 memory=1228 CPUtime=13.73 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) R 7525 7525 6529 0 -1 4202560 68770 0 0 0 826 547 0 0 20 0 15 0 106064280 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592804502032 140592876535837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14089320 memory=8556 CPUtime=13.86 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) R 7525 7525 6529 0 -1 4202560 86024 0 0 0 1066 320 0 0 20 0 15 0 106064280 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592803449688 140592876238608 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14089320 memory=1444 CPUtime=0.55 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 12973 0 0 0 54 1 0 0 20 0 15 0 106064281 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592365659200 140592891549397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592364606944 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592363554304 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14089320 memory=1724 CPUtime=0.56 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 2395 0 0 0 56 0 0 0 20 0 15 0 106064284 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14089320 memory=1004 CPUtime=0.5 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 1473 0 0 0 50 0 0 0 20 0 15 0 106064284 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14089320 memory=1952 CPUtime=0.32 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 2191 0 0 0 32 0 0 0 20 0 15 0 106064284 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592359344368 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14089320 memory=4008 CPUtime=0.07 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 124 0 0 0 5 2 0 0 20 0 15 0 106064285 14427463680 2881517 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 183.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11527520 KiB
[startup+144.002 s]*
/proc/loadavg: 2.47 2.22 2.00 6/217 7703
/proc/meminfo: memFree=2284260/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14089320 memory=11526316 CPUtime=195.44 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 398415 0 0 0 17470 2074 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3522330 2881579 3403 1 0 3483524 0
[pid=7527/tid=7528] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=126 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) S 7525 7525 6529 0 -1 1077944384 12391 0 0 0 12590 10 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592895778800 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14089320 memory=4126316290023845779 CPUtime=16.82 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) R 7525 7525 6529 0 -1 4202560 71623 0 0 0 1077 605 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592806607008 140592884638847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14089320 memory=1952 CPUtime=16.93 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) R 7525 7525 6529 0 -1 4202560 125023 0 0 0 1118 575 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592805554776 140592884638877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14089320 memory=1708 CPUtime=16.62 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) R 7525 7525 6529 0 -1 4202560 69630 0 0 0 1113 549 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592804502232 140592884638863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14089320 memory=1296 CPUtime=16.71 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) R 7525 7525 6529 0 -1 4202560 87609 0 0 0 1350 321 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592803449688 140592884638863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14089320 memory=2408 CPUtime=0.82 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 24612 0 0 0 80 2 0 0 20 0 15 0 106064281 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592365659200 140592891549397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592364606944 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592363554304 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14089320 memory=3036 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14089320 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 2395 0 0 0 56 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14089320 memory=11685104 CPUtime=0.5 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 1473 0 0 0 50 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 2191 0 0 0 32 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592359344368 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14089320 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14089320 memory=1576 CPUtime=0.07 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 15 0 106064285 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 195.44 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11527768 KiB
[startup+144.802 s]
/proc/loadavg: 2.47 2.22 2.00 6/217 7703
/proc/meminfo: memFree=2284260/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14089320 memory=11526316 CPUtime=198.59 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 398750 0 0 0 17785 2074 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3522330 2881579 3403 1 0 3483524 0
[pid=7527/tid=7528] ppid=7525 vsize=14089320 memory=11525744 CPUtime=126 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) S 7525 7525 6529 0 -1 1077944384 12391 0 0 0 12590 10 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592895778800 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=17.61 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) R 7525 7525 6529 0 -1 4202560 71709 0 0 0 1156 605 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592806607008 140592876528844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14089320 memory=11526316 CPUtime=17.71 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) R 7525 7525 6529 0 -1 4202560 125099 0 0 0 1196 575 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592805554776 140592884635940 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14089320 memory=1204 CPUtime=17.4 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) R 7525 7525 6529 0 -1 4202560 69715 0 0 0 1191 549 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592804502232 140592884635940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=17.5 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) R 7525 7525 6529 0 -1 4202560 87697 0 0 0 1429 321 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592803449688 140592884635924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14089320 memory=792 CPUtime=0.82 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 24612 0 0 0 80 2 0 0 20 0 15 0 106064281 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592365659200 140592891549397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592364606944 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14089320 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592363554304 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14089320 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=0.56 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 2395 0 0 0 56 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14089320 memory=15872 CPUtime=0.5 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 1473 0 0 0 50 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592360396912 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14089320 memory=4008 CPUtime=0.32 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 2191 0 0 0 32 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592359344368 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14089320 memory=18264 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14089320 memory=18276 CPUtime=0.07 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 15 0 106064285 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 198.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11527768 KiB
[startup+145.602 s]
/proc/loadavg: 2.67 2.26 2.01 6/217 7703
/proc/meminfo: memFree=2284260/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
[pid=7527] ppid=7525 vsize=14089320 memory=11526316 CPUtime=201.77 cores=1,3,5,7
/proc/7527/stat : 7527 (java) S 7525 7525 6529 0 -1 1077944320 398755 0 0 0 18103 2074 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140736077285200 140592891539191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
/proc/7527/statm: 3522330 2881579 3403 1 0 3483524 0
[pid=7527/tid=7528] ppid=7525 vsize=14089320 memory=8112282956445269571 CPUtime=126 cores=1,3,5,7
/proc/7527/task/7528/stat : 7528 (java) S 7525 7525 6529 0 -1 1077944384 12391 0 0 0 12590 10 0 0 20 0 15 0 106064279 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592895778800 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7529] ppid=7525 vsize=14089320 memory=11526316 CPUtime=18.4 cores=1,3,5,7
/proc/7527/task/7529/stat : 7529 (java) R 7525 7525 6529 0 -1 4202560 71709 0 0 0 1235 605 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592806607008 140592884635924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7530] ppid=7525 vsize=14089320 memory=1452 CPUtime=18.49 cores=1,3,5,7
/proc/7527/task/7530/stat : 7530 (java) R 7525 7525 6529 0 -1 4202560 125099 0 0 0 1274 575 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592805554776 140592884635948 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7531] ppid=7525 vsize=14089320 memory=11526072 CPUtime=18.21 cores=1,3,5,7
/proc/7527/task/7531/stat : 7531 (java) R 7525 7525 6529 0 -1 4202560 69715 0 0 0 1271 550 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592804502232 140592884635940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7532] ppid=7525 vsize=14089320 memory=4140 CPUtime=18.31 cores=1,3,5,7
/proc/7527/task/7532/stat : 7532 (java) R 7525 7525 6529 0 -1 4202560 87697 0 0 0 1509 322 0 0 20 0 15 0 106064280 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592803449688 140592884635908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7533] ppid=7525 vsize=14089320 memory=30352 CPUtime=0.82 cores=1,3,5,7
/proc/7527/task/7533/stat : 7533 (java) S 7525 7525 6529 0 -1 1077944384 24612 0 0 0 80 2 0 0 20 0 15 0 106064281 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592365659200 140592891549397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7534] ppid=7525 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7534/stat : 7534 (java) S 7525 7525 6529 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592364606944 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7535] ppid=7525 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7535/stat : 7535 (java) S 7525 7525 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106064282 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592363554304 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7536] ppid=7525 vsize=14089320 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7536/stat : 7536 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592362502864 140592891557787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7537] ppid=7525 vsize=14089320 memory=5668 CPUtime=0.56 cores=1,3,5,7
/proc/7527/task/7537/stat : 7537 (java) S 7525 7525 6529 0 -1 1077944384 2395 0 0 0 56 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592361449456 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7538] ppid=7525 vsize=14089320 memory=4616 CPUtime=0.5 cores=1,3,5,7
/proc/7527/task/7538/stat : 7538 (java) S 7525 7525 6529 0 -1 1077944384 1476 0 0 0 50 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592360396672 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7539] ppid=7525 vsize=14089320 memory=14076 CPUtime=0.32 cores=1,3,5,7
/proc/7527/task/7539/stat : 7539 (java) S 7525 7525 6529 0 -1 1077944384 2193 0 0 0 32 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592359344416 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7540] ppid=7525 vsize=14089320 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/7527/task/7540/stat : 7540 (java) S 7525 7525 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106064284 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592358292064 140592891549397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
[pid=7527/tid=7541] ppid=7525 vsize=14089320 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/7527/task/7541/stat : 7541 (java) S 7525 7525 6529 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 15 0 106064285 14427463680 2881579 33554432000 4194304 4196468 140736077302656 140592357239600 140592891550338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19689472 140736077309068 140736077309238 140736077309238 140736077311951 0
Current children cumulated CPU time: 201.77 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 11527768 KiB
[startup+146.001 s]*
/proc/loadavg: 2.67 2.26 2.01 2/216 7704
/proc/meminfo: memFree=2284260/32770624 swapFree=67108688/67108860
[pid=7525] ppid=7522 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (xcsp3-exec) S 7522 7525 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106064278 115843072 363 33554432000 4194304 5098028 140731277086752 140731277084856 140319509398140 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7856128 140731277091905 140731277092105 140731277092105 140731277094858 0
/proc/7525/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 146.096
CPU time (s): 203.221
CPU user time (s): 182.379
CPU system time (s): 20.8413
CPU usage (%): 139.101
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 11527768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.379
system time used= 20.8413
maximum resident set size= 11526724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8476
involuntary context switches= 1062
# summary of solver processes directly reported to runsolver:
# pid: 7525
# total CPU time (s): 203.221
# total CPU user time (s): 182.379
# total CPU system time (s): 20.8413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.87931 second user time and 1.51146 second system time
The end