runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245005-1500684848/watcher-4245005-1500684848 -o /tmp/evaluation-result-4245005-1500684848/solver-4245005-1500684848 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 834308924 HOME/instance-4245005-1500684848.xml
pid=26674
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.72 15.32 14.74 3/264 26677
/proc/meminfo: memFree=31654120/32770624 swapFree=5736/223760
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[startup+0.100143 s]
/proc/loadavg: 14.72 15.32 14.74 3/264 26677
/proc/meminfo: memFree=31654120/32770624 swapFree=5736/223760
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200251 s]
/proc/loadavg: 14.72 15.32 14.74 3/264 26677
/proc/meminfo: memFree=31654120/32770624 swapFree=5736/223760
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 14.72 15.32 14.74 3/264 26677
/proc/meminfo: memFree=31654120/32770624 swapFree=5736/223760
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700271 s]
/proc/loadavg: 14.72 15.32 14.74 3/264 26677
/proc/meminfo: memFree=31654120/32770624 swapFree=5736/223760
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50086 s]
/proc/loadavg: 14.72 15.32 14.74 12/285 26698
/proc/meminfo: memFree=30844912/32770624 swapFree=5736/223668
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13267208 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 13471 0 0 0 287 48 0 0 20 0 20 0 3753944 13585620992 117067 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3316802 117067 3215 1 0 3304035 0
[pid=26678/tid=26679] ppid=26677 vsize=13267208 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) R 26677 26677 16473 0 -1 4202560 6497 0 0 0 129 7 0 0 20 0 20 0 3753945 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035671505224 140035280682932 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 48 0 0 0 4 4 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 66 0 0 0 4 5 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13267208 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 48 0 0 0 3 4 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 64 0 0 0 4 5 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 52 0 0 0 5 3 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 59 0 0 0 4 4 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 53 0 0 0 4 6 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 51 0 0 0 4 4 0 0 20 0 20 0 3753946 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 117067 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3753949 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13267208 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) S 26677 26677 16473 0 -1 1077944384 1697 0 0 0 32 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034856438384 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13267208 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) S 26677 26677 16473 0 -1 1077944384 849 0 0 0 25 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034855385584 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13267208 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) S 26677 26677 16473 0 -1 1077944384 1113 0 0 0 34 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034854333296 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 1369 0 0 0 27 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3753952 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753953 13585620992 117067 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 13276720
[startup+3.10084 s]
/proc/loadavg: 14.72 15.32 14.74 3/285 26698
/proc/meminfo: memFree=30485468/32770624 swapFree=5736/223668
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13267208 CPUtime=5.05 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 15015 0 0 0 445 60 0 0 20 0 20 0 3753944 13585620992 183627 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3316802 183627 3226 1 0 3304035 0
[pid=26678/tid=26679] ppid=26677 vsize=13267208 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) R 26677 26677 16473 0 -1 4202560 7074 0 0 0 242 9 0 0 20 0 20 0 3753945 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035671506040 140035650255152 0 4 0 16800975 0 0 0 -1 11 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 67 0 0 0 6 5 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 81 0 0 0 6 7 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 80 0 0 0 6 6 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 72 0 0 0 7 4 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 79 0 0 0 5 5 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 70 0 0 0 5 7 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 66 0 0 0 6 5 0 0 20 0 20 0 3753946 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 183627 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3753949 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13267208 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) S 26677 26677 16473 0 -1 1077944384 1713 0 0 0 40 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034856438384 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13267208 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) S 26677 26677 16473 0 -1 1077944384 1225 0 0 0 38 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034855385584 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) S 26677 26677 16473 0 -1 1077944384 1220 0 0 0 44 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034854333296 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13267208 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 1387 0 0 0 28 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3753952 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3753953 13585620992 183627 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 13276720
[startup+6.30099 s]
/proc/loadavg: 13.86 15.13 14.68 3/285 26698
/proc/meminfo: memFree=30407804/32770624 swapFree=5736/223676
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13267208 CPUtime=8.84 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 20054 0 0 0 803 81 0 0 20 0 20 0 3753944 13585620992 193217 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3316802 193217 3230 1 0 3304035 0
[pid=26678/tid=26679] ppid=26677 vsize=13267208 CPUtime=5.67 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) R 26677 26677 16473 0 -1 4202560 8030 0 0 0 557 10 0 0 20 0 20 0 3753945 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035671504136 140035646344879 0 4 0 16800975 0 0 0 -1 11 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 121 0 0 0 8 8 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 178 0 0 0 8 9 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 319 0 0 0 7 8 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 254 0 0 0 8 9 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 152 0 0 0 8 7 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 335 0 0 0 7 8 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 144 0 0 0 7 9 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 125 0 0 0 8 8 0 0 20 0 20 0 3753946 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 818 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 3753948 13585620992 193217 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3753949 13585620992 193217 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753952 13585620992 193217 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
################
# More data... #
################
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 3753949 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) S 26677 26677 16473 0 -1 1077944384 4254 0 0 0 63 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034856438384 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) S 26677 26677 16473 0 -1 1077944384 5105 0 0 0 78 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034855385584 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) S 26677 26677 16473 0 -1 1077944384 3602 0 0 0 71 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034854333296 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 5718 0 0 0 49 1 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 403 0 0 0 4 3 0 0 20 0 20 0 3753953 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 147.4
Current children cumulated vsize (KiB) 13278768
[startup+112.801 s]
/proc/loadavg: 4.69 11.39 13.38 3/283 26700
/proc/meminfo: memFree=21637064/32770624 swapFree=5736/223800
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13269256 CPUtime=148.2 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 104081 0 0 0 14001 819 0 0 20 0 20 0 3753944 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3317314 1234487 3256 1 0 3304547 0
[pid=26678/tid=26679] ppid=26677 vsize=13269256 CPUtime=101.58 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) R 26677 26677 16473 0 -1 4202560 20573 0 0 0 10126 32 0 0 20 0 20 0 3753945 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035671505064 140035282071930 0 4 0 16800975 0 0 0 -1 9 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13269256 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 5538 0 0 0 374 100 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13269256 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 5613 0 0 0 377 87 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13269256 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 6594 0 0 0 387 87 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13269256 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 7589 0 0 0 370 107 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13269256 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 8437 0 0 0 374 103 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13269256 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 6565 0 0 0 378 90 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13269256 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 5304 0 0 0 379 95 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13269256 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 8091 0 0 0 372 105 0 0 20 0 20 0 3753946 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13269256 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 9262 0 0 0 590 3 0 0 20 0 20 0 3753948 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 3753948 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 3753949 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) S 26677 26677 16473 0 -1 1077944384 4254 0 0 0 63 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034856438384 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) S 26677 26677 16473 0 -1 1077944384 5105 0 0 0 78 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034855385584 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) S 26677 26677 16473 0 -1 1077944384 3602 0 0 0 71 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034854333296 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 5718 0 0 0 49 1 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3753952 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 403 0 0 0 4 3 0 0 20 0 20 0 3753953 13587718144 1234487 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 51 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 148.2
Current children cumulated vsize (KiB) 13278768
[startup+113.601 s]
/proc/loadavg: 4.39 11.22 13.31 3/283 26700
/proc/meminfo: memFree=21637064/32770624 swapFree=5736/223800
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13801768 CPUtime=150.6 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 109547 0 0 0 14238 822 0 0 20 0 28 0 3753944 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3450442 1234731 3258 1 0 3437675 0
[pid=26678/tid=26679] ppid=26677 vsize=13801768 CPUtime=102.12 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) S 26677 26677 16473 0 -1 1077944384 21025 0 0 0 10180 32 0 0 20 0 28 0 3753945 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035671508096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 5538 0 0 0 374 100 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13801768 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 5613 0 0 0 377 87 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 6594 0 0 0 387 87 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 7589 0 0 0 370 107 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 8437 0 0 0 374 103 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13801768 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 6565 0 0 0 378 90 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 5304 0 0 0 379 95 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 8091 0 0 0 372 105 0 0 20 0 28 0 3753946 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13801768 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 9282 0 0 0 590 4 0 0 20 0 28 0 3753948 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3753948 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 28 0 3753949 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) R 26677 26677 16473 0 -1 4202560 4294 0 0 0 70 0 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034856423584 140035650678290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) R 26677 26677 16473 0 -1 4202560 5402 0 0 0 84 0 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034855385584 140035659556773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) R 26677 26677 16473 0 -1 4202560 3943 0 0 0 81 1 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034854314288 140035650798843 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 5909 0 0 0 57 1 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3753952 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 403 0 0 0 4 3 0 0 20 0 28 0 3753953 14133010432 1234731 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 51 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 150.6
Current children cumulated vsize (KiB) 13811280
[startup+113.802 s]
/proc/loadavg: 4.39 11.22 13.31 3/283 26700
/proc/meminfo: memFree=21637064/32770624 swapFree=5736/223800
[pid=26677] ppid=26674 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26677/stat : 26677 (xcsp3-exec) S 26674 26677 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3753944 9740288 346 33554432000 4194304 5098028 140732989293504 140732989291608 140087204115068 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 21590016 140732989297807 140732989298016 140732989298016 140732989300715 0
/proc/26677/statm: 2378 346 289 221 0 87 0
[pid=26678] ppid=26677 vsize=13801768 CPUtime=152.17 cores=1,3,5,7,9,11,13,15
/proc/26678/stat : 26678 (java) S 26677 26677 16473 0 -1 1077944320 109600 0 0 0 14395 822 0 0 20 0 28 0 3753944 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140725780985088 140035667267319 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
/proc/26678/statm: 3450442 1234738 3258 1 0 3437675 0
[pid=26678/tid=26679] ppid=26677 vsize=13801768 CPUtime=102.12 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26679/stat : 26679 (java) S 26677 26677 16473 0 -1 1077944384 21025 0 0 0 10180 32 0 0 20 0 28 0 3753945 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035671508096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26681] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26681/stat : 26681 (java) S 26677 26677 16473 0 -1 1077944384 5538 0 0 0 374 100 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035599403408 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26682] ppid=26677 vsize=13801768 CPUtime=4.64 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26682/stat : 26682 (java) S 26677 26677 16473 0 -1 1077944384 5613 0 0 0 377 87 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035598350608 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26683] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26683/stat : 26683 (java) S 26677 26677 16473 0 -1 1077944384 6594 0 0 0 387 87 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035264318096 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26684] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26684/stat : 26684 (java) S 26677 26677 16473 0 -1 1077944384 7589 0 0 0 370 107 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035263265296 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26685] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26685/stat : 26685 (java) S 26677 26677 16473 0 -1 1077944384 8437 0 0 0 374 103 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035262213008 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26686] ppid=26677 vsize=13801768 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26686/stat : 26686 (java) S 26677 26677 16473 0 -1 1077944384 6565 0 0 0 378 90 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035261160208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26687] ppid=26677 vsize=13801768 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26687/stat : 26687 (java) S 26677 26677 16473 0 -1 1077944384 5304 0 0 0 379 95 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035260107920 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26688] ppid=26677 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26688/stat : 26688 (java) S 26677 26677 16473 0 -1 1077944384 8091 0 0 0 372 105 0 0 20 0 28 0 3753946 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035259055120 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26689] ppid=26677 vsize=13801768 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26689/stat : 26689 (java) S 26677 26677 16473 0 -1 1077944384 9282 0 0 0 590 4 0 0 20 0 28 0 3753948 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035196749936 140035667278466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26690] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26690/stat : 26690 (java) S 26677 26677 16473 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3753948 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140035195695968 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26691] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26691/stat : 26691 (java) S 26677 26677 16473 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 28 0 3753949 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034858542208 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26692] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26692/stat : 26692 (java) S 26677 26677 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034857490512 140035667285915 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26693] ppid=26677 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26693/stat : 26693 (java) S 26677 26677 16473 0 -1 1077944384 4299 0 0 0 75 0 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034856438384 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26694] ppid=26677 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26694/stat : 26694 (java) S 26677 26677 16473 0 -1 1077944384 5420 0 0 0 85 0 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034855385584 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26695] ppid=26677 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26695/stat : 26695 (java) S 26677 26677 16473 0 -1 1077944384 3970 0 0 0 82 1 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034854333296 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26696] ppid=26677 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26696/stat : 26696 (java) S 26677 26677 16473 0 -1 1077944384 5910 0 0 0 57 1 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034853280496 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26697] ppid=26677 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26697/stat : 26697 (java) S 26677 26677 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3753952 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034852227424 140035667277525 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
[pid=26678/tid=26698] ppid=26677 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/26678/task/26698/stat : 26698 (java) S 26677 26677 16473 0 -1 1077944384 403 0 0 0 4 3 0 0 20 0 28 0 3753953 14133010432 1234738 33554432000 4194304 4196468 140725781002544 140034851174704 140035667278466 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 51 0 0 6293624 6294260 21106688 140725781009596 140725781009772 140725781009772 140725781012431 0
Current children cumulated CPU time (s) 152.17
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 113.896
CPU time (s): 152.408
CPU user time (s): 144.157
CPU system time (s): 8.2514
CPU usage (%): 133.814
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.157
system time used= 8.2514
maximum resident set size= 4939516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10236
involuntary context switches= 8612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.81999 second user time and 1.09199 second system time
The end