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 (12163 MiB free)
memory of node 1: 16384 MiB (12451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271959-1502845214/watcher-4271959-1502845214 -o /tmp/evaluation-result-4271959-1502845214/solver-4271959-1502845214 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502839397-26775 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 199482542 HOME/instance-4271959-1502845214.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27256, runsolver pid=27253
[startup+0.100082 s]*
/proc/loadavg: 1.43 1.34 1.39 5/217 27272
/proc/meminfo: memFree=25188840/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13978596 memory=27788 CPUtime=0.12 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 5325 0 0 0 11 1 0 0 20 0 15 0 117593009 14314082304 6947 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3494649 6947 2861 1 0 3482966 0
[pid=27258/tid=27259] ppid=27256 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 3327 0 0 0 8 1 0 0 20 0 15 0 117593009 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728774932272 139728770710934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13978596 memory=140713599809152 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593010 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13978596 memory=140713599809152 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593012 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117593012 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728310977312 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117593012 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728309924976 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27256 27256 26744 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27256 27256 26744 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13978596 memory=140713599809152 CPUtime=0.01 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) R 27256 27256 26744 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728238144368 139728754779486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13978596 memory=140713599809152 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593015 14314082304 6947 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29172 KiB
[startup+0.21081 s]*
/proc/loadavg: 1.43 1.34 1.39 3/217 27272
/proc/meminfo: memFree=25177832/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13982852 memory=39988 CPUtime=0.34 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 8055 0 0 0 32 2 0 0 20 0 15 0 117593009 14318440448 9997 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3495713 9997 3055 1 0 3482966 0
[pid=27258/tid=27259] ppid=27256 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 5238 0 0 0 18 1 0 0 20 0 15 0 117593009 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728774920848 139728770720925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13982852 memory=140713600339450 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13982852 memory=140713599809152 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728310977312 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728309924976 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27256 27256 26744 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27256 27256 26744 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13982852 memory=140713599809152 CPUtime=0.07 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) R 27256 27256 26744 0 -1 4202560 723 0 0 0 7 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 9997 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41372 KiB
[startup+0.319127 s]*
/proc/loadavg: 1.43 1.34 1.39 4/217 27272
/proc/meminfo: memFree=25171256/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13982852 memory=47152 CPUtime=0.52 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 8910 0 0 0 50 2 0 0 20 0 15 0 117593009 14318440448 11788 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3495713 11788 3125 1 0 3482966 0
[pid=27258/tid=27259] ppid=27256 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 5888 0 0 0 28 2 0 0 20 0 15 0 117593009 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728774932768 139728770720925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593010 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728310977312 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117593012 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728309924976 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) R 27256 27256 26744 0 -1 4202560 546 0 0 0 4 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728307821168 139728770720346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) R 27256 27256 26744 0 -1 4202560 400 0 0 0 4 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728306768368 139728752220170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) S 27256 27256 26744 0 -1 1077944384 772 0 0 0 12 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593015 14318440448 11788 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48536 KiB
[startup+0.700894 s]
/proc/loadavg: 1.43 1.34 1.39 6/217 27272
/proc/meminfo: memFree=24997240/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13982928 memory=479536 CPUtime=1.17 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 9949 0 0 0 94 23 0 0 20 0 15 0 117593009 14318518272 119884 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3495732 119884 3171 1 0 3482966 0
[pid=27258/tid=27259] ppid=27256 vsize=13982928 memory=32868 CPUtime=0.6 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 6312 0 0 0 53 7 0 0 20 0 15 0 117593009 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728774933520 139728389481258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13982928 memory=1296 CPUtime=0.05 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 117593010 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13982928 memory=2400 CPUtime=0.05 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 117593010 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13982928 memory=1728 CPUtime=0.04 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 52 0 0 0 2 2 0 0 20 0 15 0 117593010 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13982928 memory=12032 CPUtime=0.05 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 117593010 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13982928 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117593012 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117593012 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728310977312 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13982928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 117593012 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728309924976 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13982928 memory=5300 CPUtime=0.06 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27256 27256 26744 0 -1 1077944384 562 0 0 0 6 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13982928 memory=4616 CPUtime=0.05 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27256 27256 26744 0 -1 1077944384 406 0 0 0 5 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13982928 memory=1928 CPUtime=0.17 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) S 27256 27256 26744 0 -1 1077944384 1041 0 0 0 17 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13982928 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13982928 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117593015 14318518272 119884 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 480920 KiB
[startup+1.50084 s]
/proc/loadavg: 1.43 1.34 1.39 2/200 27274
/proc/meminfo: memFree=25278652/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/27258/task/27270/stat : 27270 (java) S 27256 27256 26744 0 -1 1077944384 10069 0 0 0 73 2 0 0 20 0 15 0 117593015 14320615424 2898347 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13984976 memory=11593388 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14320615424 2898347 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13984976 memory=1384 CPUtime=1.37 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 2575 0 0 0 67 70 0 0 20 0 15 0 117593015 14320615424 2898347 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 2412.54 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11594772 KiB
[startup+2262.3 s]
/proc/loadavg: 2.09 2.07 1.99 3/218 27438
/proc/meminfo: memFree=6069960/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13984976 memory=11593392 CPUtime=2476.66 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 1179106 0 0 0 246217 1449 0 0 20 0 15 0 117593009 14320615424 2898348 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3496244 2898348 3280 1 0 3483478 0
[pid=27258/tid=27259] ppid=27256 vsize=13984976 memory=11593392 CPUtime=2173.35 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 219267 0 0 0 217288 47 0 0 20 0 15 0 117593009 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728774938384 139728394152810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13984976 memory=11593392 CPUtime=68.32 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 100363 0 0 0 6493 339 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13984976 memory=11593392 CPUtime=68.31 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 139416 0 0 0 6479 352 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13984976 memory=11593392 CPUtime=68.16 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 87382 0 0 0 6531 285 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13984976 memory=11593392 CPUtime=68.26 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 135512 0 0 0 6494 332 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13984976 memory=11593392 CPUtime=19.93 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 419337 0 0 0 1964 29 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13984976 memory=11593392 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728310977376 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728309924992 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13984976 memory=11593392 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13984976 memory=11593392 CPUtime=4.27 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27256 27256 26744 0 -1 1077944384 33682 0 0 0 424 3 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13984976 memory=11593392 CPUtime=3.78 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27256 27256 26744 0 -1 1077944384 30051 0 0 0 376 2 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13984976 memory=4012 CPUtime=0.75 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) S 27256 27256 26744 0 -1 1077944384 10076 0 0 0 73 2 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13984976 memory=32908 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13984976 memory=11593392 CPUtime=1.4 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 2632 0 0 0 69 71 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 2476.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11594776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2303 s]*
/proc/loadavg: 2.12 2.09 2.00 3/218 27439
/proc/meminfo: memFree=6069804/32770624 swapFree=67108860/67108860
[pid=27256] ppid=27253 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27256/stat : 27256 (xcsp3-exec) S 27253 27256 26744 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117593009 9740288 346 33554432000 4194304 5098028 140729678000336 140729677998440 140453158785660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29134848 140729678009455 140729678009659 140729678009659 140729678012395 0
/proc/27256/statm: 2378 346 289 221 0 87 0
[pid=27258] ppid=27256 vsize=13984976 memory=11593392 CPUtime=2520.06 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27256 27256 26744 0 -1 1077944320 1194035 0 0 0 250554 1452 0 0 20 0 15 0 117593009 14320615424 2898348 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3496244 2898348 3280 1 0 3483478 0
[pid=27258/tid=27259] ppid=27256 vsize=13984976 memory=1398720917958146503 CPUtime=2212.87 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) R 27256 27256 26744 0 -1 4202560 220403 0 0 0 221240 47 0 0 20 0 15 0 117593009 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728774938384 139728393520860 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27256 vsize=13984976 memory=4872558044660077418 CPUtime=69.22 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) S 27256 27256 26744 0 -1 1077944384 101584 0 0 0 6583 339 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728366607248 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27256 vsize=13984976 memory=640 CPUtime=69.2 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) S 27256 27256 26744 0 -1 1077944384 140808 0 0 0 6568 352 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728365554448 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27256 vsize=13984976 memory=960 CPUtime=69.05 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) S 27256 27256 26744 0 -1 1077944384 87633 0 0 0 6619 286 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728364502160 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27256 vsize=13984976 memory=11593392 CPUtime=69.15 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) S 27256 27256 26744 0 -1 1077944384 135804 0 0 0 6583 332 0 0 20 0 15 0 117593010 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728363449360 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27256 vsize=13984976 memory=2344 CPUtime=20.23 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27256 27256 26744 0 -1 1077944384 429956 0 0 0 1993 30 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728312031344 139728770710146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27256 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27256 27256 26744 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728310977376 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27256 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27256 27256 26744 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 117593012 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728309924992 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27256 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27256 vsize=13984976 memory=4128 CPUtime=4.28 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27256 27256 26744 0 -1 1077944384 33686 0 0 0 424 4 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27256 vsize=13984976 memory=2200 CPUtime=3.78 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27256 27256 26744 0 -1 1077944384 30053 0 0 0 376 2 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27256 vsize=13984976 memory=6508 CPUtime=0.75 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) S 27256 27256 26744 0 -1 1077944384 10084 0 0 0 73 2 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27256 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27256 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27256 vsize=13984976 memory=1692 CPUtime=1.43 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27256 27256 26744 0 -1 1077944384 2636 0 0 0 70 73 0 0 20 0 15 0 117593015 14320615424 2898348 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 11594776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2303.04 s]
# the end of solver process 27256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000965 s, system=0.000965 s
[startup+2303.64 s]
# the end of solver process 27258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.37 s, system=14.5713 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2303.21 s]
/proc/loadavg: 2.12 2.09 2.00 6/218 27440
/proc/meminfo: memFree=6069668/32770624 swapFree=67108860/67108860
[pid=27258] ppid=27253 vsize=14051540 memory=11593392 CPUtime=2520.84 cores=0,2,4,6
/proc/27258/stat : 27258 (java) S 27253 27256 26744 0 -1 1077944320 1195326 0 0 0 250632 1452 0 0 20 0 16 0 117593009 14388776960 2898348 33554432000 4194304 4196468 140735611698672 140735611681216 139728770698999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
/proc/27258/statm: 3512885 2898348 3280 1 0 3500119 0
[pid=27258/tid=27259] ppid=27253 vsize=14051540 memory=3092 CPUtime=2212.88 cores=0,2,4,6
/proc/27258/task/27259/stat : 27259 (java) S 27253 27256 26744 0 -1 1077944384 220403 0 0 0 221241 47 0 0 20 0 16 0 117593009 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728774935216 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27260] ppid=27253 vsize=14051540 memory=1384 CPUtime=69.41 cores=0,2,4,6
/proc/27258/task/27260/stat : 27260 (java) R 27253 27256 26744 0 -1 4202560 101589 0 0 0 6602 339 0 0 20 0 16 0 117593010 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728366607448 139728755684295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27261] ppid=27253 vsize=14051540 memory=8590812 CPUtime=69.4 cores=0,2,4,6
/proc/27258/task/27261/stat : 27261 (java) R 27253 27256 26744 0 -1 4202560 140808 0 0 0 6588 352 0 0 20 0 16 0 117593010 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728365554448 139728755650096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27262] ppid=27253 vsize=14051540 memory=728 CPUtime=69.25 cores=0,2,4,6
/proc/27258/task/27262/stat : 27262 (java) R 27253 27256 26744 0 -1 4202560 88813 0 0 0 6639 286 0 0 20 0 16 0 117593010 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728364502048 139728755396638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27263] ppid=27253 vsize=14051540 memory=4104 CPUtime=69.33 cores=0,2,4,6
/proc/27258/task/27263/stat : 27263 (java) R 27253 27256 26744 0 -1 4202560 135816 0 0 0 6601 332 0 0 20 0 16 0 117593010 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728363449560 139728755650126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27264] ppid=27253 vsize=14051540 memory=1398720917958146503 CPUtime=20.23 cores=0,2,4,6
/proc/27258/task/27264/stat : 27264 (java) S 27253 27256 26744 0 -1 1077944384 429966 0 0 0 1993 30 0 0 20 0 16 0 117593012 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728312029664 139728770709205 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27265] ppid=27253 vsize=14051540 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27265/stat : 27265 (java) S 27253 27256 26744 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 117593012 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728310977376 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27266] ppid=27253 vsize=14051540 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27266/stat : 27266 (java) S 27253 27256 26744 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 16 0 117593012 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728309924992 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27267] ppid=27253 vsize=14051540 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27267/stat : 27267 (java) S 27253 27256 26744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728308873296 139728770717595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27268] ppid=27253 vsize=14051540 memory=2240 CPUtime=4.28 cores=0,2,4,6
/proc/27258/task/27268/stat : 27268 (java) S 27253 27256 26744 0 -1 1077944384 33686 0 0 0 424 4 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728307821168 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27269] ppid=27253 vsize=14051540 memory=4128 CPUtime=3.78 cores=0,2,4,6
/proc/27258/task/27269/stat : 27269 (java) S 27253 27256 26744 0 -1 1077944384 30053 0 0 0 376 2 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728306768368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27270] ppid=27253 vsize=14051540 memory=1384 CPUtime=0.75 cores=0,2,4,6
/proc/27258/task/27270/stat : 27270 (java) S 27253 27256 26744 0 -1 1077944384 10084 0 0 0 73 2 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728238144368 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27271] ppid=27253 vsize=14051540 memory=11593392 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27271/stat : 27271 (java) S 27253 27256 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728237091808 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27272] ppid=27253 vsize=14051540 memory=840 CPUtime=1.43 cores=0,2,4,6
/proc/27258/task/27272/stat : 27272 (java) S 27253 27256 26744 0 -1 1077944384 2636 0 0 0 70 73 0 0 20 0 16 0 117593015 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728236038576 139728770710146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
[pid=27258/tid=27440] ppid=27253 vsize=14051540 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/27258/task/27440/stat : 27440 (java) S 27253 27256 26744 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 117823310 14388776960 2898348 33554432000 4194304 4196468 140735611698672 139728228027456 139728770709205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38051840 140735611700375 140735611700551 140735611700551 140735611703247 0
Current cumulated CPU time of completed processes: 0.00193 s
Current children cumulated CPU time: 2520.84 s
Current children cumulated vsize: 14051540 KiB
Current children cumulated memory: 11593392 KiB
[startup+2303.6 s]*
/proc/loadavg: 2.12 2.09 2.00 3/204 27441
/proc/meminfo: memFree=10452956/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00193 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2303.64
CPU time (s): 2521.94
CPU user time (s): 2507.37
CPU system time (s): 14.5713
CPU usage (%): 109.476
Max. virtual memory (cumulated for all children) (KiB): 14051540
Max. memory (cumulated for all children) (KiB): 11595256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.37
system time used= 14.5713
maximum resident set size= 11593872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1196010
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60098
involuntary context switches= 5958
# summary of solver processes directly reported to runsolver:
# pid: 27256,27258
# total CPU time (s): 2521.94
# total CPU user time (s): 2507.37
# total CPU system time (s): 14.5713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0961 second user time and 22.5383 second system time
The end